摘要
为保证IMA系统管理设计的正确性、高可靠性和实时性,本文使用AADL对IMA系统管理进行建模,通过对模型功能和性能的正确性分析,并在模型的基础上进行分析验证,从而保证了IMA系统管理设计的正确性,降低了设计风险。
In order to ensure a proper, reliable and real-time IMA system management design, an AADL-based IMA system management modeling is proposed in this paper. A correctness analysis of model function and performance and a model-based verification ensure that the IMA system management design is effective, thus system risk are reduced.
出处
《航空电子技术》
2015年第4期29-32,54,共5页
Avionics Technology
