Process-Oriented Approach to the Design of Cyber-Physical Systems

2018 ◽  
pp. 193-204
Author(s):  
Lech Knap ◽  
Jędrzej Mączak ◽  
Michał Trojgo
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems ◽  
Process Oriented ◽  
Oriented Approach

A Framework for Developing Cyber-Physical Systems

2017 ◽  
Vol 27 (09n10) ◽  
pp. 1361-1386 ◽  
Author(s):  
Xudong He ◽  
Zhijiang Dong ◽  
Heng Yin ◽  
Yujian Fu
Keyword(s):  
Quality Assurance ◽  
Model Checking ◽  
System Development ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Model Driven ◽  
Domain Specific ◽  
High Level ◽  
Model Driven Approach ◽  
Oriented Approach

Cyber-physical systems (CPSs) are pervasive in our daily life from mobile phones to auto-driving cars. CPSs are inherently complex due to their sophisticated behaviors and thus difficult to build. In this paper, we propose a framework to develop CPSs based on a model-driven approach with quality assurance throughout the development process. An agent-oriented approach is used to model individual physical and computation processes using high-level Petri nets, and an aspect-oriented approach is used to integrate individual models. The Petri net models are systematically mapped to classes and threads in Java, which are enhanced and extended with domain-specific functionalities. Complementary quality assurance techniques are applied throughout system development and deployment, including simulation and model checking of design models, model checking of Java code, and runtime verification of Java executable. We demonstrate our framework using a car parking system.

Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach

2019 ◽  
Vol 27 (2) ◽  
pp. 615-649 ◽  
Author(s):  
Tao Ma ◽  
Shaukat Ali ◽  
Tao Yue ◽  
Maged Elaasar
Keyword(s):  
Cyber Physical Systems ◽  
Self Healing ◽  
Physical Systems ◽  
Oriented Approach

Emerging Cyber-Physical Systems : An Overview

2018 ◽  
pp. 306-316
Author(s):  
Okolie S.O. ◽  
Kuyoro S.O. ◽  
Ohwo O. B
Keyword(s):  
Health Care ◽  
Economic Benefit ◽  
Physical World ◽  
Cyber Physical Systems ◽  
Cyber Physical System ◽  
Economic Sectors ◽  
Strategic Research ◽  
Physical Systems ◽  
Security Issues ◽  
Wide Range

Cyber-Physical Systems (CPS) will revolutionize how humans relate with the physical world around us. Many grand challenges await the economically vital domains of transportation, health-care, manufacturing, agriculture, energy, defence, aerospace and buildings. Exploration of these potentialities around space and time would create applications which would affect societal and economic benefit. This paper looks into the concept of emerging Cyber-Physical system, applications and security issues in sustaining development in various economic sectors; outlining a set of strategic Research and Development opportunities that should be accosted, so as to allow upgraded CPS to attain their potential and provide a wide range of societal advantages in the future.

Sign in / Sign up

Export Citation Format

Share Document