Towards a time-triggered schedule calculation tool to support model-based embedded software design

Embedded Systems Week 2009 - Proceedings of the 7th ACM International Conference on Embedded Software, EMSOFT '09

Volumn , Issue , 2009, Pages 167-176

  Porter, Joseph ^a   Karsai, Gabor ^a   Sztipanovits, Janos ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

Constraint programming; Model based design; Time triggered architecture

Indexed keywords

AUTOMATED VERIFICATION; CALCULATION TOOLS; CONSTRAINT PROGRAMMING MODEL; CONTROL DESIGN; CYCLIC SCHEDULES; EMBEDDED SOFTWARE DEVELOPMENT; MODEL-BASED; MODEL-BASED DESIGN; MODELING LANGUAGES; NON-FUNCTIONAL CONCERNS; PLATFORM EFFECTS; PLATFORM MODELS; SAFETY CRITICAL APPLICATIONS; SAFETY-CRITICAL; SCHEDULING TOOLS; SYSTEM DESIGN; TIME TRIGGERED; TIME-TRIGGERED ARCHITECTURES; TOOLSUITE; TROUBLESHOOTING; WORK-FLOWS;

COMPUTER PROGRAMMING; CONSTRAINT THEORY; DESIGN; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; MANAGEMENT; VERIFICATION;

SOFTWARE DESIGN;

EID: 72249098330     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1629335.1629358     Document Type: Conference Paper

References (37)

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. R. Alur and G. Weiss. RTComposer: a framework for real-time components with scheduling interfaces. In EMSOFT '08: Proc. of the 8th ACM Intl. Conf. on Embedded software, pages 159-168, New York, NY, USA, 2008. ACM.
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. F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Paserone, and A. L. Sangiovanni-Vincentelli. Metropolis: an integrated electronic system design environment. IEEE Computer, 36(4), April 2003.
11. N. Beldiceanu and M. Carlsson. A new multi-resource cumulatives constraint with negative heights. In P. van Hentenryck, editor, CP, LNCS, pages 63-79. Springer, 2002.
12. A. Benveniste and P. C. et al. Loosely time-triggered architectures based on communication-by-sampling. In EMSOFT '07: Proc. of the 7th ACM & IEEE Intl. Conf. on Embedded Software, pages 231-239, New York, NY, USA, 2007. ACM.
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. E. Farcas, C. Farcas, W. Pree, and J. Templ. Transparent distribution of real-time components based on logical execution time. In Proc. of the 2005 ACM Conf. on Lang., Compilers, and Tools for Embedded Systems (LCTES '05), pages 31-39, New York, NY, June 2005. ACM Press.
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. S. Matic and T. A. Henzinger. Trading end-to-end latency for composability. In Proc. of the 26th Annual Real-Time Systems Symposium (RTSS), pages 99-110. IEEE Computer Society Press, 2005.
24. S. McConnell. Rapid Development: Taming Wild Software Schedules. Microsoft Press, Redmond, WA, 1996.
25. A. Naderlinger and J. P. et al. Model-Driven Development of FlexRay-Based Systems with the Timing Definition Language (TDL). In Proc. of the 4th Intl. ICSE workshop on Software Engineering for Automotive Systems, Minneapolis, May 2007.
26. Y. Oh, M. Mneimneh, Z. Andraus, K. Sakallah, and I. Markov. AMUSE: A Minimally-Unsatisfiable Subformula Extractor. In Proc. of the Design Automation Conference (DAC), pages 518-523. ACM/IEEE, June 2004.
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. K. Schild and J. Würtz. Scheduling of time-triggered real-time systems. Constraints, 5(4):335-357, Oct. 2000.
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, and L. Marcé. Cheddar : a Flexible Real Time Scheduling Framework. Ada Letters, 24(4):1-8, December 2004.
33. F. Singhoff, J. Legrand, L. Nana, and L. Marcé. Scheduling and memory requirements analysis with AADL. Ada Letters, 25(4):1-10, 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. Z. Wei and J. C. et al. Extensible and Scalable Time Triggered Scheduling. In Proc. of the 5th Intl. Conf. on Application of Concurrency to System Design, 2005.