Modelling and Verification of Relay Interlocking Systems-Reference-Cited by-同舟云学术

Modelling and Verification of Relay Interlocking Systems

Published:2010 Issue: Volume: Page:141-153
ISSN:0302-9743
Container-title:Foundations of Computer Software. Future Trends and Techniques for Development
language:
Short-container-title:

Author:

Haxthausen Anne E.,Le Bliguet Marie,Kjær Andreas A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-12566-9_8

Reference13 articles.

1. Symbolic Analysis Laboratory, SAL (2001), http://sal.csl.sri.com

2. Bjørner, D.: New Results and Current Trends in Formal Techniques for the Development of Software for Transportation Systems. In: Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003), Budapest/Hungary, May 15-16. L’Harmattan Hongrie (2003)

3. Le Bliguet, M., Kjær, A.A.: Modelling Interlocking Systems for Railway Stations. Technical Report IMM-M.Sc.-2008-68, Informatics and Mathematical Modelling, Technical University of Denmark, Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby, Master thesis supervised by Anne Haxthausen (2008)

4. de Moura, L., Owre, S., Shankar, N.: The SAL Language Manual. Technical Report SRI-CSL-01-02, SRI International (2003), http://sal.csl.sri.com

5. Lecture Notes in Computer Science,2004

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools;Lecture Notes in Computer Science;2024

2. CSP Specification and Verification of a Relay-Based Railway Interlocking System;Lecture Notes in Computer Science;2023-12-02

3. Compositional Verification of Railway Interlocking Systems;Formal Aspects of Computing;2023-01-12

4. Stepwise development and model checking of adistributed interlocking system using RAISE;Formal Aspects of Computing;2021-01

5. B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2019