Giotto: A Time-Triggered Language for Embedded Programming

Henzinger, Thomas A.; Horowitz, Benjamin; Kirsch, Christoph

doi:10.1007/3-540-45449-7_12

Cited by 210 publications

(85 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Programming and implementing such mechanisms manually can be very tedious and error prone. High level software architecture languages, such as AADL (Feiler et al 2006), GIOTTO (Henzinger et al 2003) or CLARA (Faucou et al 2004) for instance, aim at simplifying the specification of the communication and synchronization requirements, and at generating the corresponding low level code automatically. The objective of our work is similar.…”

Section: Concurrent Executionmentioning

confidence: 99%

Multi-task Implementation of Multi-periodic Synchronous Programs

Pagetti

Forget

Boniol

et al. 2011

Discrete Event Dyn Syst

View full text Add to dashboard Cite

This article presents a complete scheme for the integration and the development of multi-periodic critical embedded systems. A system is formally specified as a modular and hierarchical assembly of several locally mono-periodic synchronous functions into a globally multi-periodic synchronous system. To support this, we introduce a real-time software architecture description language, named Prelude, which is built upon the synchronous languages and which provides a high level of abstraction for describing the functional and the real-time architecture of a multiperiodic control system. A program is translated into a set of real-time tasks that can be executed on a monoprocessor real-time platform with an on-line priority-based scheduler such as Deadline-Monotonic or Earliest-Deadline-First. The compilation is formally proved correct, meaning that the generated code respects the real-time semantics of the original program (respect of periods, deadlines, release dates and precedences) as well as its functional semantics (respect of variable consumption).

show abstract

Section: Concurrent Executionmentioning

confidence: 99%

Multi-task Implementation of Multi-periodic Synchronous Programs

Pagetti

Forget

Boniol

et al. 2011

Discrete Event Dyn Syst

View full text Add to dashboard Cite

show abstract

“…This leads to a globally asynchronous and locally synchronous (GALS) architecture for reactive systems. Giotto [ 10] integrates multirate time-triggered architecture with finite state machines. The open control platform (OCP) [19] integrates a prioritized publish and subscribe model for event dispatching with priority-driven multitasking on single nodes.…”

Section: Discussionmentioning

confidence: 99%

Motivating hierarchical run-time models in measurement and control systems

Liu

Jefferson

Lee

2001

Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148)

View full text Add to dashboard Cite

show abstract

“…Typical dataflow scheduling optimize for throughput (Ha and Lee 1997;Chao and Sha 1997), dynamic memory usage (Buck 1993), or code size (Bhattacharyya et al 1999). Our task model is also inspired by time-triggered architectures and languages, such as Henzinger et al (2001). In these models, tasks are woken up periodically to process their inputs and produce their outputs.…”

Section: Related Workmentioning

confidence: 99%

Energy-optimal Batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study

et al. 2011

View full text Add to dashboard Cite

This paper derives energy-optimal batching periods for asynchronous multistage data processing on sensor nodes in the sense of minimizing energy consumption while meeting end-to-end deadlines. Batching the processing of (sensor) data maximizes processor sleep periods, hence minimizing the wakeup frequency and the corresponding overhead. The algorithm is evaluated on mPlatform, a next-generation heterogeneous sensor node platform equipped with both a low-end microcontroller (MSP430) and a higher-end embedded systems processor (ARM). Experimental results show that the total energy consumption of mPlatform, when processing data flows at their optimal batching periods, is up to 35% lower than that for uniform period assignment. Moreover, processing data at the appropriate processor can use as much as 80% less energy than running the same task set on the ARM alone and 25% less energy than running the task set on the MSP430 alone.

show abstract

Giotto: A Time-Triggered Language for Embedded Programming

Cited by 210 publications

References 13 publications

Multi-task Implementation of Multi-periodic Synchronous Programs

Multi-task Implementation of Multi-periodic Synchronous Programs

Motivating hierarchical run-time models in measurement and control systems

Energy-optimal Batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study

Contact Info

Product

Resources

About