skip to main content
research-article

PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice

Published:19 June 2009Publication History
Skip Abstract Section

Abstract

The Flexotask system claims to enable implementation of both real-time applications and real-time schedulers in a Java Virtual Machine using an actors-like model. The PTIDES model is an actors-like model that claims to deliver precise control over end-to-end latencies in a complex real-time system. The present work jointly investigates both claims by (1) implementing several PTIDES-based schedulers as Flexotask scheduler plugins, and (2) using the resulting system to implement a new reactive control program for a simulation of the JAviator. We present results from the realistic JAviator control application and also from synthetic benchmarks designed to shed light on the differences between the several PTIDES schedulers we implemented.

References

  1. P. Albertos, A. Crespo, I. Ripoll, M. Valles, and P. Balbastre. RT control scheduling to reduce control performance degrading. Decision and Control, 2000. Proceedings of the 39th IEEE Conference on, volume 5, 2000.Google ScholarGoogle ScholarCross RefCross Ref
  2. N. Ali, E. Ekram, A. Eljasmy, and K. Shuaib. Measured delay distribution in a wireless mesh network test-bed. In AICCSA 2008, pages 236 -- 240. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. J. Auerbach, D. F. Bacon, R. Guerraoui, J. H. Spring, and J. Vitek. Flexible task graphs: a unified restricted thread programming model for java. SIGPLAN Not., 43(7):1--11, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. J. Auerbach, D. F. Bacon, D. T. Iercan, C. M. Kirsch, V. T. Rajan, H. Roeck, and R. Trummer. Java takes flight: time-portable real-time programming with exotasks. In Proceedings of LCTES '07, pages 51--62, New York, NY, USA, 2007. ACM Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. G. Buttazzo and J. Stankovic. Red: A Robust Earliest Deadline Scheduling Algorithm. In Proceedings of Third International Workshop on Responsive Computing Systems, 1993.Google ScholarGoogle Scholar
  6. A. Cervin. Improved scheduling of control tasks. In Proceedings of the 11th Euromicro Conference on Real-Time Systems, volume 10. IEEE Computer Society Press, 1999.Google ScholarGoogle ScholarCross RefCross Ref
  7. K. M. Chandy and J. Misra. Distributed simulation: A case study in design and verification of distributed programs. IEEE Transaction on Software Engineering, 5(5), 1979. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Z. Deng and J. Liu. Scheduling real-time applications in an open environment. In Real-Time Systems Symposium, 1997. Proceedings., The 18th IEEE, pages 308--319, 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. T. H. Feng and E. A. Lee. Real-time distributed discrete-event execution with fault tolerance. In Proceedings of RTAS, St. Louis, MO, USA, April 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: A time-triggered language for embedded programming. In EMSOFT 2001, volume LNCS 2211, pages 166--184. Springer-Verlag, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. IBM Corp. WebSphere Real-Time User's Guide, first edition, 2006.Google ScholarGoogle Scholar
  12. IEEE. A Precision Clock Synchronization Protocol for Networked Measurement and Control Systems. http://ieee1588.nist.gov/.Google ScholarGoogle Scholar
  13. E. A. Lee. Discrete event models: Getting the semantics right. In WSC '06: Proceedings, pages 1--1. Winter Simulation Conference, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. P. Marti, J. Fuertes, G. Fohler, and K. Ramamritham. Jitter compensation for real-time control systems. In Real-Time Systems Symposium, 2001.(RTSS 2001). Proceedings. 22nd IEEE, pages 39--48, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. J. Nilsson. Real-Time Control Systems with Delays. Lund, Sweden: Lund Institute of Technology, 1998.Google ScholarGoogle Scholar
  16. S. Oh and S. Yang. A Modified Least-Laxity-First scheduling algorithm for real--timetasks. In Real-Time Computing Systems and Applications, 1998. Proceedings, pages 31--36, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Open Source. The TuningFork Visualization Platform. http://tuningforkvp.sourceforge.net.Google ScholarGoogle Scholar
  18. Open Source. Flexible task graphs. http://flexotask.sourceforge.net, 2008.Google ScholarGoogle Scholar
  19. Open Source. The ptp daemon. http://ptpd.sourceforge.net, 2008.Google ScholarGoogle Scholar
  20. D. Seto, J. Lehoczky, L. Sha, and K. Shin. On task schedulability in real-time control systems. In Real-Time Systems Symposium, 1996., 17th IEEE, pages 13--21, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. D. Spoonhower, J. Auerbach, D. F. Bacon, P. Cheng, and D. Grove. Eventrons: a safe programming construct for high-frequency hard real-time applications. In Proc. PLDI, pages 283--294, Ottawa, Ontario, Canada, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. J. H. Spring, F. Pizlo, R. Guerraoui, and J. Vitek. Programming abstractions for highly responsive systems. In Proc. VEE, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. J. H. Spring, J. Privat, R. Guerraoui, and J. Vitek. StreamFlex: High-throughput stream programming in Java. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), Oct. 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. M. Törngren. Fundamentals of Implementing Real-Time Control Applications in Distributed Computer Systems. Real-Time Systems, 14(3): 219--50, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. University of Salzburg. The JAviator Project. http://javiator.cs.uni-salzburg.at, 2008.Google ScholarGoogle Scholar
  26. H. Wang, L. Yip, D. Maniezzo, J. C. Chen, R. E. Hudson, J. Elson, and K. Yao. A wireless time-synchronized cots sensor platform part ii applications to beamforming. In In Proceedings of IEEE CAS Workshop on Wireless Communications and Networking, 2002.Google ScholarGoogle Scholar
  27. B. P. Zeigler, H. Praehofer, and T. G. Kim. Theory of Modeling and Simulation. Academic Press, 2nd edition, 2000. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. W. Zhang, M. Branicky, and S. Phillips. Stability of networked control systems. Control Systems Magazine, IEEE, 21(1):84--99, 2001.Google ScholarGoogle ScholarCross RefCross Ref
  29. Y. Zhao, J. Liu, and E. A. Lee. A programming model for time-synchronized distributed real-time systems. In Proceedings of RTAS 07), pages 259--268, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. J. Zou, S. Matic, E. A. Lee, T. H. Feng, and P. Derler. Execution strategies for ptides, a programming model for distributed embedded systems. In to appear in RTAS, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice

          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 SIGPLAN Notices
            ACM SIGPLAN Notices  Volume 44, Issue 7
            LCTES '09
            July 2009
            176 pages
            ISSN:0362-1340
            EISSN:1558-1160
            DOI:10.1145/1543136
            Issue’s Table of Contents
            • cover image ACM Conferences
              LCTES '09: Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
              June 2009
              188 pages
              ISBN:9781605583563
              DOI:10.1145/1542452

            Copyright © 2009 ACM

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 19 June 2009

            Check for updates

            Qualifiers

            • research-article

          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!