Article

Hierarchical scheduling with ada 2005

Authors:

José A. Pulido,

Santiago Urueña,

Tullio Vardanega,

Juan A. de la PuenteAuthors Info & Claims

Ada-Europe'06: Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies

Pages 1 - 12

https://doi.org/10.1007/11767077_1

Published: 05 June 2006 Publication History

Abstract

Hierarchical scheduling is a basic technique to achieve temporal isolation between applications in high-integrity systems when an integrated approach is opted for over traditional federation. While comparatively heavyweight approaches to hierarchical scheduling have been prevailing until now, the new scheduling features of Ada 2005 enable lighter-weight techniques to be used. This will expectedly result in increasing the efficiency and flexibility of hierarchical scheduling, thus enabling new ways to developing critical applications in Ada. The paper explores the new opportunities opened by Ada 2005 and proposes some concrete techniques for implementing hierarchical scheduling in the new version of the language.

References

[1]

ISO/IEC: TR 15942:2000 -- Guide for the use of the Ada programming language in high integrity systems. (2000).

[2]

Vardanega, T.: Development of on-board embedded real-time systems: An engineering approach. Technical Report ESA STR-260, European Space Agency (1999) ISBN 90-9092-334-2.

[3]

ARINC: Avionics Application Software Standard Interface-- ARINC Specification 653-1. (2003).

[4]

Tokar, J.L.: Space & time partitioning with ARINC 653 and pragma profile. Ada Letters XXIII (2003) 52-54. Proceedings of the 12th International Real-Time Ada Workshop (IRTAW 12).

Digital Library

[5]

Dobbing, B.: Building partitioned architectures based on the Ravenscar profile. Ada Lett. XX (2000) 29-31.

Digital Library

[6]

Davis, R., Burns, A.: Hierarchical fixed priority pre-emptive scheduling. Technical Report YCS-2005-385, University of York (2005).

[7]

Sha, L., Lehoczky, J., Rajkumar, R.: Solutions for some practical problems in prioritized preemptive scheduling. In: IEEE Real-Time Systems Symposium, IEEE Computer Society Press (1986).

[8]

Strosnider, J., Lehoczky, J., Sha, L.: The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments. IEEE Tr. on Computers 44 (1995).

Digital Library

[9]

Sprunt, B., Sha, L., Lehoczky, J.: Aperiodic task scheduling for hard real-time systems. Real-Time Systems 1 (1989).

[10]

ISO SC22/WG9: Ada Reference Manual. Language and Standard Libraries. Consolidated Standard ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1 (Draft 15). (2005) Available on http://www.adaic.com/standards/rm-amend/html/RM-TTL.html.

[11]

Baker, T.P.: Stack-based scheduling for realtime processes. Real-Time Systems 3 (1991) 67-99.

Digital Library

[12]

Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar profile in high integrity systems. Technical Report YCS-2003-348, University of York (2003).

[13]

Liu, C., Layland, J.: Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM 20 (1973).

Digital Library

[14]

Leung, J., Whitehead, J.: On the complexity of fixed-priority scheduling of periodic real-time tasks. Performance Evaluation 2 (1982).

[15]

Audsley, N., Burns, A., Richardson, M., Tindell, K., Wellings, A.: Applying new scheduling theory to static priority preemptive scheduling. Software Engineering Journal 8 (1993).

[16]

Klein, M.H., Ralya, T., Pollack, B., Obenza, R., González-Harbour, M.: A Practitioner's Handbook for Real-Time Analysis. Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, Boston (1993).

Digital Library

[17]

Audsley, N., Burns, A., Richardson, M., Wellings, A.: Hard real-time scheduling: The deadline-monotonic approach. In Halang, W.A., Ramamrithan, K., eds.: Real Time Programming 1991. Proceedings of the IFAC/IFIP Workshop, Pergamon Press (1992).

[18]

Sha, L., Tarek Abdelzaher, Karl-Erik Årzén, Cervin, A., Baker, T., Alan Burns, Giorgio Buttazzo, Marco Caccamo, John Lehoczky, Mok, A.: Real time scheduling theory: A historical perspective. Real-Time Systems 28 (2004) 101-155.

Digital Library

[19]

Baruah, S.K., Rosier, L.E., Howell, R.R.: Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. Real-Time Syst. 2 (1990) 301-324.

Digital Library

[20]

Spuri, M., Buttazzo, G.C.: Efficient aperiodic service under earliest deadline scheduling. In: IEEE Real-Time Systems Symposium. (1994).

[21]

Spuri, M.: Analysis of deadline scheduled real-time systems. Technical Report RR-2772, INRIA, France (1996).

[22]

Shin, I., Lee, I.: Periodic resource model for compositional real-time guarantees. In: Proceedings of the 24th IEEE Real-Time Systems Symposium. (2003).

Digital Library

[23]

González-Harbour, M., Palencia, J.C.: Response time analysis for tasks scheduled under EDF within fixed priorities. In: Proceedings of the 24th IEEE Real-Time Systems Symposium, Cancún, México (2003).

Digital Library

[24]

Amey, P., Chapman, R.,White, N.: Smart certification of mixed criticality systems. In Vardanega, T., Wellings, A., eds.: Reliable Software Technologies - Ada-Europe 2005. Volume 3555 of LNCS., Springer-Verlag (2005) 144-155.

Digital Library

Cited By

Zamorano Jde la Puente J(2013)On real-time partitioned multicore systemsACM SIGAda Ada Letters10.1145/2552999.255300333:2(33-39)Online publication date: 8-Nov-2013
https://dl.acm.org/doi/10.1145/2552999.2553003
Zamorano JEsquinas Ade la Puente J(2013)Ada real-time services and virtualizationACM SIGAda Ada Letters10.1145/2492312.249232533:1(128-133)Online publication date: 11-Jun-2013
https://dl.acm.org/doi/10.1145/2492312.2492325
Esquinas ÁZamorano JDe la Puente JMasmano MRipoll ICrespo A(2011)ORK+/XtratuMProceedings of the 16th Ada-Europe international conference on Reliable software technologies10.5555/2018027.2018044(160-173)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.5555/2018027.2018044
Show More Cited By

Hierarchical scheduling with ada 2005
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
2. Theory of computation
  1. Design and analysis of algorithms
    1. Approximation algorithms analysis
  2. Theory and algorithms for application domains
    1. Machine learning theory
      1. Reinforcement learning

Recommendations

Application-defined scheduling in Ada
IRTAW '03: Proceedings of the 12th international workshop on Real-time Ada

This paper is a proposal for an application program interface (API) that would enable Ada applications to use application-defined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems Annex. With this API, ...
Application-defined scheduling in Ada

This paper is a proposal for an application program interface (API) that would enable Ada applications to use application-defined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems Annex. With this API, ...
Application-defined scheduling in Ada
IRTAW '02: Proceedings of the 11th international workshop on Real-time Ada workshop

This paper presents an application program interface (API) that enables Ada applications to use application-defined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems Annex. Several application-defined ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

Ada-Europe'06: Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies

June 2006

241 pages

ISBN:3540346635

Editors:
Luís Miguel Pinho
Polytechnic Institute of Porto, Porto, Portugal
,
Michael González Harbour
Departamento de Electrónica y Computadores, Universidad de Cantabria, Porto, Santander, SPAIN

Sponsors

Ada-Europe: Ada-Europe

In-Cooperation

SIGAda: ACM Special Interest Group on Ada Programming Language

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 05 June 2006

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Zamorano Jde la Puente J(2013)On real-time partitioned multicore systemsACM SIGAda Ada Letters10.1145/2552999.255300333:2(33-39)Online publication date: 8-Nov-2013
https://dl.acm.org/doi/10.1145/2552999.2553003
Zamorano JEsquinas Ade la Puente J(2013)Ada real-time services and virtualizationACM SIGAda Ada Letters10.1145/2492312.249232533:1(128-133)Online publication date: 11-Jun-2013
https://dl.acm.org/doi/10.1145/2492312.2492325
Esquinas ÁZamorano JDe la Puente JMasmano MRipoll ICrespo A(2011)ORK+/XtratuMProceedings of the 16th Ada-Europe international conference on Reliable software technologies10.5555/2018027.2018044(160-173)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.5555/2018027.2018044
Mezzetti EPanunzio MVardanega T(2010)Temporal isolation with the ravenscar profile and Ada 2005ACM SIGAda Ada Letters10.1145/1806546.180655130:1(45-55)Online publication date: 27-May-2010
https://dl.acm.org/doi/10.1145/1806546.1806551
Panunzio MVardanega T(2007)A metamodel-driven process featuring advanced model-based timing analysisProceedings of the 12th international conference on Reliable software technologies10.5555/1769168.1769178(128-141)Online publication date: 25-Jun-2007
https://dl.acm.org/doi/10.5555/1769168.1769178
Pulido JUrueña SZamorano Jde la Puente J(2007)Handling temporal faults in Ada 2005Proceedings of the 12th international conference on Reliable software technologies10.5555/1769168.1769170(15-28)Online publication date: 25-Jun-2007
https://dl.acm.org/doi/10.5555/1769168.1769170
Urueña SPulido JRedondo JZamorano Jde la Puente J(2007)Implementing the new Ada 2005 real-time features on a bare board kernelProceedings of the 13th international workshop on Real-time Ada10.1145/1316003.1316016(61-66)Online publication date: 17-Apr-2007
https://dl.acm.org/doi/10.1145/1316003.1316016
Urueña SPulido JRedondo JZamorano J(2007)Implementing the new Ada 2005 real-time features on a bare board kernelACM SIGAda Ada Letters10.1145/1316002.1316016XXVII:2(61-66)Online publication date: 17-Apr-2007
https://dl.acm.org/doi/10.1145/1316002.1316016
Singhoff FPlantec A(2007)AADL modeling and analysis of hierarchical schedulersACM SIGAda Ada Letters10.1145/1315607.1315593XXVII:3(41-50)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.1145/1315607.1315593
Singhoff FPlantec ASrivastava ABaird L(2007)AADL modeling and analysis of hierarchical schedulersProceedings of the 2007 ACM international conference on SIGAda annual international conference10.1145/1315580.1315593(41-50)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.1145/1315580.1315593

View Options

View options

Media

Figures

Other

Tables

View Table of Contents