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
Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards
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
2017 (engelsk)Inngår i: The 7th IEEE International Workshop on Software Certification WoSoCer 2017, 2017, s. 317-324Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

The growing connectivity of the systems that we rely on e.g. transportation vehicles is pushing towards the introduction of new standards aimed at providing a baseline to address cybersecurity besides safety. If the interplay of the two normative spaces is not mastered, compliance management might become more time consuming and costly, preventing engineers from dedicating their energies to system engineering. In this paper, we build on top of previous work aimed at increasing efficiency and confidence in compliance management. More specifically, we contribute to building a terminological framework needed to enable the systematization of commonalities and variabilities within ISO 26262 and SAE J3061. Then, we focus our attention on the requirements for software design and implementation and we use defeasible logic to prove compliance. Based on the compliance checking results, we reveal reuse opportunities. Finally, we draw our conclusions and sketch future research directions.

sted, utgiver, år, opplag, sider
2017. s. 317-324
Emneord [en]
ISO 26262, SAE J3061, compliance management, compliance proofs, reuse, defeasible logic
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-37331DOI: 10.1109/ISSREW.2017.33ISI: 000418465000067Scopus ID: 2-s2.0-85040597393ISBN: 978-1-5386-2387-9 (tryckt)OAI: oai:DiVA.org:mdh-37331DiVA, id: diva2:1161005
Konferanse
The 7th IEEE International Workshop on Software Certification WoSoCer 2017, 23 Oct 2017, Toulouse, France
Prosjekter
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical SystemsTilgjengelig fra: 2017-11-28 Laget: 2017-11-28 Sist oppdatert: 2018-02-08bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

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

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 47 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