论文部分内容阅读
分区机制是满足航空电子系统的综合化模块化发展要求不可缺少的技术，在基于ANRIC653的综合模块化航空电子系统(IMA)中，分区是调度和资源分配的核心单元，系统使用分区分层的体系结构。随着虚拟技术发展与处理器性能提高，嵌入式系统能够使用半虚拟机制提供虚拟环境。
本文首先分析了时间和空间隔离思想，针对隔离机制提出解决手段。探讨ARINC635的分区机制，为后面的分区系统做参考。然后使用形式化描述虚拟机监视器的作用原理，为分区系统的半虚拟机制提供解决策略。设计了基于半虚拟机制的嵌入式分区系统，以RTEMS操作系统为基础，实现虚拟机监视器，它提供一个虚拟机环境，运行PLINUX非实时操作系统。依靠MIPS处理器的地址映射和处理器权限保护，实现隔离机制。在此基础上，实现分区通信机制和健康监视机制，提高系统的安全性和可靠性。该分区系统没有破坏RTEMS内核的简洁性和实时性，通过引入PLINIX，提高系统的灵活性和开放性。