article

Embedded Control Systems Development with Giotto

Authors:

Thomas A. Henzinger,

Benjamin Horowitz,

Christoph Meyer KirschAuthors Info & Claims

ACM SIGPLAN Notices, Volume 36, Issue 8

Pages 64 - 72

https://doi.org/10.1145/384196.384208

Published: 01 August 2001 Publication History

Get Access

Abstract

Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Giotto is based on the principle that time-triggered task invocations plus time-triggered mode switches can form the abstract essence of programming real-time control systems. Giotto consists of a programming language with a formal semantics, and a retargetable compiler and runtime library. Giotto supports the automation of control system design by strictly separating platform-independent functionality and timing concerns from platform-dependent scheduling and communication issues. The time-triggered predictability of Giotto makes it particularly suitable for safety-critical applications with hard real-time constraints. We illustrate the platform-independence and time-triggered execution of Giotto by coordinating a heterogeneous flock of Intel x86 robots and Lego Mindstorms robots.

References

[1]

A. Benveniste, P. L. Guernic, and C. Jacquemot. Synchronous programming with events and relations: the SIGNAL language and its semantics. Science of Computer Programming, 16(2):103-149, September 1991.]]

Digital Library

Google Scholar

[2]

G. Berry. The foundations of Esterel. In C. S. G. Plotkin and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000.]]

Digital Library

Google Scholar

[3]

P. Clements. A survey of architecture description languages. In Proc. 8th International Workshop on Software Specification and Design, 1996.]]

Digital Library

Google Scholar

[4]

J. Davis, M. Goel, C. Hylands, B. Kienhuis, E. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong. Ptolemy II: Heterogeneous concurrent modeling and design in Java. Technical Report UCB/ERL M99/44, University of California, Berkeley, CA, July 1999.]]

Google Scholar

[5]

N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer, 1993.]]

Digital Library

Google Scholar

[6]

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data ow programming language Lustre. Proceedings of the IEEE, 79(9), 1991.]]

Crossref

Google Scholar

[7]

T. Henzinger. Masaccio: A formal model for embedded components. In Proc. First IFIP International Conference on Theoretical Computer Science, LNCS 1872, pages 549-563. Springer-Verlag, 2000.]]

Digital Library

Google Scholar

[8]

T. Henzinger, B. Horowitz, and C. Kirsch. Giotto: A time-triggered language for embedded programming. Technical Report UCB//CSD-00-1121, University of California, Berkeley, 2000. Available at: www.eecs.berkeley.edu/cfresco/giotto.]]

Digital Library

Google Scholar

[9]

H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer, 1997.]]

Digital Library

Google Scholar

[10]

Y. Li and S. Malik. Performance analysis of embedded software using implicit path enumeration. ACM SIGPLAN Notices, 30(11):88-98, 1995.]]

Digital Library

Google Scholar

[11]

H. Theiling, C. Ferdinand, and R. Wilhelm. Fast and precise WCET prediction by separated cache and path analyses. Time-Critical Computing Systems, pages 157-179, 2000.]]

Digital Library

Google Scholar

[12]

S. Vestal. MetaH support for real-time multi-processor avionics. In Proc. Joint Workshop on Parallel and Distributed Real-Time Systems, pages 11-21, 1997.]]

Digital Library

Google Scholar

Cited By

View all

Foughali MMikučionis MZhang M(2024)Scalable Computation of Inter-Core Bounds Through Exact Abstractions2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC)10.1109/COMPSAC61105.2024.00019(61-70)Online publication date: 2-Jul-2024
https://doi.org/10.1109/COMPSAC61105.2024.00019
Karin SAydin HZhu DDrager SAnderson M(2023)Impact of priority assignment on schedule-based attacks in real-time embedded systemsJournal of Systems Architecture10.1016/j.sysarc.2023.103021145(103021)Online publication date: Dec-2023
https://doi.org/10.1016/j.sysarc.2023.103021
Dorr TSchade FAhlbrecht AZaeske WMasing LDurak UBecker J(2022)A Behavior Specification and Simulation Methodology for Embedded Real-Time Software2022 IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)10.1109/DS-RT55542.2022.9932069(151-159)Online publication date: 26-Sep-2022
https://doi.org/10.1109/DS-RT55542.2022.9932069
Show More Cited By

Index Terms

Embedded Control Systems Development with Giotto
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software notations and tools

Recommendations

Embedded Control Systems Development with Giotto
LCTES '01: Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems

Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Giotto is based on the principle that time-triggered task invocations plus ...
Embedded Control Systems Development with Giotto
OM '01: Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems

Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Giotto is based on the principle that time-triggered task invocations plus ...
Verification of Giotto based embedded control systems

An implementation of a control system design may not preserve the functional and timing requirements of the application. Our goal is to verify that an implementation meets the high-level timing and functional specifications of a control application. We ...

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 36, Issue 8

Aug. 2001

245 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/384196

Chairman:
Ron K. Cytron
Washington Univ., St. Louis, MO
,
Editor:
Cindy Norris
Appalachian State Univ., Boone, NC

Issue’s Table of Contents

OM '01: Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
August 2001
250 pages
ISBN:1581134266
DOI:10.1145/384198
Chairmen:
Rastislav Bodik,
Vugranam C. Sreedhar

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: 01 August 2001

Published in SIGPLAN Volume 36, Issue 8

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

40
Total Citations
View Citations
700
Total Downloads

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

Reflects downloads up to 28 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Foughali MMikučionis MZhang M(2024)Scalable Computation of Inter-Core Bounds Through Exact Abstractions2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC)10.1109/COMPSAC61105.2024.00019(61-70)Online publication date: 2-Jul-2024
https://doi.org/10.1109/COMPSAC61105.2024.00019
Karin SAydin HZhu DDrager SAnderson M(2023)Impact of priority assignment on schedule-based attacks in real-time embedded systemsJournal of Systems Architecture10.1016/j.sysarc.2023.103021145(103021)Online publication date: Dec-2023
https://doi.org/10.1016/j.sysarc.2023.103021
Dorr TSchade FAhlbrecht AZaeske WMasing LDurak UBecker J(2022)A Behavior Specification and Simulation Methodology for Embedded Real-Time Software2022 IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)10.1109/DS-RT55542.2022.9932069(151-159)Online publication date: 26-Sep-2022
https://doi.org/10.1109/DS-RT55542.2022.9932069
Hili NGirault AJenn E(2019)Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)10.1109/RTCSA.2019.8864570(1-11)Online publication date: Aug-2019
https://doi.org/10.1109/RTCSA.2019.8864570
McKean DMoreland JDoskey S(2019)Use of model‐based architecture attributes to construct a component‐level trade spaceSystems Engineering10.1002/sys.2147822:2(172-187)Online publication date: 20-Feb-2019
https://doi.org/10.1002/sys.21478
Kloda Td'Ausbourg BSantinelli L(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
https://doi.org/10.1109/SIES.2016.7509414
Bradatsch CKluge FUngerer T(2016)Data Age Diminution in the Logical Execution Time ModelProceedings of the 29th International Conference on Architecture of Computing Systems -- ARCS 2016 - Volume 963710.1007/978-3-319-30695-7_13(173-184)Online publication date: 4-Apr-2016
https://dl.acm.org/doi/10.1007/978-3-319-30695-7_13
Geuns SHausmans JBekooij M(2014)Hierarchical Programming Language for Modal Multi-rate Real-Time Stream Processing ApplicationsProceedings of the 2014 43rd International Conference on Parallel Processing Workshops10.1109/ICPPW.2014.66(453-460)Online publication date: 9-Sep-2014
https://dl.acm.org/doi/10.1109/ICPPW.2014.66
Pree W(2007)Portable and composable real-time software – a disruptive approachEin Paradigmenwechsel hin zu portablen Echtzeit-Softwarekomponentene & i Elektrotechnik und Informationstechnik10.1007/s00502-006-0410-7124:1-2(9-12)Online publication date: Mar-2007
https://doi.org/10.1007/s00502-006-0410-7
Vidler PPont M(2006)Computer assisted source-code parallelisationProceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V10.1007/11751649_3(22-31)Online publication date: 8-May-2006
https://dl.acm.org/doi/10.1007/11751649_3
Show More Cited By

View Options

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.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations