Model-based Joint Analysis of Safety and Security: Survey and Identification of Gaps

Stefano M. Nicoletti, Marijn Peppelman, Christina Kolb +1

We survey the state-of-the-art on model-based formalisms for safety and security joint analysis, where safety refers to the absence of unintended failures, and security to absence…