skip to main content
article

Composable code generation for distributed giotto

Published: 15 June 2005 Publication History

Abstract

We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated by a system integrator, can independently generate different parts of the distributed software. The task structure, interaction, and timing is specified as a Giotto program. Each supplier is given a part of the Giotto program and a timing interface, from which the supplier generates task and scheduling code. The integrator then checks, individually for each supplier, in pseudo-polynomial time, if the supplied code meets its timing specification. If all checks succeed, then the supplied software parts are guaranteed to work together and implement the original Giotto program. The feasibility of the approach is demonstrated by a prototype implementation.

References

[1]
H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer, 1997.
[2]
http://www.flexray-group.com; http://www.autosar.org.
[3]
T.A. Henzinger, B. Horowitz, and C.M. Kirsch. Giotto: a time-triggered language for embedded programming. In Proc. IEEE 91, pp. 84--99, 2003.
[4]
T.A. Henzinger, C.M. Kirsch, and S. Matic. Schedule-carrying code. In Proc. EMSOFT, LNCS 2855, pp. 241--256, Springer, 2003.
[5]
T.A. Henzinger and C.M. Kirsch. The Embedded Machine: predictable, portable real-time code. In Proc. PLDI, pp. 315--326, ACM, 2002.
[6]
C.M. Kirsch, M.A.A. Sanvido, and T.A. Henzinger. A programmable microkernel for real-time systems. In Proc. VEE, ACM, 2005.
[7]
C.M. Kirsch, M.A.A. Sanvido, T.A. Henzinger, and W. Pree. A Giotto-based helicopter control system. In Proc. EMSOFT, LNCS 2491, pp. 46--60, Springer, 2002.
[8]
N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer, 1993.
[9]
A. Benveniste, L.P. Carloni, P. Caspi, and A.L. Sangiovanni-Vincentelli. Heterogeneous reactive systems modeling and correct-by-construction deployment. In Proc. EMSOFT, LNCS 2855, pp.35--50, Springer, 2003.
[10]
T.A. Henzinger, C.M. Kirsch, R. Majumdar, and S. Matic. Time-safety checking for embedded programs. In Proc. EMSOFT, LNCS 2491, pp. 76--90, Springer, 2002.
[11]
P. Caspi, et al. From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications. In Proc. LCTES, pp. 153--162, ACM, 2003.
[12]
A. Mok and X. Feng. Real-time virtual resource: a timely abstraction for embedded systems. In Proc. EMSOFT, LNCS 2491, pp. 182--196, Springer, 2002.
[13]
I. Shin and I. Lee. Periodic resource model for compositional real-time guarantees. In Proc. RTSS, pp. 2--13, IEEE, 2003.
[14]
H. Kopetz and N. Suri. Compositional design of real-time systems: a conceptual basis for the specification of linking interfaces. In Proc. ISORC, pp. 51--60, 2003.
[15]
J. Rushby. Partitioning in avionics architectures: requirements, mechanisms, and assurance. In NASA Contractor Report 209347, SRI International, 1999.
[16]
B. Hardung, T. Koelzow, and A. Krueger. Reuse of software in distributed embedded automotive systems. In Proc. EMSOFT, pp. 203--210, ACM, 2004.
[17]
K. Karplus and A. Strong. Digital synthesis of plucked-string and drum timbres. in Computer Music Journal 7, pp. 43--55, 1983.
[18]
V. Yodaiken. RTLinux Manifesto. In Proc. LinuxExpo, 1999.
[19]
S. Lankes, A. Jabs, and M. Reke. A time-triggered Ethernet protocol for real-time CORBA. In Proc. ISORC, pp. 215--222, 2002.
[20]
T.A. Henzinger and S. Matic. Distributed Schedule-Carrying Code. Tech. Rep. UCB/CSD-04-1360, 2004.
[21]
S. Shigero, M. Takashi, and H. Kei. On the schedulability conditions on partial time slots. In Proc. RTCSA, pp. 166--173, IEEE, 1999.

Cited By

View all
  • (2019)DCWACM Transactions on Design Automation of Electronic Systems10.1145/331757424:3(1-35)Online publication date: 31-May-2019
  • (2018)Time-triggered buffers for event-based middleware systemsInnovations in Systems and Software Engineering10.1007/s11334-010-0139-77:1(9-22)Online publication date: 14-Dec-2018
  • (2016)EDF schedulability test for the E-TDL time-triggered framework2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)10.1109/SIES.2016.7509414(1-10)Online publication date: May-2016
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices
ACM SIGPLAN Notices  Volume 40, Issue 7
Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
July 2005
238 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/1070891
Issue’s Table of Contents
  • cover image ACM Conferences
    LCTES '05: Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
    June 2005
    248 pages
    ISBN:1595930183
    DOI:10.1145/1065910
    • General Chair:
    • Yunheung Paek,
    • Program Chair:
    • Rajiv Gupta
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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 June 2005
Published in SIGPLAN Volume 40, Issue 7

Check for updates

Author Tags

  1. distributed compilation
  2. real time

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2019)DCWACM Transactions on Design Automation of Electronic Systems10.1145/331757424:3(1-35)Online publication date: 31-May-2019
  • (2018)Time-triggered buffers for event-based middleware systemsInnovations in Systems and Software Engineering10.1007/s11334-010-0139-77:1(9-22)Online publication date: 14-Dec-2018
  • (2016)EDF schedulability test for the E-TDL time-triggered framework2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)10.1109/SIES.2016.7509414(1-10)Online publication date: May-2016
  • (2010)Flexible Static Scheduling of Software with Logical Execution Time ConstraintsProceedings of the 2010 10th IEEE International Conference on Computer and Information Technology10.1109/CIT.2010.301(1719-1726)Online publication date: 29-Jun-2010
  • (2009)Efficient Verification and Optimization of Real-Time Logic-Specified SystemsIEEE Transactions on Computers10.1109/TC.2009.7958:12(1640-1653)Online publication date: 1-Dec-2009
  • (2008)Optimizing Automotive Cyber-Physical System Specifications with Multi-Event DependenciesProceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing10.1109/SYNASC.2008.16(475-479)Online publication date: 26-Sep-2008
  • (2006)Optimization of Real-Time Systems Timing SpecificationsProceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications10.1109/RTCSA.2006.48(68-76)Online publication date: 16-Aug-2006
  • (2024)A Logical Time-Triggered Distributed Computing Environment for Cyber-Physical Systems with V2X Wireless CommunicationProceedings of International Conference on Information Technology and Applications10.1007/978-981-99-8324-7_9(89-99)Online publication date: 18-Mar-2024
  • (2018)Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, CompositionalityPrinciples of Modeling10.1007/978-3-319-95246-8_26(449-477)Online publication date: 20-Jul-2018
  • (2016)Support for the logical execution time model on a time-predictable multicore processorACM SIGBED Review10.1145/3015037.301504713:4(61-66)Online publication date: 3-Nov-2016
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media