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 species timetriggered sensor readings, task invocations, 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
exibility in choosing control platforms as well as a great deal of automation in the validation and synthesis of control software. The timetriggered nature of Giotto achieves timing predictability, which makes Giotto particularly suitable for safety-critical applications. 1
|
7715
|
Computers and Intractability: A Guide to the Theory of NP-Completeness
– Garey, Johnson
- 1979
|
|
335
|
The synchronous data flow programming language
– Halbwachs, Caspi, et al.
- 1991
|
|
330
|
Synchronous Programming of Reactive Systems
– Halbwachs
- 1993
|
|
263
|
Real-Time Systems: Design Principles for Distributed Embedded Applications
– Kopetz
- 1997
|
|
248
|
Scheduling – Theory, Algorithms and Systems
– Pinedo
|
|
152
|
Scheduling Algorithms
– Brucker
- 2004
|
|
141
|
Holistic Schedulability Analysis for Distributed Hard Real-Time Systems
– Tindell, Clark
- 1994
|
|
134
|
The foundations of ESTEREL
– Berry
- 2000
|
|
96
|
Project Oberon: The Design of an Operating System and Compiler
– Wirth, Gutknecht
- 1992
|
|
92
|
Synchronous programming with events and relations: the SIGNAL language and its semantics
– Benveniste, Guernic, et al.
- 1991
|
|
68
|
Features of Architecture Description Languages.” Draft of a CMU/SEI
– Kogut, Clements
- 1994
|
|
50
|
The Embedded Machine: Predictable, Portable Real-Time Code
– Henzinger, Kirsch
- 2002
|
|
33
|
The synchronous data programming language Lustre
– Halbwachs, Caspi, et al.
- 1991
|
|
31
|
Masaccio: A Formal Model for Embedded Components
– Henzinger
|
|
31
|
Embedded control systems development with giotto
– Henzinger, Horowitz, et al.
- 2001
|
|
29
|
Fast and Precise WCET Prediction by Separated Cache and Path Analyses. Real-Time Systems
– Theiling, Ferdinand, et al.
- 2000
|
|
24
|
Performance Analysis of Real-Time Embedded Software
– Li, Malik
- 1998
|
|
19
|
Time-safety checking for embedded programs
– Henzinger, Kirsch, et al.
- 2002
|
|
18
|
A Giotto-based helicopter control system
– Kirsch, Sanvido, et al.
- 2002
|
|
16
|
The Foundations of Esterel. Proof, Language and Interaction: Essays in Honour of
– Berry
- 1998
|
|
15
|
The synchronous data ow programming language LUSTRE
– Halbwachs, Caspi, et al.
- 1991
|
|
15
|
The design of real-time systems: from specification to implementation and verification
– Kopetz, Zainlinger, et al.
- 1991
|
|
14
|
MetaH support for real-time multi-processor avionics
– Vestal
- 1997
|
|
14
|
Ptolemy II: Heterogeneous concurrent modeling and design in Java
– Davis
- 1999
|
|
11
|
Scheduling and communication in MetaH
– Vestal, Binns
- 1993
|
|
10
|
A computer system for model helicopter flight control; Technical memo 3: The software core
– Sanvido
- 1999
|
|
6
|
A Computer System for Model Helicopter Flight Control; Technical Memo 6: The Oberon Compiler for the StrongARM Processor
– Wirth
- 1999
|
|
4
|
Process scheduling for performance estimation and synthesis of hardware/software systems
– Eles, Kuchcinski, et al.
- 1998
|
|
4
|
The design of real-time systems: from speci cation to implementation and veri cation
– KOPETZ, ZAINLINGER, et al.
- 1991
|
|
4
|
Holistic Schedulability for Distributed Hard Real-Time Systems
– Tindell, Clark
- 1994
|
|
3
|
Fly-by-wire systems for military high-performance aircraft,” in Real-Time Systems: Engineering and Applications
– Langer, Rauch, et al.
- 1992
|
|
2
|
Fly-by-wire flight control. Computing and Control Engineering, 10:141-- 152
– Collinson
- 1999
|
|
2
|
Control of helicopters,” in Control of Complex Systems
– Chapuis, Eck, et al.
- 1999
|
|
2
|
Scheduling and communication
– Vestal, Binns
- 1993
|
|
2
|
Fly-by-wire flight control
– Collinson
- 1999
|
|
1
|
Fly-by-wire ight control
– Collinson
- 1999
|
|
1
|
The Embedded Machine
– Kirsch
- 2001
|
|
1
|
Real-time Systems: Engineering and Applications, chapter 14
– Langer, Rauch, et al.
- 1992
|
|
1
|
Fly-by-wire control. Computing & Control Engineering
– Collinson
- 1999
|
|
1
|
Fly-by-wire flight control,” Comput
– Collinson
- 1999
|
|
