目录
三、可信OS·Application和非可信OS.Application
一、AutoSAR对ISO26262中软件分区的实现
ISO26262Part6中对存储空间分区( Memory Partition)的要求为如果软件分区是用于实现软件组件间的免于干扰(FFI:Freedom From Interference),则应确保以下内容
(1)共享资源使用时需利用软件分区来确保FFI
共享资源使用时需利用软件分区来确保FFI,这意味着:
①在软件分区内的任务不会彼此之间相互干扰;
②一个软件分区不能更改其他软件分区的代码或数据,也不能控制其他分区上的非共享资源;
③来自于一个分区的共享资源服务不能受另一个软件分区的影响,这包括在访问资源时对性能 和调度延时等方面造成的负面影响。
(2)软件分区由专用硬件特性或等效手段予以支持(适用于 ASIL)
(3)实现软件分区的软件应遵循相同或高于最高ASIL等级要求
(4)在软件集成和测试(按照第 10 章)过程中执行软件分区的验证。
为实现上述功能安全对分区隔离的要求, AUTOSAR提供了存储空间分区(MemoryPartition)机制。存储