一个完整的安全关键线路
GSTART定义
任务类型和对象声明在图书馆的水平
没有保护和任务对象的不回收
没有任务的动态分配或保护对象
任务是假定为终止
图书馆级别保护对象(确保没有条目 原子更新共享数据)
没有requeue
没有任务中止或异步传输控制
没有对接机制由于更有效的保护对象
实时包,没有日历的依赖包
原子和动荡的语法
推迟到的语句。 Ada83相对延迟是不允许的
所有优先级是静态的
保护程序中断处理程序
青山软件提供了一个完整的安全关键的产品线 这包括:
诚信- 178 b €“ 全职和memory-partitioned arinc - 653 1 实时操作系统(RTOS)
GMART €“安全 临界最小Ada内核运行时
GSTART €“安全 关键small-tasking Ada运行时
语言支持C、c++和艾达
一套完整的安全关键的测试工具
GMART、GSTART和完整性- 178 b与完整的现成的可用 做- 178 b级认证材料。 都有正式通过做- 178 b 水平多次作为航空电子系统的一部分,因此认证 而不仅仅是可保证的。