Traditional safety analysis faces increasing challenges in complex cyber-physical systems. Increasing efforts are made in MBSA to address this problem to increase the trustworthiness and decrease the time of safety analysis. However, current MBSA works lack attention on the correctness at the design side of the so-called systems engineering `vee’, which is the backbone of a safety assurance program. To address this problem, we propose design analysis for model-based safety analysis.
Highlights: