Giotto

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


References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas: Shrinking timed automata (2014)
  2. Ghosal, Arkadeb; Iercan, Daniel; Kirsch, Christoph M.; Henzinger, Thomas A.; Sangiovanni-Vincentelli, Alberto: Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code (2012)
  3. Wang, Dong; Abdelzaher, Tarek; Priyantha, Bodhi; Liu, Jie; Zhao, Feng: Energy-optimal batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study (2012)
  4. Chandy, K.Mani; Go, Brian; Mitra, Sayan; Pilotto, Concetta; White, Jerome: Verification of distributed systems with local-global predicates (2011)
  5. Pagetti, Claire; Forget, Julien; Boniol, Frédéric; Cordovilla, Mikel; Lesens, David: Multi-task implementation of multi-periodic synchronous programs (2011)
  6. Rysavy, Ondrej; Rab, Jaroslav: A formal model of composing components: the TLA$^+$ approach (2009)
  7. Alur, Rajeev; Chandrashekharapuram, Arun: Dispatch sequences for embedded control models (2007)
  8. Carlson, Jan; Håkansson, John; Pettersson, Paul: Saveccm: An analysable component model for real-time systems. (2006)
  9. Madl, Gabor; Abdelwahed, Sherif; Schmidt, Douglas C.: Verifying distributed real-time properties of embedded systems via graph transformations and model checking (2006)
  10. Szemethy, Tivadar: Case study: Model transformations for time-triggered languages. (2006)
  11. Altisen, Karine; Tripakis, Stavros: Implementation of timed automata: An issue of semantics or modeling? (2005)
  12. Stieglbauer, Gerald; Werner, Andreas: Modellierung von deterministischer Software in Simulink (2005)
  13. Sha, Lui; Abdelzaher, Tarek; Årzén, Karl-Erik; Cervin, Anton; Baker, Theodore; Burns, Alan; Buttazzo, Giorgio; Caccamo, Marco; Lehoczky, John; Mok, Aloysius K.: Real time scheduling theory: A historical perspective (2004)
  14. Henzinger, Thomas A.; Horowitz, Benjamin; Meyer Kirsch, Christoph: Giotto: A time-triggered language for embedded programming (2001)