https://www.mdu.se/

mdu.sePublications
Planned maintenance
A system upgrade is planned for 10/12-2024, at 12:00-13:00. During this time DiVA will be unavailable.
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
Evaluación de Requisitos de Seguridad con MBASafe conforme a la norma EN 50128
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-6952-1053
Universidad Politécnica de Madrid, Spain.
Universidad Politécnica de Madrid, Spain.
2017 (English)In: XVII Jornadas de Programación y Lenguajes, part of SISTEDES 2017 PROLE-2017, 2017Conference paper, Oral presentation with published abstract (Refereed)
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 Metamodel 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. 

Place, publisher, year, edition, pages
2017.
National Category
Other Engineering and Technologies
Identifiers
URN: urn:nbn:se:mdh:diva-37001OAI: oai:DiVA.org:mdh-37001DiVA, id: diva2:1160440
Conference
XVII Jornadas de Programación y Lenguajes, part of SISTEDES 2017 PROLE-2017, 19 Jul 2017, San Cristóbal de La Laguna, Tenerife, Spain
Projects
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical SystemsAvailable from: 2017-11-27 Created: 2017-11-27 Last updated: 2017-11-27Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

http://hdl.handle.net/11705/PROLE/2017/013

Authority records

Gallina, Barbara

Search in DiVA

By author/editor
Gallina, Barbara
By organisation
Embedded Systems
Other Engineering and Technologies

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 39 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