Cost enforcement in the real-time specification for Java
Real-Time Systems
StateML +: From Graphical State Machine Models to Thread-Safe Ada Code
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Distributed status monitoring and controlusing remote buffers and Ada 2005
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Incorporating operating modes to an ada real-time framework
ACM SIGAda Ada Letters
Generalizing the EDF scheduling support in Ada 2005
ACM SIGAda Ada Letters
Polynomial homotopies on multicore workstations
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation
Parallelism generics for Ada 2005 and beyond
Proceedings of the ACM SIGAda annual international conference on SIGAda
Labelled transition system generation from Alvis language
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Stack safe parallel recursion with paraffin
SIGAda '11 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Adding multiprocessor and mode change support to the Ada real-time framework
ACM SIGAda Ada Letters
Safety-critical Java programs from Circus models
Real-Time Systems
Execution time timers for interrupt handling
ACM SIGAda Ada Letters
An extended ravenscar profile for execution time control
ACM SIGAda Ada Letters
Hi-index | 0.00 |
Ada is the only ISO-standard, object-oriented, concurrent, real-time programming language. It is intended for use in large, long-lived applications where reliability and efficiency are essential, particularly real-time and embedded systems. In this book, Alan Burns and Andy Wellings give a thorough, self-contained account of how the Ada tasking model can be used to construct a wide range of concurrent and real-time systems. This is the only book that focuses on an in-depth discussion of the Ada tasking model. Following on from the authors' earlier title Concurrency in Ada, this book brings the discussion up to date to include the new Ada 2005 language and the recent advances in real-time programming techniques. It will be of value to software professionals and advanced students of programming alike: indeed every Ada programmer will find it essential reading and a primary reference work that will sit alongside the language reference manual.