Formal analysis of a real-time kernel specification
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 440-458
- https://doi.org/10.1007/3-540-61648-9_55
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Formal specification and verification of a real-time kernelPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Formal analysis of a real-time kernel specificationPublished by Springer Nature ,1996
- Applying new scheduling theory to static priority pre-emptive schedulingSoftware Engineering Journal, 1993
- Specifying a real-time kernelIEEE Software, 1990
- Priority inheritance protocols: an approach to real-time synchronizationIEEE Transactions on Computers, 1990
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973