基于位图示法的NSFS文件系统设计

文件系统是操作系统进行数据存储的核心功能组件,它具有数据的存储和数据的管理功能。失去了文件系统的操作系统只能进行数据计算处理,而不能存储计算结果,所有重要的数据和信息在计算机断电的时候都会消失。可以说文件系统是现代操作系统不可分割的基本功能组件。在信息化高速发展的今天,嵌入式操作系统技术中的文件系统有着越来越重要的地位,航空领域的嵌入式操作系统必须提供一个方便易用高性能高可靠的文件系统。NSFS文件系统是基于位图示法设计的具有高可用性的文件系统。它的结构简洁,可以根据文件大小自适应地分配簇大小,空间浪费极小,具有良好的性能和很大的灵活性,并且具备较高的可靠性。

分区操作系统下的BIT软件的设计

针对原有的自测试软件在分区操作系统下不能被分区内应直接使用的问题,本文提出了一种分层的BIT软件的实现方法解决该问题。分区操作系统是新一代综合化航电系统的基础,提供时间分区和空间分区机制,保证综合后的应用不会相互影响。分区操作系统带来了软件结构的变化,应用软件运行在用户态,而自测试软件通常由于需要操作硬件运行在系统态,原有的自测试软件不能满足要求。

SKPP与安全功能性需求实施策略

SKPP(Protection Profile for Separation Kernels,分区内核保护框架)是一种适用于分区内核的高安全需求规范。本文作者在深入理解SKPP内涵的基础上概括的介绍了SKPP所包含的各个需求领域,并提出了能够涵盖SKPP大部分安全功能性需求的安全分区内核访问控制机制的实施策略。