You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact

Promoting MBA in the Rail Sector by Deriving Process-related Evidence via MDSafeCer



Barbara Gallina, Elena Gómez-Martínez , Clara Benac Earle

Publication Type:

Journal article


Computer Standards & Interfaces -SPICE-2016 Special Issue




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.


author = {Barbara Gallina and Elena G{\'o}mez-Mart{\'\i}nez and Clara Benac Earle},
title = {Promoting MBA in the Rail Sector by Deriving Process-related Evidence via MDSafeCer},
volume = {-},
number = {-},
pages = {1--27},
month = {December},
year = {2016},
journal = {Computer Standards {\&} Interfaces -SPICE-2016 Special Issue},
url = {}