Visible to the public Modeling and Analysis of CPS Availability Based on the Object-oriented Timed Petri Nets

TitleModeling and Analysis of CPS Availability Based on the Object-oriented Timed Petri Nets
Publication TypeConference Paper
Year of Publication2018
AuthorsYang, Yi, Xu, Wei, Wang, Sixin, Wei, Kunlun
Conference Name2018 37th Chinese Control Conference (CCC)
Date PublishedJuly 2018
ISBN Number978-988-15639-5-8
KeywordsAvailability analysis, composability, CPS, CPS architecture model, CPS availability analysis, CPS modeling, Cyber-physical systems, mathematical analysis, mathematical analysis method, Metrics, object oriented security, object-oriented, object-oriented methods, object-oriented system, object-oriented timed Petri net, Petri Net, Petri nets, pubcrawl, reliability, resilience, Resiliency, security-critical applications, simulations

Cyber-Physical Systems (CPS) is mostly deployed in security-critical applications where their failures can cause serious consequences, and therefore it is critical to evaluate its availability. In this paper, an architecture model of CPS is established from the perspective of object-oriented system. The system is a unified whole formed by various independent objects (including sensors, controllers and actuators) through communication connection. Then the paper presents the Object-oriented Timed Petri Net to model the system. The modeling method can be used to describe the whole system and the characteristics of the object. At the same time, the availability analysis of the system is carried out by using the mathematical analysis method and simulation tool of Petri net. Finally, a concrete case is given to verify the feasibility of the modeling method in CPS availability analysis.

Citation Keyyang_modeling_2018