Model-Based Generation of Interlocking Controller Software from Control Tables-Reference-Cited by-同舟云学术

Model-Based Generation of Interlocking Controller Software from Control Tables

Published: Issue: Volume: Page:349-360
ISSN:
Container-title:Model Driven Architecture – Foundations and Applications
language:
Short-container-title:

Author:

Chevillat Cédric,Carrington David,Strooper Paul,Süß Jörn Guy,Wildman Luke

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-69100-6_24.pdf

Reference12 articles.

1. Lecomte, T., Servat, T., Pouzancre, G.: Formal methods in safety-critical railway systems. In: Proc. Brazilian Symposium on Formal Methods: SMBF 2007 (2007)

2. Lecture Notes in Computer Science;P. Baker,2005

3. Bayley, C.: Modelling interlocking systems with UML. In: The IEE Seminar on Railway System Modelling - Not Just for Fun, September 30, 2004, pp. 8–18 (2004)

4. Petersen, J.L.: Automatic verification of railway interlocking systems: a case study. In: FMSP 1998: Proc. the second workshop on Formal methods in software practice, pp. 1–6. ACM, New York (1998)

5. Winter, K., Robinson, N.J.: Modelling large railway interlockings and model checking small ones. In: ACSC 2003: Proc. the 26th Australasian computer science conference, pp. 309–316. Australian Computer Society, Inc. (2003)

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

1. Model-Based Testing for Network Security Protocol for E-Banking Application;Advances in Intelligent Systems and Computing;2018

2. The Cybersecurity Landscape in Industrial Control Systems;Proceedings of the IEEE;2016-05

3. Experience using Coloured Petri Nets to Model Railway Interlocking Tables;Electronic Proceedings in Theoretical Computer Science;2014-07-08

4. Mίνθa;Railway Safety, Reliability, and Security;2012

5. Modelling Railway Interlocking Tables Using Coloured Petri Nets;Lecture Notes in Computer Science;2010