LCS Publication Details
Publication Title: THE GENERALIZED RAILROAD CROSSING: A CASE STUDY IN FORMALl VERIFICATION OF REAL-TIME SYSTEM
Publication Author: Heitmeyer, Constance
Additional Authors: Nancy Lynch
LCS Document Number: MIT-LCS-TM-511
Publication Date: 11-1-1994
LCS Group: Theory of Computation
Additional URL: No URL Given
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.
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.