scholarly journals Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems

2019 ◽  
Author(s):  
Zhiheng Xu ◽  
Daniel Jun Xian Ng ◽  
Arvind Easwaran
Keyword(s):  
Automatic Generation ◽  
Cyber Physical Systems ◽  
Physical Systems

Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica

2019 ◽  
Vol 11 (3) ◽  
pp. 44-67
Author(s):  
Hao Zhou ◽  
Mengyao Zhao ◽  
Linbo Wu ◽  
Xiaohong Chen
Keyword(s):  
Time Dependence ◽  
Automatic Generation ◽  
Physical World ◽  
Cyber Physical Systems ◽  
Timing Constraints ◽  
Sequence Diagrams ◽  
Sensors And Actuators ◽  
Physical Systems ◽  
Parachute System ◽  
Simulation Parameter

Cyber-physical systems (CPSs) connect the cyber world with the physical world through a network of interrelated elements, such as sensors and actuators, robots, and other computing devices. Timing constraints on the interactions (timing behaviors) should be modelled and verified as cyber-physical systems are becoming more and more complex. This article proposes modeling the typical timing behaviors according to their time characteristics, periodicity, multiform time, and synchronization, and verifies them against properties using simulations. Sequence diagrams are presented for the modeling, and modelica is used for simulation. In the simulation, the time dependence relations are defined, and used for simulation parameter data automatic generation, in addition to the paths from the sequence diagrams. Finally, a Parachute System is used as an example to show the feasibility and effectiveness of the approach.

Automatic generation of test system instances for configurable cyber-physical systems

2016 ◽  
Vol 25 (3) ◽  
pp. 1041-1083 ◽  
Author(s):  
Aitor Arrieta ◽  
Goiuria Sagardui ◽  
Leire Etxeberria ◽  
Justyna Zander
Keyword(s):  
Automatic Generation ◽  
Cyber Physical Systems ◽  
Test System ◽  
Physical Systems

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