ARINC653分区调度算法的研究与改进

基于ARINC653标准的嵌入式实时操作系统对实时性的要求很高。为此,针对ARINC653分区调度算法中存在的空闲时间问题,提出一种改进的分区调度模型,采用优先级位图算法和二级调度机制设计空闲时间分区共享调度算法。理论分析表明,该算法能够缩短任务的平均响应时间。

基于ARINC653标准的BIT设计研究与实现

采用层级BIT设计架构,建立了操作系统层与应用层BIT交互的接口模型。按照BIT不同的分类依次设计不同类型的BIT测试项,在基于ARINC653标准AcoreOS653操作系统下实现并验证设计的相关BIT测试项。通过研究证明了在层级BIT架构下设计出的BIT测试项,根据不同测试项引发故障严重程度的不同合理设计不同的故障阈值,既保证了较高的故障检出率,又降低了故障误报的风险。

嵌入式RTOS健康监控技术研究

在高度综合化、模块化的新一代航空电子系统中,高安全的实时操作系统和健康监控技术对提高系统的安全性、可靠性方面起了重用的作用。该文对一种嵌入式实时系统的健康性监控机制的设计原理进行了研究,讨论了错误诊断、错误注入、错误响应、错误恢复等健康监控技术关键点。