A new safety-guided design methodology to complement model-based safety analysis for safety assurance

Minghui Sun, Cody H. Fleming

With the rapid advancement of Formal Methods, Model-based Safety Analysis (MBSA) has been gaining tremendous attention for its ability to rigorously verify whether the safety-criti…