一种基于通信事件的机载分布式软件调试方法

多应用分区的开发与综合是IMA系统开发的核心工作之一，而如何控制和调试基于分区间通信的分布式协作行为是关键所在。引入”通信事件”对分区间通信活动进行抽象，提出通信事件调试方法，对分区间通信的源分区和目的分区进行同步控制和对通信活动进行协同调试。进而提出一种将通信事件调试和代码调试有机结合的混合调试方法，论述了方法的调试过程以及在实践中表现出来的优点与不足。     

嵌入式实时操作系统中的安全性考虑

在综合化航空电子系统中,嵌入式实时操作系统已被广泛采用,而操作系统保证应用软件的安全性,则是目前要解决的首要问题。对照国内外在高安全性、强实时系统上的先进技术和先进经验,本文着重讨论了嵌入式实时操作系统中解决数据安全性的几点考虑,主要集中介绍了软件的分层防御体系、分区管理和信息安全管理技术、分区间通讯的“虚通道”技术等,以确保综合化航电系统的信息及数据安全的机密性和完整性,达到主动防御的能力。     

分布式软件调试中调试信息界面展示技术

在分布式并行调试器的设计中,友好的人机界面起着十分重要的作用,界面设计是一个综合研究的过程。针对分布式程序的需求特点,以展示布局合理、信息可视化的人机界面为目的,进行分布式软件调试中调试信息界面展示技术的研究。介绍了界面与代理节点的交互方式,并通过相应的数据处理算法,将调试信息以及进程间通信关系在界面上进行可视化展示。     

基于多分区操作系统的多核确定性调度方法设计

为提高多分区操作系统环境下多核处理器的应用带来的操作系统任务调度的确定性,研究了多分环境下多核操作系统结构,从处理器核心和分区的资源分配和分区调度表的时间同步角度出发,采用了静态配置、处理器绑定和时间窗口调度方法,实现了处理器资源的确定性分配,解决了调度表之间的时间同步问题。测试结果表明,方法有效提高了分区环境下多核操作系统任务调度的确定性。