Abstract
The ASTRAL Specifications of 8 Real-Time Systems
by: Paul Z. Kolano
Abstract:
This report gives the ASTRAL specifications of 8 real-time systems. Thesesystems include a bakery algorithm specification, a cruise control system, anelevator control system, an Olympic boxing scoring system, a phone system, aproduction cell, a railroad crossing system, and a stoplight control system.
Keywords:
formal specification and verification, concurrent, reactive, andreal-time systems
Date:
March 1999
Document: 1999-08
