mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-6952-1053
2018 (engelsk)Inngår i: CEUR Workshop Proceedings, Volume 2049, 2018, s. 65-72Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2018. s. 65-72
Serie
CEUR Workshop Proceedings, ISSN 1613-0073
Emneord [en]
ISO 26262, Confirmation review, Compliance checking, Formal Contract Logic, Safety compliance patterns
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-38647Scopus ID: 2-s2.0-85045562240OAI: oai:DiVA.org:mdh-38647DiVA, id: diva2:1187069
Konferanse
1st Workshop on Technologies for Regulatory Compliance TeReCom-2017, 13 Dec 2017, Luxembourg, Luxemburg
Prosjekter
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical SystemsTilgjengelig fra: 2018-03-02 Laget: 2018-03-02 Sist oppdatert: 2018-05-11bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Scopus

Personposter BETA

Castellanos Ardila, Julieth PatriciaGallina, Barbara

Søk i DiVA

Av forfatter/redaktør
Castellanos Ardila, Julieth PatriciaGallina, Barbara
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 30 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf