同步语言Signal在综合航电系统建模仿真中的应用

作者：李全军 张安 曹璐综合航空电子系统同步语言实时评估arinc653

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社