Authors
Heitmeyer, Lynch
Publication date
1994/12/7
Journal
1994 Proceedings Real-Time Systems Symposium
Pages
120-131
Publisher
IEEE
Description
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.< >
Total citations
Scholar articles
Heitmeyer, Lynch - 1994 Proceedings Real-Time Systems Symposium, 1994