Article

Embedded Control Systems Development with Giotto

Authors:

Thomas A. Henzinger,

Benjamin Horowitz,

Christoph Meyer KirschAuthors Info & Claims

LCTES '01: Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems

Pages 64 - 72

https://doi.org/10.1145/384197.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

Lohstroh MBateni SMenard CSchulz-Rosengarten ACastrillon JLee E(2024)Deterministic Coordination across Multiple TimelinesACM Transactions on Embedded Computing Systems10.1145/361535723:5(1-29)Online publication date: 14-Aug-2024
https://dl.acm.org/doi/10.1145/3615357
Lall SCaşcaval CIzzard MSpalink T(2024)Logical Synchrony and the Bittide MechanismIEEE Transactions on Parallel and Distributed Systems10.1109/TPDS.2024.344473935:11(1936-1948)Online publication date: Nov-2024
https://doi.org/10.1109/TPDS.2024.3444739
Burns ABaruah S(2024)Multi-model workload specifications and their application to cyber-physical systemsResearch Directions: Cyber-Physical Systems10.1017/cbp.2024.22Online publication date: 3-May-2024
https://doi.org/10.1017/cbp.2024.2
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

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

LCTES '01: Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems

August 2001

250 pages

ISBN:1581134258

DOI:10.1145/384197

Chairmen:
Seongsoo Hong
Snow Bird, UT
,
Santosh Pande
Snow Bird, UT

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

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

LCTES01

Sponsor:

SIGPLAN

LCTES01: Workshop on Languages, Compilers and Tools for Embedded Systems 2001 ( co-located with PLDI 2001 )

Utah, Snow Bird, USA

Acceptance Rates

Overall Acceptance Rate 116 of 438 submissions, 26%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

33
Total Citations
View Citations
735
Total Downloads

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

Reflects downloads up to 04 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lohstroh MBateni SMenard CSchulz-Rosengarten ACastrillon JLee E(2024)Deterministic Coordination across Multiple TimelinesACM Transactions on Embedded Computing Systems10.1145/361535723:5(1-29)Online publication date: 14-Aug-2024
https://dl.acm.org/doi/10.1145/3615357
Lall SCaşcaval CIzzard MSpalink T(2024)Logical Synchrony and the Bittide MechanismIEEE Transactions on Parallel and Distributed Systems10.1109/TPDS.2024.344473935:11(1936-1948)Online publication date: Nov-2024
https://doi.org/10.1109/TPDS.2024.3444739
Burns ABaruah S(2024)Multi-model workload specifications and their application to cyber-physical systemsResearch Directions: Cyber-Physical Systems10.1017/cbp.2024.22Online publication date: 3-May-2024
https://doi.org/10.1017/cbp.2024.2
Gemlau KKohler LErnst R(2021)A Platform Programming Paradigm for Heterogeneous Systems IntegrationProceedings of the IEEE10.1109/JPROC.2020.3035874109:4(582-603)Online publication date: Apr-2021
https://doi.org/10.1109/JPROC.2020.3035874
Lohstroh MMenard CSchulz-Rosengarten AWeber MCastrillon JLee E(2020)A Language for Deterministic Coordination Across Multiple Timelines2020 Forum for Specification and Design Languages (FDL)10.1109/FDL50818.2020.9232939(1-8)Online publication date: 15-Sep-2020
https://doi.org/10.1109/FDL50818.2020.9232939
Martinez JSañudo IBertogna M(2020)End-to-end latency characterization of task communication models for automotive systemsReal-Time Systems10.1007/s11241-020-09350-3Online publication date: 19-Jun-2020
https://doi.org/10.1007/s11241-020-09350-3
Nasri MChantem TBloom GGerdes R(2019)On the Pitfalls and Vulnerabilities of Schedule Randomization Against Schedule-Based Attacks2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS.2019.00017(103-116)Online publication date: Apr-2019
https://doi.org/10.1109/RTAS.2019.00017
Westmijze MBekooij MSmit G(2014)Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)10.1109/SAMOS.2014.6893223(290-298)Online publication date: Jul-2014
https://doi.org/10.1109/SAMOS.2014.6893223
Ayestaran INicolas CPerez JPuschner P(2014)Modeling logical execution time based safety-critical embedded systems in SystemC2014 3rd Mediterranean Conference on Embedded Computing (MECO)10.1109/MECO.2014.6862662(77-80)Online publication date: Jun-2014
https://doi.org/10.1109/MECO.2014.6862662
Borde E(2013)Software Engineering for Adaptative Embedded SystemsDistributed Systems10.1002/9781118601365.ch8(159-190)Online publication date: 13-Feb-2013
https://doi.org/10.1002/9781118601365.ch8
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