Multiconcern Dependability-Centered Assurance via Qualitative and Quantitative Coanalysis

In various safety-critical domains, multi-concern claims, regarding multiple dependability attributes e.g., safety, security and their interplay, have become common and need to be justified based on evidence. At system design-level, evidence may include a combination of mono-concern as well as multi-concern analysis results. In this paper, to contribute to multi-concern assurance, we focus on system design, and we first present a high-level process that builds on top of the synergy between qualitative and quantitative dependability analysis techniques, which have been used for mono as well as multi-concern analysis. Then, we explain how to instantiate it within a specific domain, e.g., automotive. Finally, perspectives for future work are also sketched.