Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

Time-triggered architectures (TTA) provide replica determinism in safety-critical distributed embedded software designs. TTA has become a crucial part of many high-confidence embedded paradigms, as it decouples functional concerns from platform timing concerns in system designs. Complex embedded software development workflows for safety-critical applications are increasingly managed by model-based design tools, in order to support automated verification and reconcile conflicts between functional and non-functional concerns in designs. We present a prototype scheduling tool (ESched) which calculates cyclic schedules for time-triggered networks. ESched supports the model-based workflow of the ESMoL modeling language and tool suite. Using ESMoL, designers can rapidly iterate through simulating a control design, capturing platform effects in models, generating a schedule (if feasible), and re-simulating the control design subject to the platform model and the computed schedule. ESched specifications include a number of useful platform parameters, and it supports troubleshooting of infeasible schedules by allowing the user to specify partial platform models to solve.

REFERENCES

• 1: Modeling and Analysis Suite for Real-Time Applications (MAST). http://mast.unican.es/.
• 2: Rapid-RMA: The Art of Modeling Real-Time Systems. http://www.tripac.com/html/prod-fact-rrm.html.
• 3: Rational Rose. http://www-01.ibm.com/software/rational/.
• 4: TTTech TTP/C Cluster. http://www.tttech.com/.
• 5: TTTech TTPlan Scheduling Tools. http://www.tttech.com.
• 6: Aditya Agrawal et al. The design of a language for model transformations. Journal on Software and System Modeling, 5(3):261--288, Sep 2006.
• 7: Rajeev Alur , Gera Weiss, RTComposer: a framework for real-time components with scheduling interfaces, Proceedings of the 8th ACM international conference on Embedded software, October 19-24, 2008, Atlanta, GA, USA [doi>10.1145/1450058.1450080]
• 8: A. Anta and P. Tabuada. On the benefits of relaxing the periodicity assumption for networked control systems over CAN. Submitted for publication, 2009.
• 9: K.-E. Arzen and B. B. et al. Integrated control and scheduling. Technical Report ISRN LUTFD2/TFRT-7586-SE, Dept. of Automatic Control, Lund Inst. of Technology, Sweden, Aug 1999.
• 10: Felice Balarin , Yosinori Watanabe , Harry Hsieh , Luciano Lavagno , Claudio Passerone , Alberto Sangiovanni-Vincentelli, Metropolis: An Integrated Electronic System Design Environment, Computer, v.36 n.4, p.45-52, April 2003 [doi>10.1109/MC.2003.1193228]
• 11: Nicolas Beldiceanu , Mats Carlsson, A New Multi-resource cumulatives Constraint with Negative Heights, Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, p.63-79, September 09-13, 2002
• 12: Albert Benveniste , Paul Caspi , Marco di Natale , Claudio Pinello , Alberto Sangiovanni-Vincentelli , Stavros Tripakis, Loosely time-triggered architectures based on communication-by-sampling, Proceedings of the 7th ACM & IEEE international conference on Embedded software, September 30-October 03, 2007, Salzburg, Austria [doi>10.1145/1289927.1289964]
• 13: L. P. Carloni and F. D. B. et al. Platform-based design for embedded systems. In R. Zurawski, editor, The Embedded Systems Handbook. CRC Press, 2005.
• 14: A. Cimatti, A. Griggio, and R. Sebastiani. A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories. In Proc. of Tenth Intl. Conf. on Satisfiability Testing (SAT '07), volume 4501 of LNCS. Springer, 2007.
• 15: C. Ekelin and J. Jonsson. Solving embedded systems scheduling problems using constraint programming. Technical Report TR 00-12, Chalmers Univ. of Technology, 2000.
• 16: Emilia Farcas , Claudiu Farcas , Wolfgang Pree , Josef Templ, Transparent distribution of real-time components based on logical execution time, Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, June 15-17, 2005, Chicago, Illinois, USA
• 17: T. Henzinger, B. Horowitz, and C. Kirsch. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE, 91:84--99, January 2003.
• 18: T. Henzinger and J. Sifakis. The embedded systems design challenge. In FM: Formal Methods, volume 4085 of LNCS, pages 1--15. Springer, 2006.
• 19: John Hudak and Peter Feiler. Developing AADL Models for Control Systems: A Practitioner's Guide. Technical Report CMU/SEI-2007-TR-014, CMU Software Engineering Institute (SEI), 2007.
• 20: G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-integrated development of embedded software. Proceedings of the IEEE, 91(1):145--164, January 2003.
• 21: H. Kopetz and G. Bauer. The Time-Triggered Architecture. Proc. of the IEEE, 91(1):112--126, Jan 2003.
• 22: A. Ledeczi and M. M. et al. The Generic Modeling Environment. Workshop on Intelligent Signal Processing, May 2001.
• 23: Slobodan Matic , Thomas A. Henzinger, Trading End-to-End Latency for Composability, Proceedings of the 26th IEEE International Real-Time Systems Symposium, p.99-110, December 05-08, 2005 [doi>10.1109/RTSS.2005.43]
• 24: Steve McConnell, Rapid Development: Taming Wild Software Schedules, Microsoft Press, Redmond, WA, 1996
• 25: Andreas Naderlinger , Johannes Pletzer , Wolfgang Pree , Josef Templ, Model-Driven Development of FlexRay-Based Systems with the Timing Definition Language (TDL), Proceedings of the 29th International Conference on Software Engineering Workshops, p.177, May 20-26, 2007 [doi>10.1109/ICSEW.2007.145]
• 26: Yoonna Oh , Maher N. Mneimneh , Zaher S. Andraus , Karem A. Sakallah , Igor L. Markov, AMUSE: a minimally-unsatisfiable subformula extractor, Proceedings of the 41st annual Design Automation Conference, June 07-11, 2004, San Diego, CA, USA [doi>10.1145/996566.996710]
• 27: M. Ohlin, D. Henriksson, and A. Cervin. TrueTime 1.5 Reference Manual. Dept. of Automatic Control, Lund University, Sweden, January 2007. http://www.control.lth.se/truetime/.
• 28: J. Porter and G. K. et al. Towards model-based integration of tools and techniques for embedded control system design, verification, and implementation. In Workshops and Symposia at MoDELS 2008, LNCS 5421, Toulouse, France, 2008. Springer.
• 29: Klaus Schild , Jörg Würtz, Scheduling of Time-Triggered Real-Time Systems, Constraints, v.5 n.4, p.335-357, October 2000 [doi>10.1023/A:1009804226473]
• 30: C. Schulte, M. Lagerkvist, and G. Tack. Gecode: Generic Constraint Development Environment. http://www.gecode.org/.
• 31: J. Siek, L.-Q. Lee, and A. Lumsdaine. The Boost Graph Library: User Guide and Ref. Manual, 2001.
• 32: F. Singhoff , J. Legrand , L. Nana , L. Marcé, Cheddar: a flexible real time scheduling framework, ACM SIGAda Ada Letters, v.XXIV n.4, p.1-8, December 2004
• 33: F. Singhoff , J. Legrand , L. Nana , L. Marcé, Scheduling and memory requirements analysis with AADL, ACM SIGAda Ada Letters, v.XXV n.4, p.1-10, December 2005
• 34: G. Tack. Constraint Propagation -- Models, Techniques, Implementation. PhD thesis, Saarland University, Jan 2009.
• 35: The MathWorks, Inc. Simulink/Stateflow Tools. http://www.mathworks.com.
• 36: R. Thibodeaux. The specification and implementation of a model of computation. Master's thesis, Vanderbilt University, May 2008.
• 37: Wei Zheng , Jike Chong , Claudio Pinello , Sri Kanajan , Alberto Sangiovanni-Vincentelli, Extensible and Scalable Time Triggered Scheduling, Proceedings of the Fifth International Conference on Application of Concurrency to System Design, p.132-141, June 07-09, 2005 [doi>10.1109/ACSD.2005.13]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS
      Subjects: Real-time and embedded systems

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.4 Model Validation and Analysis

General Terms:
Design

Keywords:
constraint programming, model-based design, time triggered architecture