Safety Requirements Specification and Verification for Railway Interlocking Systems

2016 ◽  
Author(s):  
Li Han ◽  
Jing Liu ◽  
Tingliang Zhou ◽  
Junfeng Sun ◽  
Xiaohong Chen
Keyword(s):  
Requirements Specification ◽  
Safety Requirements ◽  
Specification And Verification

scholarly journals A Survey on Formal Specification and Verification of Smart Mass Transit Railway Interlocking System

2021 ◽  
Vol 11 (6) ◽  
pp. 671-682
Author(s):  
Lokanna Kadakolmath ◽  
Umesh D. Ramu
Keyword(s):  
Human Life ◽  
Mass Transit ◽  
Research Area ◽  
Requirements Specification ◽  
Urban Mobility ◽  
Functional Requirements ◽  
Catastrophic Loss ◽  
Specification And Verification ◽  
Active Research ◽  
Active Research Area

Nowadays interest in Smart Mass Transit Rail has grown-up to a large extent in a metropolitan area as the need for urban mobility has increased steadily. The reliability of software being used in such mass transit rail is crucial for us, specifically when software crashes may lead to catastrophic loss of human life and assets. For example, when we travel by metro it is essential for us that the interlocking system software controlling the metros are accurate so collisions and derailment are prevented. The reliability and safety of such interlocking systems are made on the precise functional requirements specification and verification respectively. Therefore, the precise functional requirements specification and verification of such interlocking systems represent a challenge in an active research area, so in this paper, we survey various articles in this field and discuss their consequences.

scholarly journals SARSSi*: a Safety Requirements Specification Method based on STAMP/STPA and i* language

2019 ◽  
Author(s):  
Jéssyka Vilela ◽  
Carla Silva ◽  
Jaelson Castro ◽  
Luiz Eduardo G. Martins ◽  
Tony Gorschek
Keyword(s):  
Hazard Analysis ◽  
Requirements Specification ◽  
Critical Systems ◽  
Safety Requirements ◽  
Safety Critical ◽  
Analysis Techniques ◽  
Specification Method ◽  
Systematic Identification ◽  
Initial Results

Context: traditional hazard analysis techniques were not proposed to be used in the Requirements Engineering (RE) process. Objective: The aim of this work is to present and discuss a new method for early safety requirements specification called SARSSi* to be used at the beginning of the development of safety-critical systems. Method: this goal is achieved through the combination of two techniques: (1) STAMP/STPA; and (2) i* language. Results: this paper attempts to bridge the gap between two parallel trends in systematic safety approaches – the combination of requirements and safety engineering techniques. Our method consists of six steps and guidelines to perform a preliminary hazard analysis and facilitate the systematic identification of safety-critical functions and components. Conclusions: We demonstrate the utility of our method by applying it in a real industry case study. The initial results show preliminary suitability of our method and its contribution to improving the visualization of the information generated in the hazard analysis such as the hazards, their causes, environmental conditions, and safety requirements.

Sign in / Sign up

Export Citation Format

Share Document