https://www.mdu.se/

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
Lessons Learned while formalizing ISO 26262 for Compliance Checking
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0001-9970-7580
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-6952-1053
Data61, CSIRO, Australia.
2018 (engelsk)Inngår i: Proceedings of the 2nd Workshop on Technologies for Regulatory Compliance (TeReCom), 2018, s. 5-16Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2018. s. 5-16
Serie
CEUR Workshop Proceedings, ISSN 1613-0073 ; 2309
HSV kategori
Forskningsprogram
datavetenskap
Identifikatorer
URN: urn:nbn:se:mdh:diva-42568OAI: oai:DiVA.org:mdh-42568DiVA, id: diva2:1285998
Konferanse
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.
Tilgjengelig fra: 2019-02-05 Laget: 2019-02-05 Sist oppdatert: 2021-06-24bibliografisk kontrollert

Open Access i DiVA

fulltext(315 kB)231 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 315 kBChecksum SHA-512
d051719ff0d8fa6e302609747e3374950c8a5078fcbd6d55247ff6d36da4a16f7aeba897ecafbd83b6b122ac0f2af4cc41f28778e770948ad0919f0671eab99c
Type fulltextMimetype application/pdf

Andre lenker

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

Person

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
Totalt: 231 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 233 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