Giotto: a time-triggered language for embedded programming
Top Cited Papers
- 29 January 2003
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 91 (1) , 84-99
- https://doi.org/10.1109/jproc.2002.805825
Abstract
Giotto provides an abstract programmer's model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic software tasks together with a mode-switching logic for enabling and disabling tasks. Giotto specifies time-triggered sensor readings, task invocations, actuator updates, and mode switches independent of any implementation platform. Giotto can be annotated with platform constraints such as task-to-host mappings, and task and communication schedules. The annotations are directives for the Giotto compiler, but they do not alter the functionality and timing of a Giotto program. By separating the platform-independent from the platform-dependent concerns, Giotto enables a great deal of flexibility in choosing control platforms as well as a great deal of automation in the validation and synthesis of control software. The time-triggered nature of Giotto achieves timing predictability, which makes Giotto particularly suitable for safety-critical applications.Keywords
This publication has 18 references indexed in Scilit:
- A survey of architecture description languagesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Time-Safety Checking for Embedded ProgramsPublished by Springer Nature ,2002
- A Giotto-Based Helicopter Control SystemPublished by Springer Nature ,2002
- The embedded machinePublished by Association for Computing Machinery (ACM) ,2002
- Embedded Control Systems Development with GiottoPublished by Association for Computing Machinery (ACM) ,2001
- Scheduling AlgorithmsPublished by Springer Nature ,2001
- Masaccio: A Formal Model for Embedded ComponentsPublished by Springer Nature ,2000
- Fast and Precise WCET Prediction by Separated Cache and Path AnalysesReal-Time Systems, 2000
- Process scheduling for performance estimation and synthesis of hardware/software systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1998
- Synchronous Programming of Reactive SystemsPublished by Springer Nature ,1993