安全嵌入式操作系统的构建与配置  

Embedded Operating System Security Solutions and Configuration

作　　者：李伟[1] 万晓冬[1] 

机构地区：[1]南京航空航天大学自动化学院,江苏南京210016

出　　处：《电子科技》2010年第8期112-114,117,共4页Electronic Science and Technology

摘　　要：针对安全操作系统设计中可重用性和扩展性不强的问题。通过对嵌入式操作系统的安全性和AR INC653框架标准的研究,设计了一套构建方案,实现了可扩展的配置工具,引入了可预测性的安全检验机制,从而有效地通过AR INC653框架标准的安全性和可配置性设计,实现安全的嵌入式操作系统。In view of the poor reusability and extensibility of safe operating system design,a set of construction scheme is designed based on a study of embedded operating system security and ARINC653 frame standard,which realizes extensible configuration and introduces the predictability safety inspection mechanism.

关 键 词：安全操作系统 可重用性 ARINC653 可预测性检验 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]