An optimized method for generating fault tree from a counter-example

With the development of the Model Based Systems Engineering (MBSE), the Model-based safety analysis (MBSA) process and techniques have been widely studied and applied, which include system modeling, safety properties verification and safety analysis. As a core task, model checking explores the state space of the system model to generate counter-examples… (More)