摘要

新一代航空电子综合化的发展,使得机载操作系统的复杂度越来越高,基于对机载操作系统空间隔离和资源隔离的需求,分区操作系统应运而生。随着机载操作系统分区化趋势的发展,分区操作系的实时性、可靠性和安全性必须得到重视。针对分区操作系统的安全性保障需求,设计出了一种面向分区操作系统的安全审计系统,用以审计分区操作系统中信息安全相关的信息。