摘要
机载操作系统属于嵌入式实时操作系统,其内部内核对象的状态变迁、关键数据的值变化以及系统调度运行状况直接影响着机载应用程序的正确执行。本文以为机载应用程序更好地定位故障、发现并排除各种逻辑错误为目的,采用内嵌传感器的方法,结合任务的状态切换、触发状态切换,应用ARINC 653仿真器实时监控机载操作系统的状态和数据变化。经过测试,表明该系统可以得到机载应用程序的状态和行为变迁,并为机载应用程序的运行时验证、机载分区操作系统仿真器的符合性测试提供基础。
The on-board operating system is an embedded real-time operating system.The state transition of internal kernel objects,the change of key data values,and the system scheduling operation directly affect the correct execution of the onboard application.This article considers that the onboard application better locates faults,discovers and eliminates various logic errors,and adopts embedded sensor method,combined with task state switching and trigger state switching based on ARINC 653 emulator,to monitor the status and data changes of the onboard operating system in real time.Tests show that the system can get the status and behavior changes of the onboard application,and provide the basis for the runtime verification of the onboard application and the compliance test of the onboard partition operating system emulator.
作者
孟开元
闫方
曹庆年
彭寒
MENG Kaiyuan;YAN Fang;CAO Qingnian;PENG Han(School of Computer Science,Xi′an Shiyou University,Xi′an 710065,China)
出处
《智能计算机与应用》
2019年第3期110-112,117,共4页
Intelligent Computer and Applications
关键词
机载操作系统仿真器
机载应用程序
状态变迁
内嵌软件传感器
on-board operating system simulator
on-board application program
state transition
embedded software sensor