mdh.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
Deriving Reusable Process-based Arguments from Process Models in the Context of Railway Safety Standards
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-6952-1053
Bombardier Transportation, Västerås, Sweden.
2015 (English)In: Ada User Journal, ISSN 1381-6551, Vol. 36, no 4, 237-241 p.Article in journal (Refereed) Published
Abstract [en]

In the railway domain, standards such as the EN5012x family prescribe processes to be followed for the management and certification of safety-critical systems. This results in a need to model processes and retrieve process-based arguments to prove that the system achieved the required safety level in order to reduce time and cost spent in the certification process. In this paper, we present the application of the MDSafeCer, i.e. a model-driven safety certification method, for railways. In particular, we model in SPEM 2.0 the safety requirements process according to what described in the safety plan, and we show how it is possible to extract safety evidence to prove the compliance of this process to the EN50128 standard.

Place, publisher, year, edition, pages
2015. Vol. 36, no 4, 237-241 p.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-28133Scopus ID: 2-s2.0-84960130012OAI: oai:DiVA.org:mdh-28133DiVA: diva2:818737
Conference
The 20th International Conference on Reliable Software Technologies Ada-Europe-2015, 22-25 Jun 2015, Madrid, Spain
Projects
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsSafeCer - Safety Certification of Software-Intensive Systems with Reusable Components
Available from: 2015-06-09 Created: 2015-06-08 Last updated: 2017-12-04Bibliographically approved

Open Access in DiVA

No full text

Scopus

Authority records BETA

Gallina, Barbara

Search in DiVA

By author/editor
Gallina, Barbara
By organisation
Embedded Systems
In the same journal
Ada User Journal
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

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