Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems

Tasuku Ishigooka; Habib Saissi; Thorsten Piper; Stefan Winter; Neeraj Suri

doi:10.2197/ipsjjip.25.797

Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems

Journal of Information Processing ◽

10.2197/ipsjjip.25.797 ◽

2017 ◽

Vol 25 (0) ◽

pp. 797-810 ◽

Cited By ~ 1

Author(s):

Tasuku Ishigooka ◽

Habib Saissi ◽

Thorsten Piper ◽

Stefan Winter ◽

Neeraj Suri

Keyword(s):

Cyber Physical Systems ◽

Safety Verification ◽

Physical Systems ◽

Safety Critical ◽

Model Based

Download Full-text

Realization of a Model-Based DevOps Process for Industrial Safety Critical Cyber Physical Systems

2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS) ◽

10.1109/icps49255.2021.9468213 ◽

2021 ◽

Author(s):

Smitha Gautham ◽

Athira Varma Jayakumar ◽

Abhi Rajagopala ◽

Carl Elks

Keyword(s):

Cyber Physical Systems ◽

Industrial Safety ◽

Physical Systems ◽

Safety Critical ◽

Model Based

Download Full-text

Model-Based Software Synthesis for Safety-Critical Cyber-Physical Systems

Safe, Autonomous and Intelligent Vehicles - Unmanned System Technologies ◽

10.1007/978-3-319-97301-2_9 ◽

2018 ◽

pp. 163-186 ◽

Cited By ~ 1

Author(s):

Bowen Zheng ◽

Hengyi Liang ◽

Zhilu Wang ◽

Qi Zhu

Keyword(s):

Cyber Physical Systems ◽

Software Synthesis ◽

Physical Systems ◽

Safety Critical ◽

Model Based

Download Full-text

ReLUSyn: Synthesizing stealthy attacks for deep neural network-based safety-critical cyber-physical systems

Proceedings of the 35th Annual ACM Symposium on Applied Computing ◽

10.1145/3341105.3374221 ◽

2020 ◽

Author(s):

Aarti Kashyap

Keyword(s):

Neural Network ◽

Deep Neural Network ◽

Cyber Physical Systems ◽

Physical Systems ◽

Safety Critical ◽

Stealthy Attacks

Download Full-text

Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems

2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS) ◽

10.1109/icps48405.2020.9274758 ◽

2020 ◽

Author(s):

Ayan Banerjee ◽

Imane Lamrani ◽

Sandeep K.S. Gupta

Keyword(s):

Linear Analysis ◽

Cyber Physical Systems ◽

Safety Verification ◽

Physical Systems ◽

Operational Safety ◽

Non Linear

Download Full-text

Model Based Energy Consumption Analysis of Wireless Cyber Physical Systems

Journal of Signal Processing Systems ◽

10.1007/s11265-017-1306-y ◽

2017 ◽

Vol 90 (8-9) ◽

pp. 1191-1204 ◽

Cited By ~ 1

Author(s):

Ping Wang ◽

Jing Liu ◽

Jinlong Lin ◽

Chao-Hsien Chu

Keyword(s):

Energy Consumption ◽

Cyber Physical Systems ◽

Physical Systems ◽

Model Based ◽

Energy Consumption Analysis

Download Full-text

V-model based development of cyber-physical systems and cyber-physical production systems

Procedia CIRP ◽

10.1016/j.procir.2021.05.119 ◽

2021 ◽

Vol 100 ◽

pp. 253-258

Author(s):

Iris Gräßler ◽

Dominik Wiechel ◽

Daniel Roesmann ◽

Henrik Thiele

Keyword(s):

Production Systems ◽

Cyber Physical Systems ◽

Physical Systems ◽

Model Based ◽

Cyber Physical Production Systems

Download Full-text

The Internet of Simulation: Enabling agile model based systems engineering for cyber-physical systems

2017 12th System of Systems Engineering Conference (SoSE) ◽

10.1109/sysose.2017.7994948 ◽

2017 ◽

Cited By ~ 3

Author(s):

S. J. Clement ◽

D. W. McKee ◽

Richard Romano ◽

Jie Xu ◽

J.M. Lopez ◽

...

Keyword(s):

Systems Engineering ◽

Cyber Physical Systems ◽

The Internet ◽

Physical Systems ◽

Model Based ◽

Agile Model ◽

Model Based Systems Engineering

Download Full-text

Step-based evolution support among networked production automation systems

at - Automatisierungstechnik ◽

10.1515/auto-2018-0047 ◽

2018 ◽

Vol 66 (10) ◽

pp. 849-858

Author(s):

Christopher Haubeck ◽

Heiko Bornholdt ◽

Winfried Lamersdorf ◽

Abhishek Chakraborty ◽

Alexander Fay

Keyword(s):

Production Systems ◽

Cyber Physical Systems ◽

Peer To Peer ◽

Evolution Process ◽

Physical Systems ◽

Model Based ◽

Automation Systems ◽

Production Automation ◽

Isolated Systems

Abstract Production systems are no longer rigid, unyielding, and isolated systems anymore. They are rather interconnected cyber-physical systems with an evolution process that needs to be supported. To enable reusability in evolution, a change-first cooperative support is proposed that relies on model-based evolution steps. The approach establishes a network-wide evolution process in a peer-to-peer networked community. Thus, moving towards decentralised marketplaces for evolution steps.

Download Full-text