Abstract
Railway transportation systems incorporate many safety critical systems such as signalization systems. Any possible failure within the scope of these safety critical systems can seriously damage nature and lead to human losses. Therefore design, development and implementation of appropriate products have been raised to a certain quality with sector specific standards like EN 50126. Interlocking system is one of the most important and essential product in railway transportation systems. In this paper a new methodology for automatic formal modelling and verification of railway interlocking systems is introduced. Also the developed software automatically generates the formal models of the interlocking system through a visual interface.
Keywords
Interlocking
Scope (computer science)
Computer science
Formal methods
Quality (philosophy)
Life-critical system
Product (mathematics)
Interface (matter)
Reliability engineering
Systems engineering
Risk analysis (engineering)
Software
Engineering
Software engineering
Programming language
Subject Areas
Model-Driven Software Engineering Techniques
·Software ·Physical Sciences
Software Engineering and Design Patterns
·Development ·Social Sciences
Advanced Software Engineering Methodologies
·Artificial Intelligence ·Physical Sciences
Citations by Year
2018: 2
Loading…