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
Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards
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
2017 (English)In: The 7th IEEE International Workshop on Software Certification WoSoCer 2017, 2017, p. 317-324Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
2017. p. 317-324
Keywords [en]
ISO 26262, SAE J3061, compliance management, compliance proofs, reuse, defeasible logic
National Category
Communication Systems
Identifiers
URN: urn:nbn:se:mdh:diva-37331DOI: 10.1109/ISSREW.2017.33ISI: 000418465000067Scopus ID: 2-s2.0-85040597393ISBN: 978-1-5386-2387-9 (print)OAI: oai:DiVA.org:mdh-37331DiVA, id: diva2:1161005
Conference
The 7th IEEE International Workshop on Software Certification WoSoCer 2017, 23 Oct 2017, Toulouse, France
Projects
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical SystemsAvailable from: 2017-11-28 Created: 2017-11-28 Last updated: 2021-06-24Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Castellanos Ardila, Julieth PatriciaGallina, Barbara

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 127 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