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

Simulation for integrated modular avionics using language Signal

作　　者：李全军[1] 张安[1] 曹璐[1] 

机构地区：[1]西北工业大学电子信息学院,西安710072

出　　处：《计算机工程与应用》2009年第17期231-234,共4页Computer Engineering and Applications

基　　金：航空科学基金(No.20060553008;No.05D53021)~~

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

关 键 词：综合航空电子系统 同步语言 实时评估 ARINC 653 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]