论文部分内容阅读
为了辅助航空电子系统进行综合设计，提出了用Signal语言对新一代综合航电系统进行建模仿真和性能评估的方法。Signal语言是一种同步语言，它通过时钟推理机制来反映复杂系统的确定性、安全性、有界性等问题，能够直观地表示系统元素之间的约束关系及特性，通过构造同步实时评估模型来反映系统的实时性。基于ARINC 653标准，对新一代模块化综合航电系统进行了建模仿真。