Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL

Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL

For access to this article, please select a purchase option:

Buy article PDF
(plus tax if applicable)
Buy Knowledge Pack
10 articles for $120.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Your details
Why are you recommending this title?
Select reason:
IET Software — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

To optimise the configuration and reconfiguration strategies in integrated modular avionics (IMA), modelling and evaluating the reliability of the reconfigurable IMA system have drawn great attention from system engineers and designers. Currently most researches regard each configuration as a single system state, but the detailed system architecture under each configuration or the events that trigger the reconfiguration behaviour are not involved. In this study, a modelling method is proposed for these complex processes of the IMA reconfiguration. It employs architecture analysis and design language (AADL) along with its Error Model Annex, ARINC653 Annex, and mode transition mechanisms to model the correlated component error state transitions, system configuration architectures, and reconfiguration behaviours. Based on the proposed AADL modelling approach, these model information is extracted purposefully to establish computable models. Then a reliability analysis approach is proposed which is able to result in various reliability attributions, such as component reliability, configuration reliability under the software architecture, single task reliability, and multi-tasking reliability. These evaluation processes take into account both of the fault isolation reconfiguration and task mode reconfiguration for the first time. Finally, the case study is involved, which demonstrates the feasibility of the analysis approach for IMA based on an AADL model.


    1. 1)
      • 1. RTCA DO-297: Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations (August 2005).
    2. 2)
      • 2. Airlines Electronic Engineering Committee.: ‘Avionics application software standard interface’ (Aeronautical Radio, 1997).
    3. 3)
      • 3. NATO Standardization Agreement: STANAG 4626: Parts I–VI.
    4. 4)
      • 4. Feiler, P.H., Gluch, D.P.: ‘Model-based engineering with AADL: an introduction to the SAE architecture analysis & design language’ (Addison-Wesley, 2012).
    5. 5)
      • 5. Aerospace S A E, AS5506 S A E.: ‘Architecture analysis & design language (AADL)’ (AS-5506, SAE International, 2004).
    6. 6)
      • 6. SAE-AS5506/1: ‘SAE Architecture Analysis and Design Language (AADL) Annex vol. 1, Annex E: Error Model Annex, International Society of Automotive Engineers, Warrendale, PA, USA (June 2006).
    7. 7)
      • 7. Delange, J., Pautet, L., Plantec, A., et al: ‘Validate, simulate, and implement arinc653 systems using the aadl’. Proc. ACM SIGAda Annual Int. Conf. on Ada and Related Technologies, 2009, pp. 3144..
    8. 8)
      • 8. SAE-AS5506/2: SAE Architecture Analysis and Design Language (AADL) Annex vol. 1, Annex F: ARINC653 Annex, International Society of Automotive Engineers, Warrendale, PA, USA (June 2006).
    9. 9)
      • 9. Vestal, S.: ‘An overview of the architecture analysis & design language (AADL) error model annex’. AADL Workshop, 2005.
    10. 10)
      • 10. Stewart, W.J.: ‘Probability, Markov chains, queues, and simulation: the mathematical basis of performance modeling’ (Princeton University Press, 2009).
    11. 11)
    12. 12)
    13. 13)
      • 13. Bodeveix, J.P., Filali, M., Rached, M., et al: ‘Experimenting an aadl behavioural annex and a verification method’, Data Syst. Aerosp. (DASIA), Berlin-Germany, 2006, 22, (05), pp. 0625.
    14. 14)
      • 14. Dissaux, P., Bodeveix, J. P., Filali, M., et al: ‘AADL behavioral annex’. Proc. DASIA Conf., Berlin, 2006.
    15. 15)
      • 15. Yang, Z., Hu, K., Ma, D., et al: ‘Formal semantics and verification of AADL modes in Timed Abstract State Machine’. 2010 IEEE Int. Conf. on Progress in Informatics and Computing (PIC),2010, 2, pp. 10981103.
    16. 16)
      • 16. Rugina, A.E., Kanoun, K., Kaâniche, M.: ‘A system dependability modeling framework using AADL and GSPNs’, Architecting Dependable Systems IV (Springer Berlin Heidelberg, 2007).
    17. 17)
      • 17. Windisch, A.: ‘Asaac modelling with aadl’. SAE AS-2 Meeting on AADL, 2004.
    18. 18)
      • 18. Singhoff, F., Plantec, A.: ‘AADL modeling and analysis of hierarchical schedulers’. Proc. 2007 ACM Int. Conf. on Sigada Annual Int. Conf., Fairfax, Virginia, USA, 2007.
    19. 19)
      • 19. Lafaye, M., Gatti, M., Faura, D., et alModel driven early exploration of IMA execution platform’. IEEE/AIAA 30th. IEEE Digital Avionics Systems Conf. (DASC), 2011, 7A2-1-7A2-11.
    20. 20)
    21. 21)
      • 21. Zhou, Q., Gu, T., Hong, R., et al: ‘An AADL-based design for dynamic reconfiguration of DIMA’.  2013 IEEE/AIAA 32nd Digital Avionics Systems Conf. (DASC), 2013, 4C1-1-4C1-8.
    22. 22)
      • 22. Suo, D., An, J., Zhu, J.: ‘AADL-based Modeling and TPN-based verification of reconfiguration in Integrated Modular Avionics’. 2011 18th Asia Pacific Software Engineering Confe. (APSEC), 2011, p. 266273.
    23. 23)
      • 23. Tu, X., Xu, J., Wu, Q., et al: ‘Modeling and reliability evaluation of Avionics Clouds based on AADL and GSPN’.  2013 IEEE/AIAA 32nd Digital Avionics Systems Conf. (DASC)’, 2013, 8C1-1-8C1-11.

Related content

This is a required field
Please enter a valid email address