Safety checking in an automatic train operation system-Reference-Cited by-同舟云学术

Safety checking in an automatic train operation system

Published:2001-04 Issue:5 Volume:43 Page:325-338
ISSN:0950-5849
Container-title:Information and Software Technology
language:en
Short-container-title:Information and Software Technology

Author:

Palshikar G.K.

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Software

Reference17 articles.

1. Case study: formal verification of a computerized railway interlocking;Boraiv;Formal Aspects Comput.,1998

2. Formal verification of a railway interlocking system using model checking;Cimatti;Formal Aspects Comput.,1998

3. Experiences using lightweight formal methods in requirements modeling;Esterbrook;IEEE Trans. Soft. Engng,1998

4. G. Guiho, C. Hennebert, SACEM software validation, Proceedings of the 12th International Conference on Software Engineering, IEEE CS Press/ACM Press, New York, 1990, pp. 186–191.

5. K.M. Hansen, Linking Safety Analysis to Software Requirements: Exemplified by Railway Interlocking Systems, PhD thesis, Institut for Informationteknologi, Denmarks Tekniske Universite, IT-TR-002, August 1996.

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

1. Smart Train Detector using IoT Approach;2019 9th International Conference on Cloud Computing, Data Science & Engineering (Confluence);2019-01

2. Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks;IEEE Transactions on Parallel and Distributed Systems;2015-08-01

3. Verification and Implementation of the Protocol Standard in Train Control System;2013 IEEE 37th Annual Computer Software and Applications Conference;2013-07

4. Verification of the safety communication protocol in train control system using colored Petri net;Reliability Engineering & System Safety;2012-04

5. Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?;Formal Methods and Software Engineering;2003