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 Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. Malardalen Univ, Vasteras, Sweden..ORCID-id: 0000-0002-6952-1053
Univ East London, London, England..
Univ Politecn Madrid, Madrid, Spain..
2016 (engelsk)Inngår i: SOFTWARE PROCESS IMPROVEMENT AND CAPABILITY DETERMINATION (SPICE 2016), 2016, s. 3-16Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

According to EN 50129, manufacturers of rail vehicles shall justify via a safety case that their vehicles are adequately safe for their intended applications. MBASafe is a recently proposed and potentially innovative design and verification process. In the presence of compelling arguments concerning its adequacy as process evidence, MBASafe could support the safety claims within the required safety cases. In this paper, we contribute to partially justify the adequacy of MBASafe to act as process evidence. To do that, we first manually check if MBASafe includes EN 50128-compliant process elements, then we model MBASafe in compliance with Software Process Engineering Meta-model 2.0, then, we derive process-based arguments from the MBASafe process model by using MDSafeCer, the recently introduced Model Driven Safety Certification method. By doing so, we provide a twofold contribution: we further validate MDSafeCer in the rail domain and we strengthen MBASafe.

sted, utgiver, år, opplag, sider
2016. s. 3-16
Serie
Communications in Computer and Information Science, ISSN 1865-0929 ; 609
Emneord [en]
EN 5012x, Model-driven safety certification, Process assessment
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-33277DOI: 10.1007/978-3-319-38980-6_1ISI: 000382651100001Scopus ID: 2-s2.0-84993984526ISBN: 978-3-319-38980-6; 978-3-319-38979-0 (tryckt)OAI: oai:DiVA.org:mdh-33277DiVA, id: diva2:987344
Konferanse
16th International Conference on Software Process Improvement and Capability Determination (SPICE), JUN 09-10, 2016, Dublin, IRELAND
Tilgjengelig fra: 2016-09-29 Laget: 2016-09-29 Sist oppdatert: 2018-01-10bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

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: 26 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