Safety Validation Using AADL System Architecture Models

Most of the embedded systems used in avionics and automotive industries are safety critical in nature. Safety validation of these systems are challenging inspite of significant advances in the field of system and software engineering. In our previous work, real time monitoring of system level parameters at hardware-software integration test environment could capture safety critical errors, which could have led to hazardous system behaviour. However, parameters to be monitored were captured from design and coding phase, resulted in lot of rework. The situation could have been avoided if model based software engineering was followed, wherein system engineer and safety analyst could base their work on a common model. Hence, architecture Analysis and Design Language (AADL) along with its error annex were selected for modelling and a systematic method for modelling a system from safety point of view was arrived at and reported in [7]. But translation of these into test cases which could be used for system safety validation is still in infancy. This paper focuses on automatic generation of safety validation test cases from AADL model enriched with error behaviour. The method is presented with Isolette, a well-known AADL model case study.

[1]  Meenakshi D'Souza,et al.  Safety Validation of an Embedded Real-Time System at Hardware-Software Integration Test Environment , 2016 .

[2]  Fabrice Kordon,et al.  Embedded Systems: Analysis and Modeling with SysML, UML and AADL , 2013 .

[3]  Andreas Krämer,et al.  Model-Based Testing of Automotive Systems , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[4]  Paul C. Jorgensen,et al.  Software Testing: A Craftsman's Approach , 1995 .

[5]  Meenakshi D'Souza,et al.  Model-Based Safety Validation for Embedded Real-Time Systems , 2018 .

[6]  John Hatcliff,et al.  An architecturally-integrated, systems-based hazard analysis for medical applications , 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).

[7]  Qian Hongbing,et al.  Research on test cases automatic generation technique based on AADL model , 2010, 2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE).

[8]  Yunwei Dong,et al.  Automatic Generation of Systematic Test Cases Using AADL for Embedded Software , 2012 .

[9]  Robert Eschbach,et al.  Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

[10]  Mariëlle Stoelinga,et al.  Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools , 2014, Comput. Sci. Rev..

[11]  Paul C. Jorgensen.  Software Testing: A Craftsman''s Approach. Second Edition, CRC Press , 2002 .

[12]  Peter H. Feiler,et al.  Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language , 2012 .

[13]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[14]  Jeremy Johnson,et al.  Using model-based assurance to strengthen diagnostic procedures , 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

[15]  Robyn R. Lutz,et al.  Using Fault Modeling in Safety Cases , 2008, 2008 19th International Symposium on Software Reliability Engineering (ISSRE).

[16]  Lars Grunske,et al.  A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models , 2008, 2008 11th IEEE High Assurance Systems Engineering Symposium.

[17]  Julien Delange,et al.  Architecture Fault Modeling with the AADL Error-Model Annex , 2014, 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications.

[18]  Fabrice Kordon,et al.  Embedded Systems: Kordon/Embedded Systems , 2013 .

[19]  W E Vesely,et al.  Fault Tree Handbook , 1987 .