Non-functional Attribute Modeling and Verification Method for Integrated Modular Avionics System

Aiming at the shortcomings of standardized design and early verification of integrated modular avionics systems, this paper proposes a non-functional attribute modeling and verification method for integrated modular avionics system. We extract an architecture-centric design process for integrated modular avionics system, propose automatic transformation from SysML-based functional models to AADL-based architecture models, design AADL-Hazard sub-language, put forward AADL-based scheduling analysis for ARINC 653 system and safety analysis based on FMECA. Finally, aviation air compressor control system is chosen as a case to verify the correctness and feasibility of the method proposed in this paper. The method in this paper improves the AADL’s ability to model and verify for integrated modular avionics system, help engineersuse standardized design, multi-dimensional analysis methods in the early stage of the product, and reduces later product rework.