Deriving Verification-related Means of Compliance for a Model-based Testing Process
2016 (English)In: 2016 IEEE/AIAA 35TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2016, 7778046Conference paper (Refereed)
DO-331 is the supplement of DO-178C for modelbased development. DO-331 is an objective-based guidance, which defines a set of objectives that have to be achieved for the modelbased 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 semiautomatically 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.
Place, publisher, year, edition, pages
IEEE-AIAA Digital Avionics Systems Conference, ISSN 2155-7195
IdentifiersURN: urn:nbn:se:mdh:diva-34666DOI: 10.1109/DASC.2016.7778046ISI: 000390558400102ScopusID: 2-s2.0-85009476841ISBN: 978-1-5090-2523-7 (print)OAI: oai:DiVA.org:mdh-34666DiVA: diva2:1066889
35th IEEE/AIAA Digital Avionics Systems Conference (DASC), SEP 25-29, 2016, Sacramento, CA