Embedded Control Systems Development with Giotto

Authors:
Thomas A. Henzinger;Benjamin Horowitz;Christoph Meyer Kirsch
Affiliations:
University of California, Berkeley, CA;University of California, Berkeley, CA;University of California, Berkeley, CA
Venue:
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Year:
2001

Citing 9
Cited 22

Synchronous programming with events and relations: the SIGNAL language and its semantics

Science of Computer Programming
Performance analysis of embedded software using implicit path enumeration

LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
The foundations of Esterel

Proof, language, and interaction
Fast and Precise WCET Prediction by Separated Cache andPath Analyses

Real-Time Systems - Special issue on worst-case execution-time analysis
Real-Time Systems: Design Principles for Distributed Embedded Applications

Real-Time Systems: Design Principles for Distributed Embedded Applications
Synchronous Programming of Reactive Systems

Synchronous Programming of Reactive Systems
MetaH Support for Real-Time Multi-Processor Avionics

WPDRTS '97 Proceedings of the 1997 Joint Workshop on Parallel and Distributed Real-Time Systems (WPDRTS / OORTS '97)
A Survey of Architecture Description Languages

IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Giotto: a Time-triggered Language for Embedded Programming

Giotto: a Time-triggered Language for Embedded Programming

Scheduler Modeling Based on the Controller Synthesis Paradigm

Real-Time Systems
An object-oriented tool for simulating distributed real-time control systems

Software—Practice & Experience
Synthesis of Robust Control Systems under Resource Constraints

HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Embedded Software Market Transformation through Reusable Frameworks

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
The nesC language: A holistic approach to networked embedded systems

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Synchronous Modeling of Avionics Applications using the SIGNAL Language

RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications

Proceedings of the conference on Design, automation and test in Europe - Volume 2
Design for Timing Predictability

Real-Time Systems
Transparent distribution of real-time components based on logical execution time

LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Real-time component integration based on transparent distribution

SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
Semantics-based optimization across uncoordinated tasks in networked embedded systems

Proceedings of the 5th ACM international conference on Embedded software
A real-time garbage collection framework for embedded systems

SCOPES '05 Proceedings of the 2005 workshop on Software and compilers for embedded systems
Polychronous design of embedded real-time applications

ACM Transactions on Software Engineering and Methodology (TOSEM)
Model-Driven Development of FlexRay-Based Systems with the Timing Definition Language (TDL)

SEAS '07 Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems
Verification of Giotto based embedded control systems

Nordic Journal of Computing
Modeling with the Timing Definition Language (TDL)

Model-Driven Development of Reliable Automotive Services
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL

Electronic Notes in Theoretical Computer Science (ENTCS)
Designing real-time embedded controllers using the anytime computing paradigm

ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Computer assisted source-code parallelisation

ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
Computing platforms

Embedded Systems Design
The zerberus language: describing the functional model of dependable real-time systems

LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Bus scheduling for TDL components

Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components

Quantified Score

Hi-index	0.00

Visualization

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.