mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: The 7th IEEE International Workshop on Software Certification WoSoCer 2017, 2017, s. 317-324Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2017. s. 317-324
Nyckelord [en]
ISO 26262, SAE J3061, compliance management, compliance proofs, reuse, defeasible logic
Nationell ämneskategori
Kommunikationssystem
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
Konferens
The 7th IEEE International Workshop on Software Certification WoSoCer 2017, 23 Oct 2017, Toulouse, France
Projekt
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical SystemsTillgänglig från: 2017-11-28 Skapad: 2017-11-28 Senast uppdaterad: 2018-02-08Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Castellanos Ardila, Julieth PatriciaGallina, Barbara

Sök vidare i DiVA

Av författaren/redaktören
Castellanos Ardila, Julieth PatriciaGallina, Barbara
Av organisationen
Inbyggda system
Kommunikationssystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 47 träffar
RefereraExporteraLänk till posten
Permanent länk

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