scholarly journals Rigorous development process of a safety-critical system: from ASM models to Java code

2015 ◽  
Vol 19 (2) ◽  
pp. 247-269 ◽  
Author(s):  
Paolo Arcaini ◽  
Angelo Gargantini ◽  
Elvinia Riccobene
Keyword(s):  
Development Process ◽  
Critical System ◽  
Safety Critical ◽  
Safety Critical System ◽  
Java Code

scholarly journals Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report.

2019 ◽  
Vol 18 (2) ◽  
pp. 1:1 ◽  
Author(s):  
Romina Eramo ◽  
Florent Marchand de Kerchove ◽  
Maximilien Colange ◽  
Michele Tucci ◽  
Julien Ouy ◽  
...  
Keyword(s):  
System Development ◽  
Experience Report ◽  
Critical System ◽  
Safety Critical ◽  
Model Driven ◽  
Safety Critical System

scholarly journals Survivability of Ships at Sea: A Proposed Model to Account for Human Factors in a Safety-Critical System

2014 ◽  
Vol 156 (A2) ◽  
Keyword(s):  
Mathematical Model ◽  
Human Factors ◽  
Critical Incident ◽  
Emergency Situation ◽  
Probability Of Failure ◽  
Critical System ◽  
Safety Critical ◽  
Safety Critical System ◽  
Proposed Model ◽  
Hardware Reliability

Most serious accidents at sea are caused by minor incidents that escalated into an uncontrolled situation. This study is aiming to develop a model to investigate the likelihood of fatal accidents, given that a critical incident has already occurred. The focus of the study is on human behaviour, adopting a hardware reliability perspective. The vessel is considered as a safety-critical system to be protected by several barriers. The crew role is modelled as active barriers and distinguishing between different functions: perception, decision and action. A Markov approach is proposed to model different situations on the vessel. A mathematical model to estimate the probability of failure in an emergency situation is formulated. A new parameter is defined for the survivability of a vessel, given that a critical incident has taken place. The methods were applied to examine ship-platform collisions cases and the results show strong benefits for diagnosing and evaluating accidents from a human factors perspective as well as for training purposes.

Sign in / Sign up

Export Citation Format

Share Document