基于ARINC653仿真器的机载操作系统任务状态监控设计与实现

摘要

机载操作系统属于嵌入式实时操作系统,其内部内核对象的状态变迁、关键数据的值变化以及系统调度运行状况直接影响着机载应用程序的正确执行.本文以为机载应用程序更好地定位故障、发现并排除各种逻辑错误为目的,采用内嵌传感器的方法,结合任务的状态切换、触发状态切换,应用ARINC 653仿真器实时监控机载操作系统的状态和数据变化.经过测试,表明该系统可以得到机载应用程序的状态和行为变迁,并为机载应用程序的运行时验证、机载分区操作系统仿真器的符合性测试提供基础.