mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Deriving Verification-related Means of Compliance for a Model-based Testing Process
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-6952-1053
Univ Denver, Denver, CO USA..
2016 (engelsk)Inngår i: 2016 IEEE/AIAA 35TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2016, artikkel-id 7778046Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

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.

sted, utgiver, år, opplag, sider
2016. artikkel-id 7778046
Serie
IEEE-AIAA Digital Avionics Systems Conference, ISSN 2155-7195
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-34666DOI: 10.1109/DASC.2016.7778046ISI: 000390558400102Scopus ID: 2-s2.0-85009476841ISBN: 978-1-5090-2523-7 (tryckt)OAI: oai:DiVA.org:mdh-34666DiVA, id: diva2:1066889
Konferanse
35th IEEE/AIAA Digital Avionics Systems Conference (DASC), SEP 25-29, 2016, Sacramento, CA
Tilgjengelig fra: 2017-01-19 Laget: 2017-01-19 Sist oppdatert: 2017-01-26bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Gallina, Barbara

Søk i DiVA

Av forfatter/redaktør
Gallina, Barbara
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 16 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf