Giotto: A time-triggered language for embedded programming

DOI10.1007/3-540-45449-7_12MaRDI QIDQ4473721zbMATH OpenFDO

Authors Benjamin Horowitz, Christoph Meyer Kirsch, Thomas A. Henzinger

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2211/22110166.htm

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Time-safety checking for embedded programs
• Verification of Giotto based embedded control systems
• A Giotto-based helicopter control system
• Hybrid Systems: Computation and Control
• Embedded systems and real-time programming

Cited in

(18)

• Giotto
• Isolation scheduling on multicores: model and scheduling approaches
• Shrinking timed automata
• Distributed implementation of a process-algebra based programming language for embedded systems
• Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
• Analyzing Real-Time Event-Driven Programs
• Verification of distributed systems with local-global predicates
• Energy-optimal batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study
• Platform-based embedded software design for multi-vehicle multi-modal systems
• A Giotto-based helicopter control system
• Time-safety checking for embedded programs
• On implementable timed automata
• DMAC: Deadline-Miss-Aware Control
• Hybrid Systems: Computation and Control
• Verification of Giotto based embedded control systems
• Generalizing logical execution time
• Specification and verification of multi-clock systems using a temporal logic with clock constraints
• Verifying distributed real-time properties of embedded systems via graph transformations and model checking

Describes a project that uses

Uses Software

• SIGNAL

This page was built for publication: Giotto: A time-triggered language for embedded programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473721)