Author(s): LI Quan-jun
Pages: 231-234
Year: 2009 Issue:  17
Journal: Computer Engineering and Applications
Keyword:  综合航空电子系统; 同步语言; 实时评估; ARINC 653;
Abstract: 为了辅助航空电子系统进行综合设计,提出了用Signal语言对新一代综合航电系统进行建模仿真和性能评估的方法.Signal语言是一种同步语言,它通过时钟推理机制来反映复杂系统的确定性、安全性、有界性等问题,能够直观地表示系统元素之间的约束关系及特性,通过构造同步实时评估模型来反映系统的实时性.基于ARINC 653标准,对新一代模块化综合航电系统进行了建模仿真.