The ASTRAL Specifications of 8 Real-Time Systems

Report ID

1999-08

Report Authors

Paul Z. Kolano

Report Date

1999-03-01

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.

Document

1999-08.ps2.43 MB