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

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

Simulation for integrated modular avionics using language Signal

To facilitate the design of Integrated Modular Avionics（IMA），this paper proposes the method of modeling and validating for IMA using synchronous language Signal.The Signal can analyze the credibility，safety and boundness of hybrid systems with the clocks consequence.It can not only intuitively show all kinds of variables in the restrictive relation，but also obtains the temporal characteristic of a system using a homomorphism.This paper gives the simulation of the IMA considering the avionics standard ARINC 653 as basis.