TY - GEN
T1 - A Model-Based Safety Analysis of Dependencies Across Abstraction Layers
AU - Dropmann, Christoph
AU - Thaden, Eike
AU - Trapp, Mario
AU - Uecker, Denis
AU - Amarnath, Rakshith
AU - da Silva, Leandro Avila
AU - Munk, Peter
AU - Schweizer, Markus
AU - Jung, Matthias
AU - Adler, Rasmus
N1 - Publisher Copyright:
© 2018, Springer Nature Switzerland AG.
PY - 2018
Y1 - 2018
N2 - Identifying and mitigating possible failure propagation from one safety-critical application to another through common infrastructural components is a challenging task. Examples of such dependencies across software-stack layers (e.g., between application and middleware layer) are common causes and failure propagation scenarios in which a failure of one software component propagates to another software component through shared services and/or common computational resources. To account for this, safety standards demand freedom from interference in order to control failure propagation between mixed-critical software components. Safety analysis is typically focused on one abstraction layer, while robustness tests try to find failure propagation paths across abstraction layers. To this end, this paper presents a model-based failure propagation analysis combining failure propagation within and across abstraction layers. A classification of dependencies in combination with fault trees is used to perform a model-based dependency analysis. In addition, a novel modeling technique for integrating failure propagation aspects resulting from shared services and resources is presented. The analysis was used to carry out an early safety assessment of a real-world automotive redundancy mechanism within an integrated architecture. The results show that the method improved reusability and modularity, and made it easier to estimate failure propagation issues, including possible violations of freedom from interference within an integrated system.
AB - Identifying and mitigating possible failure propagation from one safety-critical application to another through common infrastructural components is a challenging task. Examples of such dependencies across software-stack layers (e.g., between application and middleware layer) are common causes and failure propagation scenarios in which a failure of one software component propagates to another software component through shared services and/or common computational resources. To account for this, safety standards demand freedom from interference in order to control failure propagation between mixed-critical software components. Safety analysis is typically focused on one abstraction layer, while robustness tests try to find failure propagation paths across abstraction layers. To this end, this paper presents a model-based failure propagation analysis combining failure propagation within and across abstraction layers. A classification of dependencies in combination with fault trees is used to perform a model-based dependency analysis. In addition, a novel modeling technique for integrating failure propagation aspects resulting from shared services and resources is presented. The analysis was used to carry out an early safety assessment of a real-world automotive redundancy mechanism within an integrated architecture. The results show that the method improved reusability and modularity, and made it easier to estimate failure propagation issues, including possible violations of freedom from interference within an integrated system.
KW - Interferences
KW - Safety analysis
KW - Software and system safety
UR - http://www.scopus.com/inward/record.url?scp=85053805788&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-99130-6_6
DO - 10.1007/978-3-319-99130-6_6
M3 - Conference contribution
AN - SCOPUS:85053805788
SN - 9783319991290
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 73
EP - 87
BT - Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Proceedings
A2 - Skavhaug, Amund
A2 - Bitsch, Friedemann
A2 - Gallina, Barbara
PB - Springer Verlag
T2 - 37th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2018
Y2 - 18 September 2018 through 21 September 2018
ER -