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

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.
• 2: Najah Abu Ali , Essa Ekram , Ali Eljasmy , Khaled Shuaib, Measured delay distribution in a Wireless Mesh Network test-bed, Proceedings of the 2008 IEEE/ACS International Conference on Computer Systems and Applications, p.236-240, March 31-April 04, 2008 [doi>10.1109/AICCSA.2008.4493540]
• 3: Joshua Auerbach , David F. Bacon , Rachid Guerraoui , Jesper Honig Spring , Jan Vitek, Flexible task graphs: a unified restricted thread programming model for java, ACM SIGPLAN Notices, v.43 n.7, July 2008
• 4: Joshua Auerbach , David F. Bacon , Daniel T. Iercan , Christoph M. Kirsch , V. T. Rajan , Harald Roeck , Rainer Trummer, Java takes flight: time-portable real-time programming with exotasks, Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, June 13-15, 2007, San Diego, California, USA
• 5: G. Buttazzo and J. Stankovic. Red: A Robust Earliest Deadline Scheduling Algorithm. In Proceedings of Third International Workshop on Responsive Computing Systems, 1993.
• 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.
• 7: K. M. Chandy , J. Misra, Distributed Simulation: A Case Study in Design and Verification of Distributed Programs, IEEE Transactions on Software Engineering, v.5 n.5, p.440-452, September 1979 [doi>10.1109/TSE.1979.230182]
• 8: Z. Deng , J. W.-S. Liu, Scheduling real-time applications in an open environment, Proceedings of the 18th IEEE Real-Time Systems Symposium, p.308, December 03-05, 1997
• 9: Thomas Huining Feng , Edward A. Lee, Real-Time Distributed Discrete-Event Execution with Fault Tolerance, Proceedings of the 2008 IEEE Real-Time and Embedded Technology and Applications Symposium, p.205-214, April 22-24, 2008 [doi>10.1109/RTAS.2008.22]
• 10: Thomas A. Henzinger , Benjamin Horowitz , Christoph Meyer Kirsch, Giotto: A Time-Triggered Language for Embedded Programming, Proceedings of the First International Workshop on Embedded Software, p.166-184, October 08-10, 2001
• 11: IBM Corp. WebSphere Real-Time User's Guide, first edition, 2006.
• 12: IEEE. A Precision Clock Synchronization Protocol for Networked Measurement and Control Systems. http://ieee1588.nist.gov/.
• 13: Edward A. Lee, Discrete event models: getting the semantics right, Proceedings of the 38th conference on Winter simulation, December 03-06, 2006, Monterey, California
• 14: Pau Martí , Josep M. Fuertes , Krithi Ramamritham , Gerhard Fohler, Jitter Compensation for Real-Time Control Systems, Proceedings of the 22nd IEEE Real-Time Systems Symposium, p.39, December 03-06, 2001
• 15: J. Nilsson. Real-Time Control Systems with Delays. Lund, Sweden: Lund Institute of Technology, 1998.
• 16: S.-H. Oh , S.-M. Yang, A Modified Least-Laxity-First Scheduling Algorithm for Real-Time Tasks, Proceedings of the 5th International Conference on Real-Time Computing Systems and Applications, p.31, October 27-29, 1998
• 17: Open Source. The TuningFork Visualization Platform. http://tuningforkvp.sourceforge.net.
• 18: Open Source. Flexible task graphs. http://flexotask.sourceforge.net, 2008.
• 19: Open Source. The ptp daemon. http://ptpd.sourceforge.net, 2008.
• 20: D. Seto , J. P. Lehoczky , L. Sha , K. G. Shin, On task schedulability in real-time control systems, Proceedings of the 17th IEEE Real-Time Systems Symposium, p.13, December 04-06, 1996
• 21: Daniel Spoonhower , Joshua Auerbach , David F. Bacon , Perry Cheng , David Grove, Eventrons: a safe programming construct for high-frequency hard real-time applications, Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, June 11-14, 2006, Ottawa, Ontario, Canada
• 22: Jesper Honig Spring , Filip Pizlo , Rachid Guerraoui , Jan Vitek, Reflexes: abstractions for highly responsive systems, Proceedings of the 3rd international conference on Virtual execution environments, June 13-15, 2007, San Diego, California, USA [doi>10.1145/1254810.1254837]
• 23: Jesper H. Spring , Jean Privat , Rachid Guerraoui , Jan Vitek, Streamflex: high-throughput stream programming in java, Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications, October 21-25, 2007, Montreal, Quebec, Canada
• 24: Martin Törngren, Fundamentals of Implementing Real-Time Control Applicationsin Distributed Computer Systems, Real-Time Systems, v.14 n.3, p.219-250, May 1, 1998 [doi>10.1023/A:1007964222989]
• 25: University of Salzburg. The JAviator Project. http://javiator.cs.uni-salzburg.at, 2008.
• 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.
• 27: Bernard P. Zeigler , Tag Gon Kim , Herbert Praehofer, Theory of Modeling and Simulation, Academic Press, Inc., Orlando, FL, 2000
• 28: W. Zhang, M. Branicky, and S. Phillips. Stability of networked control systems. Control Systems Magazine, IEEE, 21(1):84--99, 2001.
• 29: Yang Zhao , Jie Liu , Edward A. Lee, A Programming Model for Time-Synchronized Distributed Real-Time Systems, Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium, p.259-268, April 03-06, 2007 [doi>10.1109/RTAS.2007.5]
• 30: Jia Zou , Slobodan Matic , Edward A. Lee , Thomas Huining Feng , Patricia Derler, Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems, Proceedings of the 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, p.77-86, April 13-16, 2009 [doi>10.1109/RTAS.2009.39]

INDEX TERMS

Primary Classification:
  D. Software
  D.0 GENERAL

Additional Classification:
  J. Computer Applications
  J.7 COMPUTERS IN OTHER SYSTEMS
      Subjects: Real time; Industrial control

General Terms:
Algorithms, Design, Measurement

Keywords:
flexible task graphs, jitter elimination, ptides, real-time scheduling, real-time systems