Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic

2015 ◽  
Author(s):  
Haiying Sun ◽  
Jing Liu ◽  
Xiaohong Chen ◽  
Dehui Du
Keyword(s):  
Physical System ◽  
Cyber Physical System ◽  
Safety Properties ◽  
System Safety ◽  
Spatial Logic

scholarly journals An ontological metamodel for cyber-physical system safety, security, and resilience coengineering

2021 ◽  
Author(s):  
Georgios Bakirtzis ◽  
Tim Sherburne ◽  
Stephen Adams ◽  
Barry M. Horowitz ◽  
Peter A. Beling ◽  
...  
Keyword(s):  
System Design ◽  
Physical System ◽  
Oil And Gas ◽  
Cyber Physical Systems ◽  
Cyber Physical System ◽  
Modeling Languages ◽  
System Safety ◽  
Physical Systems ◽  
Resilience Mechanisms ◽  
Pipeline Model

AbstractCyber-physical systems are complex systems that require the integration of diverse software, firmware, and hardware to be practical and useful. This increased complexity is impacting the management of models necessary for designing cyber-physical systems that are able to take into account a number of “-ilities”, such that they are safe and secure and ultimately resilient to disruption of service. We propose an ontological metamodel for system design that augments an already existing industry metamodel to capture the relationships between various model elements (requirements, interfaces, physical, and functional) and safety, security, and resilient considerations. Employing this metamodel leads to more cohesive and structured modeling efforts with an overall increase in scalability, usability, and unification of already existing models. In turn, this leads to a mission-oriented perspective in designing security defenses and resilience mechanisms to combat undesirable behaviors. We illustrate this metamodel in an open-source GraphQL implementation, which can interface with a number of modeling languages. We support our proposed metamodel with a detailed demonstration using an oil and gas pipeline model.

Implementation of a Cyber-Physical System Using Wireless Sensor Networks for Monitoring Patients

2015 ◽  
Vol 1 ◽  
pp. 26 ◽  
Author(s):  
Vo Que Son ◽  
Do Tan A
Keyword(s):  
Wireless Sensor Networks ◽  
Sensor Networks ◽  
Physical System ◽  
Patient Monitoring ◽  
High Reliability ◽  
Vital Signs ◽  
Wireless Sensor ◽  
Cyber Physical System ◽  
Self Administration ◽  
Hospital Units

Sensing, distributed computation and wireless communication are the essential building components of a Cyber-Physical System (CPS). Having many advantages such as mobility, low power, multi-hop routing, low latency, self-administration, utonomous data acquisition, and fault tolerance, Wireless Sensor Networks (WSNs) have gone beyond the scope of monitoring the environment and can be a way to support CPS. This paper presents the design, deployment, and empirical study of an eHealth system, which can remotely monitor vital signs from patients such as body temperature, blood pressure, SPO2, and heart rate. The primary contribution of this paper is the measurements of the proposed eHealth device that assesses the feasibility of WSNs for patient monitoring in hospitals in two aspects of communication and clinical sensing. Moreover, both simulation and experiment are used to investigate the performance of the design in many aspects such as networking reliability, sensing reliability, or end-to-end delay. The results show that the network achieved high reliability - nearly 97% while the sensing reliability of the vital signs can be obtained at approximately 98%. This indicates the feasibility and promise of using WSNs for continuous patient monitoring and clinical worsening detection in general hospital units.

Grid Cyber-Physical System Risk Management Model Based on Cooperative Game Theory

2020 ◽  
Vol 21 (1) ◽  
Author(s):  
Cunbin Li ◽  
Ding Liu ◽  
Yi Wang ◽  
Chunyan Liang
Keyword(s):  
Game Theory ◽  
Risk Management ◽  
Cooperative Game ◽  
Physical System ◽  
Cooperative Game Theory ◽  
Power Grid ◽  
Management Model ◽  
Cyber Physical System ◽  
Model Based ◽  
Generation Power

AbstractAdvanced grid technology represented by smart grid and energy internet is the core feature of the next-generation power grid. The next-generation power grid will be a large-scale cyber-physical system (CPS), which will have a higher level of risk management due to its flexibility in sensing and control. This paper explains the methods and results of a study on grid CPS’s behavior after risk. Firstly, a behavior model based on hybrid automata is built to simulate grid CPS’s risk decisions. Then, a GCPS risk transfer model based on cooperative game theory is built. The model allows decisions to ignore complex network structures. On this basis, a modified applicant-proposing algorithm to achieve risk optimum is proposed. The risk management model proposed in this paper can provide references for power generation and transmission decision after risk as well as risk aversion, an empirical study in north China verifies its validity.

Sign in / Sign up

Export Citation Format

Share Document