Safety and Security Interference Analysis in the Design Stage

Simple item page
dc.conference.titleSAFECOMP 2020: Computer Safety, Reliability, and Securityen
dc.contributor.authorMartinez, Jabier
dc.contributor.authorGodot, Jean
dc.contributor.authorRuiz, Alejandra
dc.contributor.authorBalbis, Abel
dc.contributor.authorRuiz Nolasco, Ricardo
dc.date.accessioned2020-12-04T11:20:54Z
dc.date.available2020-12-04T11:20:54Z
dc.date.issued2020-09-15
dc.description.abstractSafety and security engineering have been traditionally separated disciplines (e.g., different required knowledge and skills, terminology, standards and life-cycles) and operated in quasi-silos of knowledge and practices. However, the co-engineering of these two critical qualities of a system is being largely investigated as it promises the removal of redundant work and the detection of trade-offs in early stages of the product development life-cycle. In this work, we enrich an existing safety-security co-analysis method in the design stage providing capabilities for interference analysis. Reports on interference analyses are crucial to trigger co-engineering meetings leading to the trade-offs analyses and system refinements. We detail our automatic approach for this interference analysis, performed through fault trees generated from safety and security local analyses. We evaluate and discuss our approach from the perspective of two industrial case studies on the space and medical domains.en
dc.description.sponsorshipThe research leading to this paper has received funding from the AQUAS project (H2020-ECSEL grant agreement 737475). The ECSEL Joint Undertaking receives support from the European Union’s Horizon 2020 research and innovation programme.en
dc.divisionICT - European Software Instituteen
dc.identifier.citationMartinez, Jabier, Jean Godot, Alejandra Ruiz, Abel Balbis, and Ricardo Ruiz Nolasco. “Safety and Security Interference Analysis in the Design Stage.” Lecture Notes in Computer Science (2020): 54–68. doi:10.1007/978-3-030-55583-2_4.en
dc.identifier.doi10.1007/978-3-030-55583-2_4en
dc.identifier.essn1611-3349en
dc.identifier.issn0302-9743en
dc.identifier.urihttp://hdl.handle.net/11556/1028
dc.journal.titleLecture Notes in Computer Science book seriesen
dc.language.isoengen
dc.page.final68en
dc.page.initial54en
dc.publisherSpringeren
dc.relation.projectIDinfo:eu-repo/grantAgreement/EC/H2020/737475/EU/Aggregated Quality Assurance for Systems/AQUASen
dc.rights.accessRightsembargoed accessen
dc.subject.keywordsSafetyen
dc.subject.keywordsSecurityen
dc.subject.keywordsCo-engineeringen
dc.subject.keywordsInterference analysisen
dc.subject.keywordsFault tree analysisen
dc.titleSafety and Security Interference Analysis in the Design Stageen
dc.typeconference outputen
dc.volume.number12235en
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Martinez2020.pdf
Size:
2.15 MB
Format:
Adobe Portable Document Format
Download