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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 31, 1994
Accession Number
ADA290152

Entities

People

  • Constance Heitmeyer
  • Nancy Lynch

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • C4I
  • Sensors

DTIC Thesaurus Topics

  • Automata
  • Case Studies
  • Classification
  • Computer Science
  • Computers
  • Crossings
  • Engineering
  • Engineers
  • Military Research
  • National Security
  • Railroads
  • Security
  • Simulations
  • Software Development
  • Specifications
  • Standards
  • Verification

Fields of Study

  • Engineering

Readers

  • Database Systems and Applications
  • Logistics and Supply Chain Management.
  • Mathematical Modeling and Probability Theory.