Design analysis for model-based safety analysis (MBSA)

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.


  • A rigorous semi-automated process to derive optimal functional specifications in a top-down fashion.
  • A qualitative framework at the design side to analyze the validity of the formal model, to validate the specifications, to derive assumptions and to interface with current MBSA works.