计算机工程2019，Vol.45Issue(7)：78-85,8.DOI:10.19678/j.issn.1000-3428.0050533
一种安全关键的嵌入式实时操作系统内核设计
A Safety-Critical Embedded Real Time Operating System Kernel Design
摘要
关键词
分区操作系统/安全关键任务/嵌入式实时操作系统/ARINC-653标准/空间隔离/时间隔离分类
信息技术与安全科学引用本文复制引用
欧阳湘臻,朱怡安,李联,史先琛..一种安全关键的嵌入式实时操作系统内核设计[J].计算机工程,2019,45(7):78-85,8.基金项目
航空科学基金“混合关键任务调度算法及无锁同步机制研究”(20150753010) （20150753010）
国家民用飞机专项科研技术研究类项目“高可靠操作系统内核关键技术研究”(MJ-2015-D-66) （MJ-2015-D-66）
陕西省重点研发计划重大重点项目“时间/事件混合触发的实时操作系统技术与应用研究”(2016MSZD-G-8-1). （2016MSZD-G-8-1）
