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
Enabling Compliance Checking against Safety Standards from SPEM 2.0 Process Models
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0001-9970-7580
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-6952-1053
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
2018 (English)In: The Euromicro Conference on Software Engineering and Advanced Applications SEAA 2018, 2018Conference paper, Published paper (Refereed)
Abstract [en]

Compliance with process-based safety standards may imply the provision of a safety plan and its corresponding compliance justification. The provision of this justification is time-consuming since it requires that the process engineer checks the fulfillment of hundred of requirements by taking into account the evidence provided by the process entities. Available methodologies and their implemented tools can be used to automate this checking and provide a compliance report that can be part of the justification to be scrutinized by the safety auditor. In this paper, we explain our compliance checking vision for supporting the process engineer, in which the interaction between SPEM 2.0 (Software & Systems Process Engineering Metamodel) and Regorous (a tool-supported methodology for compliance checking) is established. Then, we focus on SPEM 2.0 to identify mechanisms to provide the minimal set of elements required to be processed by Regorous and describe how to implement them in EPF Composer. We also illustrate these mechanisms by modeling a simple example from ISO 26262 and show how a compliance report can be used to trace unfulfilled requirements.

Place, publisher, year, edition, pages
2018.
Keywords [en]
Compliance checking, SPEM 2.0, Regorous.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-40853DOI: 10.1109/SEAA.2018.00017ISI: 000450238900008Scopus ID: 2-s2.0-85056477430OAI: oai:DiVA.org:mdh-40853DiVA, id: diva2:1249246
Conference
The Euromicro Conference on Software Engineering and Advanced Applications SEAA 2018, 29 Aug 2018, Prague, Czech Republic
Projects
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical SystemsAvailable from: 2018-09-18 Created: 2018-09-18 Last updated: 2021-06-24Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Castellanos Ardila, Julieth PatriciaGallina, BarbaraUL Muram, Faiz

Search in DiVA

By author/editor
Castellanos Ardila, Julieth PatriciaGallina, BarbaraUL Muram, Faiz
By organisation
Embedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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