System Architecture Modeling and Analysis of Distributed Integrated Modular Avionics Based on AADL

[5] [5] SAE Aerospace.AS5506/1:SAE arichitecure analysis and design language(AADL) ANNEX volume1［S/OL］.［2006-06-05］.http://www.sae.org/technical/standards/AS5506/1.

[6] [6] SAE Aerospace.AS5506/2:SAE arichitecure analysis and design language(AADL) ANNEX volume2［S/OL］.［2011-01-17］.http://www.sae.org/technical/standards/AS5506/2.

[7] [7] ARINC.Avionics application software standard interfacePart1: ARINC 65391［S］.Aeronautical Radio Inc., 2010.

CLP Journals

[1] WU Xiaohui. EFVS Formal Modeling and Analysis Based on Fault Coupling Model[J]. Electronics Optics & Control, 2022, 29(1): 105

Tools

Get Citation

Copy Citation Text

XING Liang. System Architecture Modeling and Analysis of Distributed Integrated Modular Avionics Based on AADL[J]. Electronics Optics & Control, 2020, 27(2): 64

Download Citation

EndNote(RIS)BibTex Plain Text

Set citation alerts for article

Save article for my favorites