skip to main content
column

The Deadline Floor Protocol and Ada

Published:13 July 2016Publication History
Skip Abstract Section

Abstract

This short paper summarises the current status of the proposal to incorporate the Deadline Floor Protocol into the Ada Real-Time Annex. A Draft Ada Issue is given to help focus the discussion at the workshop.

References

  1. M. Aldea, A. Burns, M. Gutirrez, and M. G. Harbour. Incorporating the deadline floor protocol in Ada. ACM SIGAda Ada Letters -- Proc. of IRTAW 16, XXXIII(2):49--58, 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. T. Baker. A stack-based resource allocation policy for realtime processes. In Proc. IEEE Real-Time Systems Symposium (RTSS), pages 191--200, 1990.Google ScholarGoogle ScholarCross RefCross Ref
  3. T. Baker. Stack-based scheduling of realtime processes. Journal of Real-Time Systems, 3(1), March 1991. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. A. Burns. A Deadline-Floor Inheritance Protocol for EDF Scheduled Real-Time Systems with Resource Sharing. Technical Report YCS-2012-476, Department of Computer Science, University of York, UK, 2012.Google ScholarGoogle Scholar
  5. A. Burns, M. Gutirrez, M. Aldea, and M. G. Harbour. A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing. IEEE Transaction on Computers, 64(5), pp 1241--1253, 2015.Google ScholarGoogle ScholarCross RefCross Ref
  6. A. Burns and A. J. Wellings. Deadline-Aware Programming and Scheduling. Proceedings Reliable Software Technologies, Ada-Europe, LNCS 8454, pp 107--118, 2014.Google ScholarGoogle Scholar
  7. A. Wellings. Session summary: Locking protocols. ACM SIGAda Ada Letters, Proc. of IRTAW 16, XXXIII(2):123--125, 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGAda Ada Letters
    ACM SIGAda Ada Letters  Volume 36, Issue 1
    June 2016
    98 pages
    ISSN:1094-3641
    DOI:10.1145/2971571
    Issue’s Table of Contents

    Copyright © 2016 Authors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 13 July 2016

    Check for updates

    Qualifiers

    • column

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!