https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Promoting MBA in the Rail Sector by Deriving Process-related Evidence via MDSafeCer
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-6952-1053
University of East London, London, United Kingdom.
Universidad Politécnica de Madrid, Madrid, Spain.
2017 (English)In: Computer Standards & Interfaces, ISSN 0920-5489, E-ISSN 1872-7018, Vol. -54, no 3, p. 119-128Article in journal (Refereed) Published
Abstract [en]

An EN 50129-compliant safety case should include process-related evidence in terms of quality as well as safety management. Potentially innovative engi- neering methods developed in academic settings could act as process-related evidence. However, to ease their acceptance within the rail industrial set- tings, the adequacy of these methods need to be justified. In this paper, we extend our previous work and we provide a broader justification including performance aspects aimed at showing that the entire MBA (Model-Based design methodology for Assessing performance and safety requirements of critical systems) is partly compliant with EN 50128.To do that, we tackle safety and performance process-related compliance as follows: we first man- ually check if MBA includes EN 50128-compliant process elements, then we model MBA in compliance with Software Process Engineering Meta-model 2.0, then, we derive process-based arguments from the MBA process model by using the MDSafeCer (Model Driven Safety Certification) method. By doing so, we provide a twofold contribution: we further validate MDSafeCer in the rail domain and we strengthen MBA.

Place, publisher, year, edition, pages
Sweden, 2017. Vol. -54, no 3, p. 119-128
Keywords [en]
EN 5012x, model-driven, safety certification, process assessment
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-34076DOI: 10.1016/j.csi.2016.11.007ISI: 000401888500002Scopus ID: 2-s2.0-85008230386OAI: oai:DiVA.org:mdh-34076DiVA, id: diva2:1056880
Projects
Gen&ReuseSafetyCasesAMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical SystemsAvailable from: 2016-12-15 Created: 2016-12-13 Last updated: 2017-06-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Gallina, Barbara
By organisation
Embedded Systems
In the same journal
Computer Standards & Interfaces
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 41 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf