Accession Number : ADA290152

Title :   The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems.

Descriptive Note : Memorandum rept. Oct 92-Sep 94,

Corporate Author : NAVAL RESEARCH LAB WASHINGTON DC

Personal Author(s) : Heitmeyer, Constance ; Lynch, Nancy

PDF Url : ADA290152

Report Date : 31 DEC 1994

Pagination or Media Count : 47

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.

Descriptors :   *COMPUTER ARCHITECTURE, *AUTOMATA, RAILROADS, MODELS, REAL TIME, SPECIFICATIONS, GATES(CIRCUITS), SOLUTIONS(GENERAL), CASE STUDIES, COMPUTER PROGRAM VERIFICATION, CROSSINGS, MAPPING(TRANSFORMATIONS).

Subject Categories : Operations Research
      Cybernetics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE