Giotto: a time-triggered language for embedded programming

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

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of the IEEE Vol. 91; no. 1; pp. 84 - 99
Main Authors: Henzinger, T.A., Horowitz, B., Kirsch, C.M.
Format: Journal Article
Language:English
Published: New York, NY IEEE 01.01.2003
Institute of Electrical and Electronics Engineers
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:
Actuators
Application software
Applied sciences
Automatic control
Automation
Communication switching
Communication system control
Computer programs
Computer science; control theory; systems
Control system synthesis
Control theory. Systems
Exact sciences and technology
Logic
Logic programming
Modelling and identification
Platforms
Programming languages
Real time systems
Schedules
Software
Switches
Tasks
Time measurements
Timing
Embedded systems
Formal method
embedded software
Programming language
Control system
real-time systems
System design
Control systems
Abstraction
programming languages
Modeling
Real time system
ISSN:0018-9219, 1558-2256
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
content type line 23
ISSN:0018-9219
1558-2256
DOI:10.1109/JPROC.2002.805825