Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A.A. Sanvido  Home/Search
Context Related
| berkeley.edu/~tah/...execution_times.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/~t...execution_times (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (logical execution time) assumption: the programmer specifies when the outputs of a task become available, and the compiler checks if the specification can be implemented on a given platform. However, while the predecessor language GIOTTO was purely time-triggered, XGIOTTO accommodates also asynchronous events.... (Update)
Cited by: More
A Preliminary Report on the Embedded Virtual Machine - Arkadeb Ghosal Marco (Correct)
Active bibliography (related documents): More All
0.5: Distributed Schedule Carrying Code - Thomas Henzinger Christoph (Correct)
0.5: Schedule-Carrying Code - Thomas Henzinger Christoph (2003) (Correct)
0.3: Towards Correctness-Preserving Synthesis for.. - Huang, Voeten.. (Correct)
Similar documents based on text: More All
0.5: From Control Models to Real-Time Code - Using Giotto Thomas (Correct)
0.4: Unknown - Present Methodology For (Correct)
0.2: A Giotto-based Helicopter Control System - Kirsch, Sanvido, Henzinger, Pree (2002) (Correct)
BibTeX entry: (Update)
Ghosal, A., Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.A.: Event-driven programming with logical execution times. In: HSCC 04: Hybrid Systems Computation and Control. Lecture Notes in Computer Science 2993. Springer-Verlag (2004) 357--371 http://citeseer.ist.psu.edu/ghosal04eventdriven.html More
@misc{ ghosal04eventdriven,
author = "A. Ghosal and T. Henzinger and C. Kirsch and M. Sanvido",
title = "Event-driven programming with logical execution times",
text = "Ghosal, A., Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.A.: Event-driven
programming with logical execution times. In: HSCC 04: Hybrid Systems Computation
and Control. Lecture Notes in Computer Science 2993. Springer-Verlag (2004)
357--371",
year = "2004",
url = "citeseer.ist.psu.edu/ghosal04eventdriven.html" }
Citations (may not include all citations):270 Synchronous Programming of Reactive Systems (context) - Halbwachs - 1993
242 Concurrent Programming in Erlang - Armstrong, Virding et al. - 1992
235 The synchronous data-flow programming language Lustre - Halbwachs, Caspi et al. - 1991
79 The Esterel language (context) - Boussinot, de Simone - 1991
69 Real-Time Systems and Programming Languages (context) - Burns, Wellings - 2001
66 The nesC language: a holistic approach to networked embedded.. - Gay, Levis et al. - 2003
57 Real-time Euclid: a language for reliable real-time systems (context) - Kligerman, Stoyenko - 1986
44 Building flexible real-time systems using the Flex language (context) - Kenny, Lin - 1991
44 Hard Real-Time Computing Systems (context) - Buttazzo - 1997
39 GIOTTO: a time-triggered language for embedded programming - Henzinger, Horowitz et al. - 2003
14 Time-safety checking for embedded programs - Henzinger, Kirsch et al. - 2002
12 The Embedded Machine: predictable (context) - Henzinger, Kirsch - 2002
8 From control models to real-time code using GIOTTO (context) - Henzinger, Kirsch et al. - 2003
4 Timed multitasking for real-time embedded software - Liu, Lee - 2003
3 A tool for verifying real-time properties of embedded system.. (context) - Bertin, Closse et al. - 2001
3 From Simulink to ScadeLustre to TTA layered approach distrib.. (context) - Maignan, Niebert et al. - 2003
3 A programmable microkernel for real-time systems (context) - Kirsch, Henzinger et al. - 2003
1 XGIOTTO language report (context) - Sanvido, Ghosal et al. - 2003
1 Clock-driven automatic distribution of Lustre programs (context) - Girault, Nicollin - 2003
1 Automatic production of globally asynchronous (context) - Girault, Menier - 2002
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC