TY - GEN
T1 - Safety and Security Interference Analysis in the Design Stage
AU - Martinez, Jabier
AU - Godot, Jean
AU - Ruiz, Alejandra
AU - Balbis, Abel
AU - Ruiz Nolasco, Ricardo
N1 - Publisher Copyright:
© 2020, Springer Nature Switzerland AG.
PY - 2020/9/15
Y1 - 2020/9/15
N2 - Safety 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.
AB - Safety 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.
KW - Safety
KW - Security
KW - Co-engineering
KW - Interference analysis
KW - Fault tree analysis
KW - Safety
KW - Security
KW - Co-engineering
KW - Interference analysis
KW - Fault tree analysis
UR - http://www.scopus.com/inward/record.url?scp=85096583996&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-55583-2_4
DO - 10.1007/978-3-030-55583-2_4
M3 - Conference contribution
SN - 9783030555825
VL - 12235
T3 - 0302-9743
SP - 54
EP - 68
BT - unknown
A2 - Casimiro, António
A2 - Ortmeier, Frank
A2 - Schoitsch, Erwin
A2 - Bitsch, Friedemann
A2 - Ferreira, Pedro
PB - Springer
T2 - 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2020, 1st International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems, DepDevOps 2020, 1st International Workshop on Underpinnings for Safe Distributed AI, USDAI 2020, and 3rd International Workshop on Artificial Intelligence Safety Engineering, WAISE 2020, held in conjunction with the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020
Y2 - 15 September 2020 through 18 September 2020
ER -