论文信息 - The ASTRAL Specifications of 8 Real-Time Systems

The ASTRAL Specifications of 8 Real-Time Systems

This report gives the ASTRAL specifications of 8 real-time systems. These systems include a bakery algorithm specification, a cruise control system, an elevator control system, an Olympic boxing scoring system, a phone system, a production cell, a railroad crossing system, and a stoplight control system.

Paul Z. Kolano

[1] Daniel P. Friedman,et al. Coordinated computing: tools and techniques for distributed software , 1984 .

[2] Paul Ward,et al. Structured Development for Real-Time Systems , 1986 .

[3] G. S. Graham. A New Solution of Dijkstra ' s Concurrent Programming Problem , 2022 .

[4] Leslie Lamport,et al. A new solution of Dijkstra's concurrent programming problem , 1974, Commun. ACM.

[5] Carlo Ghezzi,et al. Specification of Realtime Systems Using ASTRAL , 1997, IEEE Trans. Software Eng..

[6] Nancy A. Lynch,et al. The generalized railroad crossing: a case study in formal verification of real-time systems , 1994, 1994 Proceedings Real-Time Systems Symposium.

[7] Claus Lewerentz,et al. Formal Development of Reactive Systems: Case Study Production Cell , 1995 .