research-article

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

Authors:

Janos SztipanovitsAuthors Info & Claims

EMSOFT '09: Proceedings of the seventh ACM international conference on Embedded software

Pages 167 - 176

https://doi.org/10.1145/1629335.1629358

Published: 12 October 2009 Publication History

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]

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.

Digital Library

[8]

A. Anta and P. Tabuada. On the benefits of relaxing the periodicity assumption for networked control systems over CAN. Submitted for publication, 2009.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[18]

T. Henzinger and J. Sifakis. The embedded systems design challenge. In FM: Formal Methods, volume 4085 of LNCS, pages 1--15. Springer, 2006.

Digital Library

[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.

Digital Library

[24]

S. McConnell. Rapid Development: Taming Wild Software Schedules. Microsoft Press, Redmond, WA, 1996.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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. Wurtz. Scheduling of time-triggered real-time systems. Constraints, 5(4):335--357, Oct. 2000.

Digital Library

[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. Marce. Cheddar : a Flexible Real Time Scheduling Framework. Ada Letters, 24(4):1--8, December 2004.

Digital Library

[33]

F. Singhoff, J. Legrand, L. Nana, and L. Marce. Scheduling and memory requirements analysis with AADL. Ada Letters, 25(4):1--10, 2005.

Digital Library

[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.

Digital Library

Cited By

Dai SKoutsoukos X(2020)Safety analysis of integrated adaptive cruise and lane keeping control using multi-modal port-Hamiltonian systemsNonlinear Analysis: Hybrid Systems10.1016/j.nahs.2019.10081635(100816)Online publication date: Feb-2020
https://doi.org/10.1016/j.nahs.2019.100816
Dai SZhang ZKoutsoukos X(2019)A model-based design approach for simulation and virtual prototyping of automotive control systems using port-Hamiltonian systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0646-118:3(1637-1653)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-017-0646-1
Tang QGupta SVarsamopoulos G(2012)A Unified Methodology for Scheduling in Distributed Cyber-Physical SystemsACM Transactions on Embedded Computing Systems10.1145/2331147.233116711:S2(1-25)Online publication date: 1-Aug-2012
https://dl.acm.org/doi/10.1145/2331147.2331167
Show More Cited By

Index Terms

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

Recommendations

Model-based design of time-triggered real-time embedded systems for digital manufacturing
HSCC '15: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control

This work presents a novel Model-Based Design (MBD) approach and associated tool-chain for the IEC 61131-3 specific Programmable Logical Controllers (PLC) [2]. Our tool-chain automatically synthesizes software for manufacturing Time-Triggered Real-time ...
Model-based design of an embedded vision application: a field report
SPPR'07: Proceedings of the Fourth conference on IASTED International Conference: Signal Processing, Pattern Recognition, and Applications

This paper contains a field report on using model-based design techniques for developing embedded vision applications. A lane border detection algorithm was chosen as target application for testing the design approach. The algorithm detects the lane ...
RTOS Support for Mixed Time-triggered and Event-triggered Task Sets
CSE '12: Proceedings of the 2012 IEEE 15th International Conference on Computational Science and Engineering

Many embedded systems have complex timing constraints and, at the same time, have flexibility requirements which prohibit offline planning of the entire system. To support a mixture of time-triggered and event-triggered tasks, some industrial systems ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

EMSOFT '09: Proceedings of the seventh ACM international conference on Embedded software

October 2009

332 pages

ISBN:9781605586274

DOI:10.1145/1629335

Program Chairs:
Samarjit Chakraborty
TU Munich, Germany
,
Nicolas Halbwachs
Verimag/CNRS, Grenoble, France

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 October 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ESWeek '09

Sponsor:

ESWeek '09: Fifth Embedded Systems Week

October 12 - 16, 2009

Grenoble, France

Acceptance Rates

EMSOFT '09 Paper Acceptance Rate 33 of 106 submissions, 31%;

Overall Acceptance Rate 60 of 203 submissions, 30%

Upcoming Conference

ESWEEK '24

Sponsor:
sigbed
sigbed
sigbed

Twentieth Embedded Systems Week

September 29 - October 4, 2024

Raleigh , NC , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
392
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Dai SKoutsoukos X(2020)Safety analysis of integrated adaptive cruise and lane keeping control using multi-modal port-Hamiltonian systemsNonlinear Analysis: Hybrid Systems10.1016/j.nahs.2019.10081635(100816)Online publication date: Feb-2020
https://doi.org/10.1016/j.nahs.2019.100816
Dai SZhang ZKoutsoukos X(2019)A model-based design approach for simulation and virtual prototyping of automotive control systems using port-Hamiltonian systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0646-118:3(1637-1653)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-017-0646-1
Tang QGupta SVarsamopoulos G(2012)A Unified Methodology for Scheduling in Distributed Cyber-Physical SystemsACM Transactions on Embedded Computing Systems10.1145/2331147.233116711:S2(1-25)Online publication date: 1-Aug-2012
https://dl.acm.org/doi/10.1145/2331147.2331167
Sztipanovits JKoutsoukos XKarsai GKottenstette NAntsaklis PGupta VGoodwine BBaras JShige Wang (2012)Toward a Science of Cyber–Physical System IntegrationProceedings of the IEEE10.1109/JPROC.2011.2161529100:1(29-44)Online publication date: Jan-2012
https://doi.org/10.1109/JPROC.2011.2161529
Perko KKocik RHamouche RTrost A(2011)A modelling-based methodology for evaluating the performance of a real-time embedded control systemSimulation Modelling Practice and Theory10.1016/j.simpat.2011.03.00819:7(1594-1612)Online publication date: Aug-2011
https://doi.org/10.1016/j.simpat.2011.03.008
Porter JHemingway GKottenstette NKarsai GSztipanovits JCarloni LTripakis S(2010)Online stability validation using sector analysisProceedings of the tenth ACM international conference on Embedded software10.1145/1879021.1879026(29-38)Online publication date: 24-Oct-2010
https://dl.acm.org/doi/10.1145/1879021.1879026
Hemingway GPorter JKottenstette NNine HvanBuskirk CKarsai GSztipanovits J(2010)Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysisProceedings of 2010 21st IEEE International Symposium on Rapid System Protyping10.1109/RSP.2010.5656335(1-7)Online publication date: Jun-2010
https://doi.org/10.1109/RSP.2010.5656335
Saxena TDubey ABalasubramanian DKarsai G(2010)Enabling Self-Management by Using Model-Based Design Space ExplorationProceedings of the 2010 Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems10.1109/EASe.2010.22(137-144)Online publication date: 22-Mar-2010
https://dl.acm.org/doi/10.1109/EASe.2010.22

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents