Assurance of System Safety: A Survey of Design and Argument Patterns
This is an incremental survey paper for researchers and practitioners in safety-critical system design, identifying gaps in the field.
This survey paper summarizes research on design and argument patterns for safety-critical systems over the last two decades, synthesizing a taxonomy of first principles underlying these patterns. The findings reveal a lack of research on how patterns improve system safety claims, the decomposition of safety into local concerns, and the impact of security on safety.
The specification, design, and assurance of safety encompasses various concepts and best practices, subject of reuse in form of patterns. This work summarizes applied research on such concepts and practices with a focus on the last two decades and on the state-of-the-art of patterns in safety-critical system design and assurance argumentation. We investigate several aspects of such patterns, for example, where and when they are applied, their characteristics and purposes, and how they are related. For each aspect, we provide an overview of relevant studies and synthesize a taxonomy of first principles underlying these patterns. Furthermore, we comment on how these studies address known challenges and we discuss suggestions for further research. Our findings disclose a lack of research on how patterns improve system safety claims and, vice versa, on the decomposition of system safety into separated local concerns, and on the impact of security on safety.