skip to main content
research-article

Adding multiprocessor and mode change support to the Ada real-time framework

Authors Info & Claims
Published:11 June 2013Publication History
Skip Abstract Section

Abstract

Based on a previous proposal of an Ada 2005 framework of real-time utilities, this paper deals with the extension of that framework to include support for multiprocessor platforms and multiple operating modes and mode changes. The design of the proposed framework is also intended to be amenable to automatic code generation.

References

  1. M. Aldea, J. Miranda, and M. González-Harbour. Implementing an Application-Defined Scheduling Framework for Ada Tasking. In A. Llamosí and A. Strohmeier, editors, 9th International Conference on Reliable Software Technologies -- Ada-Europe 2004, volume 3063 of Lecture Notes in Computer Science, pages 283--296. Springer, 2004.Google ScholarGoogle Scholar
  2. B. Andersson and L. Pinho. Implementing Multicore Real-Time Scheduling Algorithms based on Task Splitting using Ada 2012. In J. Real and T. Vardanega, editors, 15th International Conference on Reliable Software Technologies -- Ada-Europe 2010, volume 6106 of Lecture Notes in Computer Science, pages 54--67. Springer, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. P. Balbastre, I. Ripoll, J. Vidal, and A. Crespo. A Task Model to Reduce Control Delays. Real-Time Systems, 27(3):215--236, September 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. S. Baruah and T. P. Baker. Schedulability Analysis of Global EDF. Real-Time Systems, 38(3):223--235, April 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. S. Baruah and N. Fisher. Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems. In 9th International Conference on Distributed Computing and Networking -- ICDCN, pages 215--226, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. A. Burns and A. Wellings. Concurrent and Real-Time Programming in Ada. Cambridge University Press, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. A. Burns and A. Wellings. Dispatching Domains for Multiprocessor Platforms and their Representation in Ada. In J. Real and T. Vardanega, editors, 15th International Conference on Reliable Software Technologies -- Ada-Europe 2010, volume 6106 of Lecture Notes in Computer Science, pages 41--53. Springer, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Welsey, Reading, MA, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. M. González-Harbour and J. J. Gutiérrez. Session: Programming Patterns and Libraries. Ada User Journal, 29(1):44--46, March 2008.Google ScholarGoogle Scholar
  10. S. Hong, X. Hu, and M. Lemmon. Reducing Delay Jitter of Real-Time Control Tasks through Adaptive Deadline Adjustments. In IEEE Computer Society, editor, 22nd Euromicro Conference on Real-Time Systems -- ECRTS, pages 229--238, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. S. Kato, N. Yamasaki, and Y. Ishikawa. Semi-partitioned Scheduling of Sporadic Task Systems on Multiprocessors. In IEEE Computer Society, editor, 21st Euromicro Conference on Real-Time Systems - ECRTS, pages 249--258, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. K. Lakshmanan, R. Rajkumar, and J. Lehoczky. Partitioned Fixed-Priority Preemptive Scheduling for Multi-core Processors. In IEEE Computer Society, editor, 21st Euromicro Conference on Real-Time Systems - ECRTS, pages 239--248, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. P. Pedro. Schedulability of Mode Changes in Flexible Real-Time Distributed Systems. Ph.D. thesis, University of York, Department of Computer Science, 1999.Google ScholarGoogle Scholar
  14. J. Real and A. Crespo. Mode Change Protocols for Real-Time Systems: A Survey and a new Proposal. Real-Time Systems, 26(2):161--197, March 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. J. Real, A. Crespo, A. Burns, and A. Wellings. Protected Ceiling Changes. Ada Letters, XXII(4):66--71, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. S. Sáez and A. Crespo. Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems. In J. Real and T. Vardanega, editors, 15th International Conference on Reliable Software Technologies -- Ada-Europe 2010, volume 6106 of Lecture Notes in Computer Science, pages 68--82. Springer, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. A. J.Wellings and A. Burns. A Framework for Real-Time Utilities for Ada 2005. Ada Letters, XXVII(2), August 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. A. J. Wellings and A. Burns. A Framework for Real-Time Utilities for Ada 2005. Ada User Journal, 28(1):47--53, March 2008.Google ScholarGoogle Scholar

Index Terms

  1. Adding multiprocessor and mode change support to the Ada real-time framework

          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 33, Issue 1
            April 2013
            171 pages
            ISSN:1094-3641
            DOI:10.1145/2492312
            Issue’s Table of Contents

            Copyright © 2013 Authors

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 11 June 2013

            Check for updates

            Qualifiers

            • research-article
          • Article Metrics

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

            Other Metrics

          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!