The Ravenscar tasking profile for high integrity real-time programs
- 1 January 1998
- book chapter
- Published by Springer Science and Business Media LLC
- p. 263-275
- https://doi.org/10.1007/bfb0055011
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Restricted tasking modelsACM SIGAda Ada Letters, 1997
- T-SMART---task-safe, minimal Ada realtime toolsetACM SIGAda Ada Letters, 1997
- Combining static worst-case timing analysis and program proofReal-Time Systems, 1996
- Ada95: An effective concurrent programming languagePublished by Springer Science and Business Media LLC ,1996
- Engineering and analysis of fixed priority schedulersIEEE Transactions on Software Engineering, 1993
- A Practitioner’s Handbook for Real-Time AnalysisPublished by Springer Science and Business Media LLC ,1993