Code analysis of saftey-critical and real-time software using ASIS
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Industrial experience with SPARK
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
Implementing a New Low-Level Tasking Support for the GNAT Runtime System
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
A ``Bare-Machine'' Implementation of Ada Multi-tasking Beneath the Linux Kernel
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Transparent Environment for Replicated Ravenscar Applications
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Replication Management in Reliable Real-Time Systems
Real-Time Systems
Hi-index | 0.00 |
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).