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
Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262
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
2018 (English)In: CEUR Workshop Proceedings, Volume 2049, 2018, p. 65-72Conference paper, Published paper (Refereed)
Abstract [en]

ISO 26262 demands a confirmation review of the safety plan, which includes the compliance checking of planned processes against safety requirements. Formal Contract Logic (FCL), a logic-based language stemming from business compliance, provides means to formalize normative requirements enabling automatic compliance checking. However, formalizing safety requirements in FCL requires skills, which cannot be taken for granted. In this paper, we provide a set of ISO 26262-specific FCL compliance patterns to facilitate rules formalization. First, we identify and define the patterns, based on Dwyer' et al.'s specification patterns style. Then, we instantiate the patterns to illustrate their applicability. Finally, we sketch conclusions and future work.

Place, publisher, year, edition, pages
2018. p. 65-72
Series
CEUR Workshop Proceedings, ISSN 1613-0073
Keywords [en]
ISO 26262, Confirmation review, Compliance checking, Formal Contract Logic, Safety compliance patterns
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-38647Scopus ID: 2-s2.0-85045562240OAI: oai:DiVA.org:mdh-38647DiVA, id: diva2:1187069
Conference
1st Workshop on Technologies for Regulatory Compliance TeReCom-2017, 13 Dec 2017, Luxembourg, Luxemburg
Projects
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical SystemsAvailable from: 2018-03-02 Created: 2018-03-02 Last updated: 2021-06-24Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records

Castellanos Ardila, Julieth PatriciaGallina, Barbara

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

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