Abstract
Whilst Ada 2005 provides extensive support for the creation of real-time systems in general, and high-integrity ones in particular, there are a number of areas where the language could be both strengthened and made more flexible. This paper discusses a number of such areas, including scheduling approaches and the management of sporadic tasks. Following on from these, some small additions to the language are proposed with the goal of facilitating the wider adoption of certain approaches -- namely non-preemptive and earliest deadline first dispatching. The paper also considers, more generally, the possible development of the language to address the issues inherent in emerging processing platforms, specifically "multi-core" devices.
- Information technology -- Programming languages -- guide for the use of the ada Ravenscar profile in high integrity systems. Technical Report TR24718:2005, ISO/IEC.Google Scholar
- H. R. Simpson. Four-slot fully asynchronous communication mechanism. IEE Proceedings, 1990.Google Scholar
Cross Ref
- S. Tucker Taft and Robert A. Duff, editors. Ada 95 Reference Manual. Language and Standard Libraries, International Standard ISO/IEC 8652:1995(E). Springer-Verlag, 1997.Google Scholar
- S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, and Pascal Leroy, editors. Ada 2005 Reference Manual. Language and Standard Libraries, International Standard ISO/IEC8652:1995(E) with Technical Corrigendum 1 and Amendment 1. Springer, 2006. Google Scholar
Digital Library
Recommendations
Dynamic, capability-driven scheduling of DAG-based real-time jobs in heterogeneous clusters
In this research a scenario is assumed where periodic real-time jobs are being run on a heterogeneous cluster of computers and new aperiodic parallel real-time jobs, modelled by directed acyclic graphs, arrive at the system dynamically. In the ...
Flexible tardiness bounds for sporadic real-time task systems on multiprocessors
IPDPS'06: Proceedings of the 20th international conference on Parallel and distributed processingThe earliest-deadline-first (EDF) scheduling of a sporadic real-time task system on a multiprocessor may require that the total utilization of the task system, Usum, not exceed (m+1)/2 on m processors if every deadline needs to be met. In recent work, ...






Comments