HRT-HOOD: A structured design method for hard real-time systems
- 1 January 1994
- journal article
- Published by Springer Nature in Real-Time Systems
- Vol. 6 (1) , 73-114
- https://doi.org/10.1007/bf01245300
Abstract
No abstract availableThis publication has 27 references indexed in Scilit:
- Deadline monotonic scheduling theory and applicationControl Engineering Practice, 1993
- Scheduling hard real-time systems: a reviewSoftware Engineering Journal, 1991
- A Framework for Building Dependable SystemsThe Computer Journal, 1991
- Development Methods for Real-Time SystemsThe Computer Journal, 1991
- Scheduling processes with release times, deadlines, precedence and exclusion relationsIEEE Transactions on Software Engineering, 1990
- Priority inheritance protocols: an approach to real-time synchronizationIEEE Transactions on Computers, 1990
- The real-time operating system of MARSACM SIGOPS Operating Systems Review, 1989
- The Mascot methodSoftware Engineering Journal, 1986
- Task allocation in fault-tolerant distributed systemsActa Informatica, 1983
- MonitorsCommunications of the ACM, 1974