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

关键词: 多重独立安全等级, 目标通信框架, 协同调试, 实时操作系统

Abstract: Aiming at the features of multi-level security architecture,and the remote debugging technology based on the Multiple Independent Levels of Security(MILS) multilevel security architecture,this paper proposes a unified management and synergic debugging mechanism based on the Target Communication Framework(TCF) framework.By transforming the TCF framework,it realizes the application partition independent debugging which meets the MILS Partition Communication System(PCS) security requirements.It also achieves multi-partition collaborative debugging by improving the traditional hardware JTAG debugging.Analysis results show that the mechanism not only satisfies the safety requirement of MILS,but also solves the MILS system development and the remote embedded debugging problem of single partition application development.

Key words: Multiple Independent Levels of Security(MILS), Target Communication Framework(TCF), synergic debugging, real-time operating system

中图分类号: 

• TP391