On synchronization in hard-real-time systems
- 1 March 1988
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 31 (3), 274-287
- https://doi.org/10.1145/42392.42397
Abstract
The design of software for hard-real-time systems is usually difficult to change because of the constraints imposed by the need to meet absolute real-time deadlines on processors with limited capacity. Nevertheless, a new approach involving a trio of ideas appears to be helpful for those who build software for such complex applications.This publication has 9 references indexed in Scilit:
- The Modular Structure of Complex SystemsIEEE Transactions on Software Engineering, 1985
- Using Documentation as a Software Design MediumBell System Technical Journal, 1981
- Specifying Software Requirements for Complex Systems: New Techniques and Their ApplicationIEEE Transactions on Software Engineering, 1980
- Synchronization with eventcounts and sequencersCommunications of the ACM, 1979
- Distributed processesCommunications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978
- MonitorsCommunications of the ACM, 1974
- The UNIX time-sharing systemCommunications of the ACM, 1974
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968