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

fYear

2012

fDate

21-23 Sept. 2012

Firstpage

1

Lastpage

4

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Wireless Communications, Networking and Mobile Computing (WiCOM), 2012 8th International Conference on

Conference_Location

Shanghai

ISSN

2161-9646

Print_ISBN

978-1-61284-684-2

Type

conf

DOI

10.1109/WiCOM.2012.6478590

Filename

6478590