Journal of Systems Engineering and Electronics ›› 2023, Vol. 34 ›› Issue (6): 1589-1601.doi: 10.23919/JSEE.2023.000154

• SYSTEMS ENGINEERING • Previous Articles     Next Articles

Formal management-specifying approach for model-based safety assessment

Changyi XU1(), Yiman DUAN2(), Chao ZHANG2,*()   

  1. 1 School of Control Science and Engineering, Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education, Dalian University of Technology, Dalian 116024, China
    2 State Key Laboratory of Fluid Power and Mechatronic Systems, School of Mechanical Engineering, Zhejiang University, Hangzhou 310027, China
  • Received:2022-11-04 Online:2023-12-18 Published:2023-12-29
  • Contact: Chao ZHANG;;
  • About author:
    XU Changyi was born in 1989. He received his bachelor degree in electronic information science and technology from Jilin University, Changchun, China, in 2012. He received his master degree from Chinese Academy of Sciences, Changchun, China in 2015, and Ph.D degree in automatic in University of Lyon, Lyon, France in 2021. He is currently an associate professor in Dalian University of Technology. His research interests are systems engineering, electronic technology, electronic technology, control theory and practice, reliability. E-mail:

    DUAN Yiman was born in 1996. She received her B.S. and M.S. degrees from Yanshan University in 2019 and 2022, respectively. She is currently working toward Ph.D. degree in the College of Mechanical Engineering, Zhejiang University, Hangzhou, China. Her research interests include systems engineering, control theory and practice, high-performance mechatronic equipment. E-mail:

    ZHANG Chao was born in 1990. He received his B.S. degree in 2012 and M.S. degree in 2015, from Northwestern Polytechnical University, Xi’an, China. He received his Ph.D. degree in 2019 from University of Lyon, France. He is currently a professor at the Institute of Mechatronics and Control Engineering, Zhejiang University. His research interests include systems engineering, control theory and practice, high-performance mechatronic equipment. E-mail:
  • Supported by:
    This work was supported by the National Natural Science Foundation of China (52105070; U21B2074) and Department of Science and Technology of Liaoning Province China (2033JH1/10400007).


In the field of model-based system assessment, mathematical models are used to interpret the system behaviors. However, the industrial systems in this intelligent era will be more manageable. Various management operations will be dynamically set, and the system will be no longer static as it is initially designed. Thus, the static model generated by the traditional model-based safety assessment (MBSA) approach cannot be used to accurately assess the dependability. There mainly exists three problems. Complex: huge and complex behaviors make the modeling to be trivial manual; Dynamic: though there are thousands of states and transitions, the previous model must be resubmitted to assess whenever new management arrives; Unreusable: as for different systems, the model must be resubmitted by reconsidering both the management and the system itself at the same time though the management is the same. Motivated by solving the above problems, this research studies a formal management specifying approach with the advantages of agility modeling, dynamic modeling, and specification design that can be re-suable. Finally, three typical managements are specified in a series-parallel system as a demonstration to show the potential.

Key words: model-based safety assessment (MBSA), management, availability, reliability, maintainability, continuous time Markov chain