Reliability and performance analysis of safety-critical system using transformation of UML into state space models

2020 ◽  
Vol 146 ◽  
pp. 107628
Author(s):  
Mohan Rao Mamdikar ◽  
Vinay Kumar ◽  
Pooja Singh ◽  
Lalit Singh
Keyword(s):  
Performance Analysis ◽  
State Space ◽  
State Space Models ◽  
Critical System ◽  
Safety Critical ◽  
Safety Critical System ◽  
And Performance

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 Highly scalable intelligent sensory application and time domain matrix for safety-critical system design

2018 ◽  
Vol 14 (4) ◽  
pp. 155014771774110
Author(s):  
Taikyeong Ted Jeong
Keyword(s):  
Fault Detection ◽  
Detection Algorithm ◽  
Network Interface ◽  
Critical System ◽  
Communication Architecture ◽  
Interface Card ◽  
Safety Critical ◽  
Verification Methods ◽  
Communication Architectures ◽  
And Performance

The designs of highly scalable intelligent sensory application—Ethernet-based communication architectures—are moving toward the integration of a fault recovery and fault-detection algorithm on the automotive industry. In particular, each port on the same network interface card design is required to provide highly scalable and low-latency communication. In this article, we present a study of intelligent sensory application for the Ethernet-based communication architecture and performance of multi-port configuration which is mainly used in safety-enhanced application such as automotive, military, finance, and aerospace, in other words, safety-critical applications. Our contributions and observations on the highly scalable intelligent behavior: (1) proposed network interface card board design scheme and architecture with multi-port configuration are a stable network configuration; (2) timing matrix is defined for fault detection and recovery time; (3) experimental and related verification methods by cyclic redundancy check between client–server and testing platform provide comparable results to each port configurations; and (4) application program interface–level algorithm is defined to make network interface card ready for fault detection.

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