Abstract
"Formal methods" denotes mathematical techniques making it possible to perform a formal mathematical proof of the compliance or noncompliance of a system to its specification. We discuss the views of the Swedish National Rail Administration on the use of formal methods to increase safety and reliability of safety-critical signalling systems. As a study, a formal requirements specification for interlockings has been developed, and an existing relay-based interlocking of a common design has been modelled and analysed. The analysis uncovered a safetycritical design error which had not been discovered using the traditional methods of quality assurance. Transactions on the Built Environment vol 34, © 1998 WIT Press, www.witpress.com, ISSN 1743-3509
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
