Tasking profiles (session summary)
Alan Burns, Ted Baker, Tullio Vardenaga · ACM SIGAda Ada Letters · 1997
The objective of this session was to identify one or more restricted tasking profiles that would satisfy the certification requirements of high-integrity (safety-critical) real-time systems. Such a profile would also be likely to offer improved performance. Consideration was not given to the sequential parts of the language as they are being addressed by the HRG (annex H Rapporteur Group).