A Formal Model of a Ravenscar-Compliant Run-Time Kernel and Application Code
1999 (English)Report (Other scientific)
The Ravenscar tasking profile for Ada95 has been designed to allow implementation of safety critical systems in Ada.
Ravenscar defines a tasking run-time system with deterministic behaviour and low complexity. We provide a formal model
Place, publisher, year, edition, pages
Dept. of Information Technology, Uppsala University , 1999.
, IT Technical Report 1999-002
IdentifiersURN: urn:nbn:se:uu:diva-40187OAI: oai:DiVA.org:uu-40187DiVA: diva2:68088