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
Lessons Learned while formalizing ISO 26262 for Compliance Checking
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-6952-1053
Data61, CSIRO, Australia.
2018 (English)In: Proceedings of the 2nd Workshop on Technologies for Regulatory Compliance (TeReCom), 2018, p. 5-16Conference paper, Published paper (Refereed)
Abstract [en]

A confirmation review of the safety plan is required during compliance assessment with ISO 26262. Its production could be facilitated by creating a specification of the standard’s requirements in FCL (Formal Contract Logic), which is a language that can be used to automatically checking compliance. However, we have learned, via previous experiences, that interpreting ISO 26262 requirements and specifying them in FCL is complex. Thus, we perform a formalization-oriented pre-processing of ISO 26262 to find effective ways to proceed with this task. In this paper, we present the lessons learned from this pre-processing which includes the identification of the essential normative parts to be formalized, the identification of SCP (Safety Compliance Patterns) and its subsequent documentation as templates, and the definition of a methodological guideline to facilitate the formalization of normative clauses. Finally, we illustrate the defined methodology by formalizing ISO 26262 part 3 and discuss our findings.

Place, publisher, year, edition, pages
2018. p. 5-16
Series
CEUR Workshop Proceedings, ISSN 1613-0073 ; 2309
National Category
Computer and Information Sciences
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:mdh:diva-42568OAI: oai:DiVA.org:mdh-42568DiVA, id: diva2:1285998
Conference
2nd Workshop on Technologies for Regulatory Compliance co-located with the 31st International Conference on Legal Knowledge and Information Systems (JURIX 2018) Groningen, The Netherlands, December 12, 2018.
Available from: 2019-02-05 Created: 2019-02-05 Last updated: 2019-06-03Bibliographically approved

Open Access in DiVA

fulltext(315 kB)14 downloads
File information
File name FULLTEXT01.pdfFile size 315 kBChecksum SHA-512
d051719ff0d8fa6e302609747e3374950c8a5078fcbd6d55247ff6d36da4a16f7aeba897ecafbd83b6b122ac0f2af4cc41f28778e770948ad0919f0671eab99c
Type fulltextMimetype application/pdf

Other links

http://ceur-ws.org/Vol-2309/01.pdf

Authority records BETA

Castellanos Ardila, Julieth PatriciaGallina, Barbara

Search in DiVA

By author/editor
Castellanos Ardila, Julieth PatriciaGallina, Barbara
By organisation
Embedded Systems
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 14 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

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