Open AccessA Survey on Formal Specification and Verification of Smart Mass Transit Railway Interlocking System
Author(s) -
Lokanna Kadakolmath,
Umesh D. Ramu
Publication year - 2021
Publication title -
international journal of safety and security engineering
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.202
H-Index - 10
eISSN - 2041-904X
pISSN - 2041-9031
DOI - 10.18280/ijsse.110607
Subject(s) - interlocking , reliability (semiconductor) , computer science , reliability engineering , rail transit , software , transport engineering , metropolitan area , engineering , medicine , power (physics) , physics , pathology , quantum mechanics , programming language
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.