Formal Management-Specifying Approach for Model-Based Safety Assessment

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.