A Method for Cyber-Physical System Behavior Modeling and Safety Verification Based on Extended Hybrid System Description Language

Abstract

Abstract. The safety of Cyber-physical system(CPS) is up to its behavior, and it is a key property for CPS to be applied in critical application fields. A method for CPS behavior modeling and safety verification is put forward in this paper. The behavior model of CPS is described by extended hybrid system description language(E-HYSDEL).The formal definition of hybrid program(HP) is given, and the behavior model is transformed to HP based on the definition. The safety of CPS is verified by inputting the HP to KeYmarea. The advantage of the approach is that it models CPS intuitively and verify it's safety strictly avoiding the state space explosion

A Literature Review on the Development and Creation of Digital Twins, Cyber-Physical Systems, and Product-Service Systems

“…Meryem Afendi [ 151 ] used Event-B to model a CPS. Tou et al [ 196 ] extended the traditional hybrid system description language HYSDEL to E-HYSDEL. This can be used to describe the behaviour of CPS.…”