Title :
Object-Oriented Petri Nets Based Formal Modeling for High-Confidence Cyber-Physical Systems
Author :
Zhiqiang Ma ; Xiao Fu ; Zhenhua Yu
Author_Institution :
Sch. of Telecommun. Eng., Air Force Eng. Univ., Xi´´an, China
Abstract :
An overview of the current state of the formal modeling of cyber-physical systems (CPSs) is presented, and the challenges in developing high-confidence CPSs are discussed. To ensure the dependability of CPSs, CPSs formal model (CPSFM) is proposed based on a kind of Object-Oriented Petri nets (OPN). CPSFM describes the structure and behaviors of sensors, actuators and controllers. A variety of well-established techniques and supporting tools of Petri nets can be used to analyze, verify and validate CPSFM, and therefore the dependability of CPSs can be significantly improved.
Keywords :
Petri nets; actuators; control engineering computing; controllers; formal specification; object-oriented methods; sensors; CPS formal model; CPSFM; OPN; actuators; controllers; high-confidence CPS; high-confidence cyber-physical systems; object-oriented Petri net based formal modeling; sensors; Actuators; Computational modeling; Mathematical model; Object oriented modeling; Petri nets; Sensors; Software;
Conference_Titel :
Wireless Communications, Networking and Mobile Computing (WiCOM), 2012 8th International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-61284-684-2
DOI :
10.1109/WiCOM.2012.6478590
