A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is
High-integrity systems rarely make use of high-level language features such as Ada tasking. In this paper, simple language profiles (of Ada 95 concurrency features) are developed that are appropriate for various levels of integrity. A level-0 model (collection of Ada95 features) defines a minimal language profile and delivers deterministic (nonpreemptive) behaviour. Scheduling is undertaken as part of the application and can thus be inspected and verified. Five other models are also presenteddoi:10.1145/271662.271679 fatcat:sojcgeh7a5e3tg3as6zfmk3hpy