[发明专利]一种机载分区操作系统仿真器运行时监控方法

摘要

本发明公开了一种机载分区操作系统仿真器运行时监控方法，涉及到机载分区操作系统仿真器的符合性测试以及基于分区操作系统的机载应用程序的运行时验证。具体是利用内嵌软件传感器的方式，在机载分区操作系统仿真器的任务管理及任务调度代码中插装，完成对任务的状态切换、触发状态切换的事件的监控，输出一个状态‑事件的序列，从而得到机载应用程序的任务执行轨迹，为机载应用程序的运行时验证、机载分区操作系统仿真器的符合性测试提供基础。用户可将这种任务运行轨迹作为各种运行时验证工具以及符合性测试工具的输入，完成机载应用程序的运行时验证和机载操作系统仿真器的符合性测试。

主权项

1.一种机载分区操作系统仿真器运行时监控方法，其特征在于：包括以下步骤；步骤一内嵌软件传感器代码插入：根据对机载操作系统仿真器代码的分析，共找到28处产生任务状态切换代码；在这些任务状态切换代码中插入内嵌软件传感器代码；步骤二状态事件序列推理及记录：以机载分区操作系统规范ARINC653‑Part1中对任务状态切换的触发事件的描述为依据，根据状态的切换以及机载操作系统仿真器的代码对触发状态转换的事件进行推理，推理逻辑用代码实现。然后将状态和事件组合成正确的序列，记录在临时缓存中；步骤三状态事件序列发送：将状态事件序列编码为位段，采用异步方式，通过Windows的管道机制将状态事件序列发送到外部监控显示与记录模块；步骤四状态事件序列显示与保存：根据状态事件编码规则，将状态事件序列解析并以状态转换图的形式直观地显示在监控界面上，同时按照状态事件的交替序列的形式保存到文本文件中。