Sequence Composition Analysis of Noninterference in Cyber-Physical System with Petri Net

Wang, Jingming; Yu, Huiqun; Leng, Chunxia

doi:10.14257/ijsia.2014.8.3.20

Cited by 4 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For example, [7] establishes an attack model of CPS attack model by using Petri nets, and gives a hierarchical modeling method. [17] explains the analysis and verification issues in the CPS information security model, and Petri nets are used to model CPS information flow security attributes and their composition. The author in [16] constructs a CPS security model by using time automata, which includes components and their relationships, attackers and recovery mechanisms.…”

Section: Related Workmentioning

confidence: 99%

Modeling and Optimizing CPS Software Testing based on Petri Nets

Chen¹

2017

IJPE

View full text Add to dashboard Cite

Software testing is an important means to ensure the quality of software. However, there is a lack of effective modeling and optimization of CPS software testing. In this paper, Petri nets are used to model the underlying devices, components, connectors and test cases of CPS software. Aspect oriented programming extracts the crosscutting concerns of CPS software testing. The behaviors and their relationships are described based on AOP, and a weaving mechanism is used to dynamically integrate these models into the test model of CPS. The correctness of the model is analyzed by using the operation semantics and related theories of Petri nets. Based on the state space of constructed model, a strategy is proposed to dynamically select the test suite. The experiment results show that this method can effectively describe the CPS software testing process, which can improve the quality of software testing.

show abstract

Section: Related Workmentioning

confidence: 99%

Modeling and Optimizing CPS Software Testing based on Petri Nets

Chen¹

2017

IJPE

View full text Add to dashboard Cite

show abstract

“…There are various specification techniques of control processes [ 10 ], including Petri nets (PN) [ 11 , 12 , 13 ], statecharts [ 14 ] and diagrams of the Unified Modelling Language (UML) [ 15 , 16 ]. There are also some approaches to using these specification techniques in the domain of cyber-physical systems, such as [ 17 , 18 , 19 , 20 , 21 , 22 , 23 ]. Each specification technique has its advantages and disadvantages.…”

Section: Introductionmentioning

confidence: 99%

Formal Verification of Control Modules in Cyber-Physical Systems

Grobelna

2020

Sensors

View full text Add to dashboard Cite

The paper proposes a novel formal verification method for a state-based control module of a cyber-physical system. The initial specification in the form of user-friendly UML state machine diagrams is written as an abstract rule-based logical model. The logical model is then used both for formal verification using the model checking technique and for prototype implementation in FPGA devices. The model is automatically transformed into a verifiable model in nuXmv format and into synthesizable code in VHDL language, which ensures that the resulting models are consistent with each other. It also allows the early detection of any errors related to the specification. A case study of a manufacturing automation system is presented to illustrate the approach.

show abstract

“…Hence, authors also introduce how to perform this operation offline. In [5], Petri net is used as a formal tool for nondeterministic non-interference security model specification of cyber-physical system and is shown to be applicable to abstract pipeline distribution flow network system. A generalized Petri net model is presented in [6] to formulate the manufacturing processes, and a traceability model is automatically built by model transformation.…”

Section: Introductionmentioning

confidence: 99%

A Smart Building as a Cyber Pyhsical System

Ozkan

2016

International Journal of Applied Mathematics, Electronics and Computers

View full text Add to dashboard Cite

Abstract:In recent years, systems consisting of both physical and computational elements, called Cyber Physical Systems (CPSs), have entered into our lives. These systems are becoming increasingly important because of their wide application area such as smart buildings, intelligent manufacturing processes, energy grids, healthcare devices, smart agriculture and etc. In this work, CPSs are considered by means of a smart building application. Firstly, CPSs are introduced and their features are explained. Then, a smart building is considered for emphasizing and illustrating the importance of CPSs. In order to display working mechanism of computational and physical components of the building and to provide easy trace of the evolution of overall system, some physical components (smart AC, lighting system and smart TV) are developed via Petri net, which is a mathematical and graphical tool for modelling and analysing discrete event systems.

show abstract

Sequence Composition Analysis of Noninterference in Cyber-Physical System with Petri Net

Abstract: Abstract

Cited by 4 publications

References 10 publications

Modeling and Optimizing CPS Software Testing based on Petri Nets

Modeling and Optimizing CPS Software Testing based on Petri Nets

Formal Verification of Control Modules in Cyber-Physical Systems

A Smart Building as a Cyber Pyhsical System

Contact Info

Product

Resources

About