Design and Development Methodology for Resilient Cyber-Physical Systems

2008 ◽  
Author(s):  
Honguk Woo ◽  
Jianliang Yi ◽  
James C. Browne ◽  
Aloysius K. Mok ◽  
Ella Atkins ◽  
...  
Keyword(s):  
Cyber Physical Systems ◽  
Design And Development ◽  
Physical Systems ◽  
Development Methodology

Ontology-Driven Design and Development of Situation Assessment Software in Cyber-Physical Systems

2020 ◽  
pp. 51-76
Author(s):  
Sergey Vyacheslavovich Lebedev ◽  
Michail Panteleyev
Keyword(s):  
Software Design ◽  
Domain Knowledge ◽  
Cyber Physical Systems ◽  
Fusion Model ◽  
Software Synthesis ◽  
Design And Development ◽  
Situation Assessment ◽  
Physical Systems ◽  
Level Of Automation ◽  
Programming Techniques

Evolution of cyber-physical systems (CPS) and extension of their application areas complicate, among other things, their software design and development. This requires improvements in programming techniques used to build CPS. One of the important tasks arising in complex CPS is a situation assessment (SA) based on data received from diverse sources. In the chapter, an ontology-driven approach for CPS SA software design and development automation is proposed. The approach is based on the JDL data fusion model and flexible enough to be applied for any class of CPS applications. In contrast to known approaches, ontologies are used not only for domain knowledge representation but also for SA calculation process formalization. It provides a higher level of automation of SA software synthesis and, in the end, increases design and development efficiency.

Challenges on Coordination for Cyber-Physical Systems

2013 ◽  
Vol 347-350 ◽  
pp. 2942-2946
Author(s):  
Meng Sun
Keyword(s):  
Physical World ◽  
Cyber Physical Systems ◽  
Complex Interaction ◽  
Monitoring And Control ◽  
Design And Development ◽  
Physical Systems ◽  
Analysis Design ◽  
New Challenges ◽  
And Control

Cyber-physical systems integrate computing and communication with monitoring and control of physical entities. The complex interaction with the physical world makes coordination models and languages very important for the analysis, design and development of cyber-physical systems. This paper discusses several new challenges on coordination models and languages in the context of the emerging phenomenon of cyber-physical systems.

scholarly journals A Cyber-Physical Systems Paper Survey About the Concept, Architecture and Challenges for the Deployment within the Concept of Industry 4.0

2019 ◽  
Vol 27 (45) ◽  
pp. 49-54
Author(s):  
Markus Melicher ◽  
Dana Šišmišová ◽  
Ján Vachálek ◽  
Cyril Belavý
Keyword(s):  
Embedded Systems ◽  
Industry 4.0 ◽  
Cyber Physical Systems ◽  
Research Field ◽  
Design And Development ◽  
Physical Systems ◽  
Integrative Research ◽  
The World ◽  
Paper Survey

Abstract The arrival of Cyber-physical systems provided space for a new emerging field of research oriented on this type of embedded systems. The aim of this paper is to provide a better understanding of this integrative research field focused on the concept, architecture and challenges in deployment of such systems within the concept of Industry 4.0. Cyber-physical systems represent an emerging area of research that attracts the interest of researchers around the world, because, in the field of design and development of future systems, they are expected to play a major role.

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.

Security of Cyber-Physical Systems: A Generalized Algorithm for Intrusion Detection and Determining Security Robustness of Cyber Physical Systems using Logical Truth Tables

2013 ◽  
Vol 9 ◽  
Author(s):  
Curtis G. Northcutt
Keyword(s):  
Intrusion Detection ◽  
Cyber Security ◽  
Logical Truth ◽  
Cyber Physical Systems ◽  
Security Model ◽  
Security Measures ◽  
Physical Systems ◽  
Multiple Signal ◽  
Security Attack ◽  
Truth Tables

The recent proliferation of embedded cyber components in modern physical systems [1] has generated a variety of new security risks which threaten not only cyberspace, but our physical environment as well. Whereas earlier security threats resided primarily in cyberspace, the increasing marriage of digital technology with mechanical systems in cyber-physical systems (CPS), suggests the need for more advanced generalized CPS security measures. To address this problem, in this paper we consider the first step toward an improved security model: detecting the security attack. Using logical truth tables, we have developed a generalized algorithm for intrusion detection in CPS for systems which can be defined over discrete set of valued states. Additionally, a robustness algorithm is given which determines the level of security of a discrete-valued CPS against varying combinations of multiple signal alterations. These algorithms, when coupled with encryption keys which disallow multiple signal alteration, provide for a generalized security methodology for both cyber-security and cyber-physical systems.

Sign in / Sign up

Export Citation Format

Share Document