Deriving verification-related means of compliance for a model-based testing process

DO-331 is the supplement of DO-178C for model-based development. DO-331 is an objective-based guidance, which defines a set of objectives that have to be achieved for the model-based development of aeronautical software. The guidance also recommends the evidence in terms of activities and work products that should respectively be carried out and produced to meet the objectives. To explain why the evidence collected supports the claims concerning objectives achievement, manufacturers could adopt a safety case-based approach. Fail-SafeMBT is an academic, recently proposed, and potentially innovative model-based testing process, which needs compelling arguments to be adopted for the development of aeronautical software. To reduce the gap between industrial settings and academic settings, in this paper, we adopt the safety case-based approach and we explain how to semi-automatically derive means for compliance, aimed at arguing Fail-SafeMBT's compliance. Our focus is limited to the Verification Planning Process and we contribute to partially justify the adequacy of Fail-SafeMBT to act as process evidence by creating fragments of compelling arguments. To do that, we first manually check if Fail-SafeMBT includes DO-178C/DO-331-compliant process elements, then we model Fail-SafeMBT in compliance with Software Process Engineering Meta-model 2.0, then, we derive process-based arguments from the Fail-SafeMBT process model by using MDSafeCer, the recently introduced Model Driven Safety Certification method. By doing so, we provide a threefold contribution: we pioneer the interpretation of DO-331 in academic settings, we validate MDSafeCer in the avionics domain and we strengthen Fail-SafeMBT by providing suggestions aimed at increasing its maturity level.

[1]  Anneliese Andrews,et al.  Testing of safety-critical systems: An aerospace launch application , 2014, 2014 IEEE Aerospace Conference.

[2]  Heiko Stallbaum,et al.  Toward DO-178B-compliant Test Models , 2010, 2010 Workshop on Model-Driven Engineering, Verification, and Validation.

[3]  Barbara Gallina,et al.  Deriving Reusable Process-based Arguments from Process Models in the Context of Railway Safety Standards , 2015, Ada-Europe 2015.

[4]  Uma Ferrell,et al.  Assuring Avionics - Updating the Approach for the 21st Century , 2014, SAFECOMP Workshops.

[5]  Barbara Gallina,et al.  Benefits of security-informed safety-oriented process line engineering , 2015, 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC).

[6]  Huáscar Espinoza,et al.  Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems , 2016, SAFECOMP Workshops.

[7]  Barbara Gallina,et al.  Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128 , 2016, SPICE.

[8]  Barbara Gallina,et al.  A Model-Driven Safety Certification Method for Process Compliance , 2014, 2014 IEEE International Symposium on Software Reliability Engineering Workshops.

[9]  Barbara Gallina,et al.  S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-Oriented Processes , 2013, SERA.

[10]  Barbara Gallina.  How to increase efficiency with the certification of process compliance , 2017 .

[11]  Barbara Gallina,et al.  THRUST: A method for speeding up the creation of process-related deliverables , 2014, 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC).

[12]  John A. McDermid.  Nothing is Certain but Doubt and Tests , 2014, ArXiv.

[13]  C. Michael Holloway.  Making the Implicit Explicit: Towards an Assurance Case for DO-178C , 2013 .

[14]  Anneliese Amschler Andrews,et al.  Fail-Safe Test Generation in Safety Critical Systems , 2014, 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering.

[15]  Barbara Gallina,et al.  Industrial Experiences of Building a Safety Case in Compliance with ISO 26262 , 2012, 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops.

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