scholarly journals Study on Formal Modeling and Safety Verification of Train-to-Train Communication

2018 ◽  
Vol 2018 ◽  
pp. 1-9
Author(s):  
Haonan Feng
Keyword(s):  
Transition System ◽  
Research Trend ◽  
Safety Properties ◽  
Safety Verification ◽  
Critical System ◽  
Real Time System ◽  
Vehicle Communication ◽  
Train Control ◽  
Safety Critical System ◽  
Labelled Transition System

VBTC (vehicle-to-vehicle communication based train control) has gradually become an important research trend in the field of rail transit. This has resulted in advantages of decreasing the number of pieces of wayside equipment and improving the efficiency of real-time system communication. Characteristics and mechanism of train-to-train communication, as key implementation technology of safety critical system, are given and discussed. A new method, based on the LTS (labelled transition system) model checking, is proposed for verifying the safety properties in the communication procedure. The LTS method is adapted to model system behaviours; analysis and safety verification are checked by means of LTSA (labelled transition system analyzer) software. The results show that it is an efficient method to verify safety properties, as well as to assist the complex system’s design and development.

scholarly journals Modeling and verification of train departure scenario for next generation train control system

2021 ◽  
Vol 336 ◽  
pp. 02008
Author(s):  
Lina Yang ◽  
Zhongtian Liu
Keyword(s):  
Control System ◽  
System Structure ◽  
Next Generation ◽  
Critical System ◽  
Train Control ◽  
Safety Critical System ◽  
Train Control System ◽  
Information Interaction ◽  
Verification Methods ◽  
Property Losses

As a complex and safety-critical system, any failure in the Next Generation Train Control System (NGTC) departure scenario may cause serious personal injuries and property losses. It is very necessary to study NGTC scenario scheme and effective modeling and verification methods. This paper investigates the key technologies of the NGTC, optimizes the system structure and redistribution functions, and proposes the train control system scheme and typical operating scenarios. Firstly, the structure, equipment function and information interaction of NGTC are analyzed, and the operation scenarios of the system scheme are designed. This paper also uses UML language to describe the train departure scenario, and uses NuSMV modeling to verify accessibility and certainty of the scenario scheme. The results show that, the scheme proposed in this paper provides a reference for the design and implementation of the NGTC.

Safety Requirements Model-Based Safety Test Automation of Train Control System of High Speed Railway in China

2010 ◽  
Vol 29-32 ◽  
pp. 2768-2774
Author(s):  
Gang Yu ◽  
Zhong Wei Xu
Keyword(s):  
Control System ◽  
Automatic Testing ◽  
Test Automation ◽  
Critical System ◽  
Safety Requirements ◽  
Safety Critical ◽  
Train Control ◽  
Safety Critical System ◽  
Safety Test ◽  
Train Control System

Train control system is a safety-critical system, which requires a thorough safety testing before they are deployed. But the traditional technology of test automation is not sound for safety test of safety-critical software system because of its just aiming at the system functional requirements. Focusing on the safety requirements, this paper addresses a new method to perform safety test of safety-critical system based on safety requirement by using model-based test. The method presents safety automata to express safety properties in term of safety requirements and extract safety model from the safety requirements. It also provides a new technique for automatic generation of safety test case suite. By using the method, we have designed an automatic testing framework and developed an automatic testing platform, which has been applied to standard testing the product of train control system in term of the requirements of Ministry of railways in china, and implement effectively the functional and safety test of the product of train control system in china.

scholarly journals Fault Tolerant Dynamic Scheduling on Real Time Hierarchical System: Proposals for Fault Tolerant Mechanism on Safety-Critical System

2018 ◽  
Vol 7 (4.44) ◽  
pp. 99 ◽  
Author(s):  
Catur Wirawan Wijiutomo ◽  
Bambang Riyanto Trilaksono ◽  
Achmad Imam Kistijantoro
Keyword(s):  
Real Time ◽  
Dynamic Scheduling ◽  
Fault Tolerant ◽  
Fault Isolation ◽  
Hierarchical System ◽  
Hierarchical Systems ◽  
Critical System ◽  
Real Time System ◽  
Safety Critical System ◽  
Integrated Architecture

The paradigm changes from federated architecture to integrated architecture in the real time system introduces a partitioned system to ensure fault isolation and for scheduling the hierarchy scheduling at the global level between partition and local in partition. Integrated architecture based on partitioned system with hierarchical scheduling is referred as real time hierarchical system which is a solution to increase efficiency in terms of hardware cost and size. This approach increasing the complexity of the integration process including the handling of faults. In this paper the authors describe a proposal with three components for dealing with fault tolerant in real time hierarchical systems by handling fault in task level, partition level and distributed level. The contribution of this proposal is the mechanism for building fault tolerant system on real time hierarchical system.   

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