Automated Generation of Safety Requirements from Railway Interlocking Tables-Reference-Cited by-同舟云学术

Automated Generation of Safety Requirements from Railway Interlocking Tables

Published:2012 Issue: Volume: Page:261-275
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
language:
Short-container-title:

Author:

Haxthausen Anne E.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-34032-1_25.pdf

Reference18 articles.

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

2. Aanæs, M., Thai, H.P.: Modelling and Verification of Relay Interlocking Systems. Technical Report IMM-MSC-2012-14, DTU Informatics, Technical University of Denmark, Master thesis supervised by Anne Haxthausen, ah@imm.dtu.dk (2012)

3. 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)

4. Bliguet, M.L., Kjær, A.A.: Modelling Interlocking Systems for Railway Stations. Technical Report IMM-M.Sc.-2008-68, DTU Informatics, Technical University of Denmark, Master thesis supervised by Anne Haxthausen, ah@imm.dtu.dk (2008)

5. Cao, Y., Xu, T., Tang, T., Wang, H., Zhao, L.: Automatic Generation and Verification of Interlocking Tables Based on Domain Specific Language for Computer Based Interlocking Systems (DSL-CBI). In: Proceedings of the IEEE International Conference on Computer Science and Automation Engineering (CSAE 2011), pp. 511–515. IEEE (2011)

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

1. Automatic Generation of Route Control Chart From Validated Signal Interlocking Plan;IEEE Transactions on Intelligent Transportation Systems;2021-10

2. Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software;2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2021-10

3. Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System;Computer Algebra in Scientific Computing;2020

4. A New Algebraic Approach to Decision Making in a Railway Interlocking System Based on Preprocess;Mathematical Problems in Engineering;2018-10-01

5. Topology Based Automatic Formal Model Generation for Point Automation Systems;Information Technology And Control;2015-03-30