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

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.

[1]  Alberto L. Sangiovanni-Vincentelli,et al.  Loosely time-triggered architectures based on communication-by-sampling , 2007, EMSOFT '07.

[2]  Ryan Thibodeaux,et al.  THE SPECIFICATION AND IMPLEMENTATION OF A MODEL OF COMPUTATION , 2008 .

[3]  Laurent Nana,et al.  Scheduling and memory requirements analysis with AADL , 2005, SIGAda.

[4]  Alberto Griggio,et al.  A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories , 2007, SAT.

[5]  Guido Tack,et al.  Constraint propagation: models, techniques, implementation , 2009 .

[6]  Peter H. Feiler,et al.  Developing AADL Models for Control Systems: A Practitioner's Guide , 2007 .

[7]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[8]  Laurent Nana,et al.  Cheddar: a flexible real time scheduling framework , 2004, SIGAda.

[9]  Igor L. Markov,et al.  AMUSE: a minimally-unsatisfiable subformula extractor , 2004, Proceedings. 41st Design Automation Conference, 2004..

[10]  Gabor Karsai,et al.  The design of a language for model transformations , 2006, Software & Systems Modeling.

[11]  Gabor Karsai,et al.  Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation , 2009, MoDELS.

[12]  A. Naderlinger,et al.  Model-Driven Development of FlexRay-Based Systems with the Timing Definition Language (TDL) , 2007, Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07).

[13]  J. Javier Gutiérrez,et al.  MAST: Modeling and Analysis Suite for Real Time Applications , 2001, ECRTS.

[14]  Hermann Kopetz,et al.  The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[15]  Gabor Karsai,et al.  The Generic Modeling Environment , 2001 .

[16]  Rajeev Alur,et al.  RTComposer: a framework for real-time components with scheduling interfaces , 2008, EMSOFT '08.

[17]  Laurent Nana,et al.  Scheduling and memory requirements analysis with AADL , 2005 .

[18]  Luciano Lavagno,et al.  Metropolis: An Integrated Electronic System Design Environment , 2003, Computer.

[19]  Jeremy G. Siek,et al.  The Boost Graph Library - User Guide and Reference Manual , 2001, C++ in-depth series.

[20]  Alberto L. Sangiovanni-Vincentelli,et al.  Platform-Based Design for Embedded Systems , 2005, Embedded Systems Handbook.

[21]  Steve McConnell,et al.  Rapid Development: Taming Wild Software Schedules , 1996 .

[22]  Thomas A. Henzinger,et al.  Trading end-to-end latency for composability , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).

[23]  Emilia Farcas,et al.  Transparent distribution of real-time components based on logical execution time , 2005, LCTES '05.

[24]  Jörg Würtz,et al.  Scheduling of Time-Triggered Real-Time Systems , 2000, Constraints.

[25]  Thomas A. Henzinger,et al.  The Embedded Systems Design Challenge , 2006, FM.

[26]  Mats Carlsson,et al.  A New Multi-resource cumulatives Constraint with Negative Heights , 2002, CP.

[27]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[28]  Paulo Tabuada,et al.  On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CAN , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[29]  Alberto L. Sangiovanni-Vincentelli,et al.  Extensible and scalable time triggered scheduling , 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).

[30]  Karl-Erik Årzén,et al.  Integrated Control and Scheduling , 1999 .