The generalized railroad crossing: a case study in formal verification of real-time systems
1994pp. 120–131
Citations Over TimeTop 1% of 1994 papers
Abstract
A new solution to the generalized railroad crossing problem, based on timed automata, invariants and simulation mappings, is presented and evaluated. The solution shows formally the correspondence between four system descriptions: an axiomatic specification, an operational specification, a discrete system implementation, and a system implementation that works with a continuous gate model.>
Related Papers
- → What does industry need from formal specification techniques?(2002)17 cited
- → Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study(2006)22 cited
- → Analysis of the Formal Specification Application for Train Control Systems(2009)5 cited
- → Formal requirements specification in safety-critical railway signaling system(2009)6 cited
- Z와 Statechart에 의한 열차제어시스템 바이탈 소프트웨어 개발 방법 분석(2008)