Abstract
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.
This is a preview of subscription content,log in via an institution to check access.
Access this chapter
Subscribe and save
- Get 10 units per month
- Download Article/Chapter or eBook
- 1 Unit = 1 Article or 1 Chapter
- Cancel anytime
Buy Now
- Chapter
- JPY 3498
- Price includes VAT (Japan)
- eBook
- JPY 19447
- Price includes VAT (Japan)
- Softcover Book
- JPY 24309
- Price includes VAT (Japan)
- Hardcover Book
- JPY 24309
- Price includes VAT (Japan)
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Baldonado, M., Chang, C.-C.K., Gravano, L., Paepcke, A.: The Stanford digital library metadata architecture. Int. J. Digit. Libr.1, 108–121 (1997)
Aeronautical Radio Incorporated: Avionics Application Software Standard Interface (2013)
Delange, J., Feiler, P., Gluch, D.P.: AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment. Software Engineering Institute Carnegie Mellon University (2014)
Chilenski, J.J., Kerstetter, M.S.: SAVI AFE 61S1 Report. Aerospace Vehicle Systems Institute (2015)
SAE International Group: SAE Architecture Analysis and Design Language (AADL) Annex Volume 2: Annex F: ARINC653 Annex (2011)
SAE International Group: SAE Architecture Analysis and Design Language (AADL) Annex Volume 3: Annex E: Error Model Annex (2013)
Singhoff, F., Legrand, J., Nana, L., Marcé, L.: Cheddar: A Flexible Real Time Scheduling Framework. University of Brest
OMG: Systems Modeling Language (2016).https://www.omg.org/spec/SysML/20161101
Feiler, P., Rugina, A.: Dependability Modeling with the Architecture Analysis & Design Language (AADL). Software Engineering Institute (2007, July)
Robati, T., El Kouhen, A., Gherbi, A., Hamadou, S., Mullins, J.: An Extension for AADL to Model Mixed-Criticality Avionic Systems Deployed on IMA Architectures with TTEthernet. ACVI at MoDELS (2014)
Lafaye, M., Gatti, M., Faura, D., Pautet, L.: Model driven early exploration of IMA execution platform. In: Digital Avionics Systems Conference (DASC), IEEE/AIAA 30th (2010)
SAE International: ARP-5580—Recommended Failure Modes and Effects Analysis (FMEA) Practices for Non-automobile Applications. SAE International (2001)
SAE International: ARP-4761—Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. SAE International (1996)
Yang, Z., Hu, K., Ma, D., Bodeveix, J.-P., Pi, L., Talpin, J.-P.: From AADL to timed abstract state machines: a verified model transformation. J. Syst. Softw. (2014)
Author information
Authors and Affiliations
Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Room 15, JinYe2 Road, Xi’an, Shaanxi, China
Peng Guo, Na Wu, Yahui Li & Ning Hu
Computing Technique Research Institute, AVIC, Room 15, JinYe2 Road, Xi’an, Shaanxi, China
Feiyang Liu
- Peng Guo
You can also search for this author inPubMed Google Scholar
- Feiyang Liu
You can also search for this author inPubMed Google Scholar
- Na Wu
You can also search for this author inPubMed Google Scholar
- Yahui Li
You can also search for this author inPubMed Google Scholar
- Ning Hu
You can also search for this author inPubMed Google Scholar
Corresponding author
Correspondence toPeng Guo.
Editor information
Editors and Affiliations
CESAMES, Paris, France
Daniel Krob
Tsinhua University, Beijing, China
Lefei Li
Chinese Society for Aeronautics, Beijing, China
Junchen Yao
CSSC Systems Engineering Research Institute, Beijing, China
Hongjun Zhang
Tsinhua University, Beijing, China
Xinguo Zhang
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Guo, P., Liu, F., Wu, N., Li, Y., Hu, N. (2021). Non-functional Attribute Modeling and Verification Method for Integrated Modular Avionics System. In: Krob, D., Li, L., Yao, J., Zhang, H., Zhang, X. (eds) Complex Systems Design & Management . Springer, Cham. https://doi.org/10.1007/978-3-030-73539-5_25
Download citation
Published:
Publisher Name:Springer, Cham
Print ISBN:978-3-030-73538-8
Online ISBN:978-3-030-73539-5
eBook Packages:Computer ScienceComputer Science (R0)
Share this paper
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative