Conference:
55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2025), 23-26. June 2025, Naples, Italy
Authors:
Földvári A, Pataricza A.
Abstract:
This tutorial presents an approach that enhances the engineering models developed during a system’s design by incorporating aspects of dependability and, particularly, security. This approach creates a foundation for systematically assessing the system-level consequences by error propagation analysis, tracing how errors propagate within the system. This impact analysis serves as the basis for identifying critical vulnerabilities and evaluating the effectiveness of protective measures. One distinctive characteristic of this method is that it maps the problem to formal methods, guaranteeing an exhaustive solution within the constraints of the model’s faithfulness.
