A simulation platform for human-machine interaction safety analysis of cyber-physical systems

2018 ◽  
Vol 68 ◽  
pp. 89-100 ◽  
Author(s):  
Chin-Feng Fan ◽  
Ching-Chieh Chan ◽  
Hsiang-Yu Yu ◽  
Swu Yih
2020 ◽  
Vol 17 (8) ◽  
pp. 903-915
Author(s):  
Shahryar SOROOSHIAN ◽  
Shrikant PANIGRAHI

The leap of technology has led to a paradigm shift called the “industrial revolution”. Industry 4.0 is the fourth industrial revolution which implemented the philosophy of cyber-physical systems, internet and future-oriented technologies, and smart systems with promoted human-machine interaction paradigms. The emergence of Industry 4.0 was introduced to the world as a new trend to improve working surroundings in industries and solve the problems faced by the industries. There is a limited information about Industry 4.0 and not every person understands the real meaning of Industry 4.0. Thus, the objective of this review paper is to identify the possible impacts of Industry 4.0 on manufacturing industries which will encourage more organizations to adopt Industry 4.0.


Safety ◽  
2020 ◽  
Vol 6 (2) ◽  
pp. 26 ◽  
Author(s):  
Victor Bolbot ◽  
Gerasimos Theotokatos ◽  
Evangelos Boulougouris ◽  
George Psarros ◽  
Rainer Hamann

Cyber-Physical Systems (CPSs) represent a systems category developed and promoted in the maritime industry to automate functions and system operations. In this study, a novel Combinatorial Approach for Safety Analysis is presented, which addresses the traditional safety methods’ limitations by integrating System Theoretic Process Analysis (STPA), Events Sequence Identification (ETI) and Fault Tree Analysis (FTA). The developed method results in the development of a detailed Fault Tree that captures the effects of both the physical components/subsystems and the software functions’ failures. The quantitative step of the method employs the components’ failure rates to calculate the top event failure rate along with importance metrics for identifying the most critical components/functions. This method is implemented for an exhaust gas open loop scrubber system safety analysis to estimate its failure rate and identify critical failures considering the baseline system configuration as well as various alternatives with advanced functions for monitoring and diagnostics. The results demonstrate that configurations with SOx sensor continuous monitoring or scrubber unit failure diagnosis/prognosis lead to significantly lower failure rate. Based on the analysis results, the advantages/disadvantages of the novel method are also discussed. This study also provides insights for better safety analysis of the CPSs.


Author(s):  
Joe Singer ◽  
Thomas Roth ◽  
Chenli Wang ◽  
Cuong Nguyen ◽  
Hohyun Lee

This paper presents a co-simulation platform which combines a building simulation tool with a Cyber-Physical Systems (CPS) approach. Residential buildings have a great potential of energy reduction by controlling home equipment based on usage information. A CPS can eliminate unnecessary energy usage on a small, local scale by autonomously optimizing equipment activity, based on sensor measurements from the home. It can also allow peak shaving from the grid if a collection of homes are connected. However, lack of verification tools limits effective development of CPS products. The present work integrates EnergyPlus, which is a widely adopted building simulation tool, into an open-source development environment for CPS released by the National Institute of Standards and Technology (NIST). The NIST environment utilizes the IEEE High Level Architecture (HLA) standard for data exchange and logical timing control to integrate a suite of simulators into a common platform. A simple CPS model, which controls local HVAC temperature set-point based on environmental conditions, was tested with the developed co-simulation platform. The proposed platform can be expanded to integrate various simulation tools and various home simulations, thereby allowing for co-simulation of more intricate building energy systems.


Electronics ◽  
2019 ◽  
Vol 8 (2) ◽  
pp. 212 ◽  
Author(s):  
Xiaomin Wei ◽  
Yunwei Dong ◽  
Pengpeng Sun ◽  
Mingrui Xiao

As safety-critical systems, grid cyber-physical systems (GCPSs) are required to ensure the safety of power-related systems. However, in many cases, GCPSs may be subject to uncertain and nondeterministic environmental hazards, as well as the variable quality of devices. They can cause failures and hazards in the whole system and may jeopardize system safety. Thus, it necessitates safety analysis for system safety assurance. This paper proposes an architecture-level safety analysis approach for GCPSs applying the probabilistic model-checking of stochastic games. GCPSs are modeled using Architecture Analysis and Design Language (AADL). Random errors and failures of a GCPS and nondeterministic environment behaviors are explicitly described with AADL annexes. A GCPS AADL model including the environment can be regarded as a game. To transform AADL models to stochastic multi-player games (SMGs) models, model transformation rules are proposed and the completeness and consistency of rules are proved. Property formulae are formulated for formal verification of GCPS SMG models, so that occurrence probabilities of failed states and hazards can be obtained for system-level safety analysis. Finally, a modified IEEE 9-bus system with grid elements that are power management systems is modeled and analyzed using the proposed approach.


Author(s):  
Mohammad Ashraf Hossain Sadi ◽  
Mohd Hasan Ali ◽  
Dipankar Dasgupta ◽  
Robert K. Abercrombie ◽  
Shubhalaxmi Kher

Sign in / Sign up

Export Citation Format

Share Document