风河公司发布全新多重独立等级安全（MILS）解决方案

全球领先的设备软件优化（DSO）厂商风河系统公司近日发布其用于航空与国防系统的全新安全解决方案，提供多重独立等级安全的支持。新的VxWorks安全平台为开发者提供全方位的MILS环境，使其能够快速在同一个MMU分区微处理器上同时部署安全和非安全应用程序。

基于MILS多级安全架构的远程调试机制

针对多级安全架构的特点,面向多重独立安全等级(MILS)多级安全架构的远程调试技术,提出一种基于目标机通信框架的管理和协同调试机制。通过改造目标通信框架,实现符合MILS分区间通信系统安全要求的应用分区独立调试,并对传统硬件JTAG调试方法进行改进,从而完成多分区协同调试。分析结果表明,该机制不仅符合MILS安全性的要求,而且解决了MILS系统开发、单分区应用开发的嵌入式远程调试问题。

安全可信的嵌入式系统架构

为解决安全关键嵌入式系统的信息安全问题,针对多级安全架构特点,本文提出了安全可信的嵌入式系统架构技术。通过实现嵌入式操作系统的隔离内核,在资源分配、信息流和故障等方面的完全隔离,实施严格的数据访问与通信限制。通过构建系统可信度量链,提供用户身份授权和应用完整性验证,使安全关键嵌入式系统具有多级安全策略、故障隔离、安全通信、可信度量、身份认证等能力。

基于物联网的计算机嵌入式操作系统设计

随着微处理器性能的快速提升及5G通讯技术的普及,基于物联网的嵌入式操作系统需求不断增大。针对上述问题,文中设计了一款搭载于嵌入式硬件系统环境的操作系统。为了满足该嵌入式操作系统的安全需求,使用多重独立等级安全架构设计分区分时操作系统,利用UDP通讯网络实现组网内的信息共享,采用任务备份系统提高操作系统的稳定性。为了提高可移植性与可维护性,系统采用软硬件分离的设计策略。在基于嵌入式系统的实验测试中,该操作系统的准确性可达到99%以上,且硬件无宕机工作时间长,具有良好的实时运行性能。