Gerard Berry  Home/Search
Context Related
| sop.inria.fr/meije/e...wristwatch.ps.gz sop.inria.fr/meije/este...wristwatch.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: sop.inria.fr/me...rogramexamples (more) From: sop.inria.fr/me...rogramexamples (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We study how to program a reasonably complex digital wristwatch in Esterel, how to simulate the Esterel program under the Esterel v3 system, and how to execute the generated C code in a fullscreen simulation of the wristwatch under Unix. This is not intended to be a research on wristwatchs, but a good example of a medium-size Esterel program where many non-trivial and interesting details have to be taken care of. We put a particular emphasis on architectural questions, on modularity... (Update)
Context of citations to this paper: More
...programming development and gives ESTEREL a slight flavour of object orientation. For an example of such programming techniques see [Be89]. Of course, infinitely fast machines do not exist in reality but it suffices if every reaction is guaranteed to be completed before the...
...we put more emphasis on preemption operators design and semantics. We give only a few illustrative example. The reader can refer to [2, 7, 11, 16, 25] for detailed programming examples using Esterel. In Section 2, we present the basic concepts of process preemption. We...
Cited by: More
Programming Languages: Specification - Rajan (1998) (Correct)
The Semantics of Pure Esterel - Berry (1993) (Correct)
For a New Real-Time Methodology - Gautier, Le Guernic, Maffeïs (1994) (Correct)
Similar documents based on text: More All
0.6: The Esterel Synchronous Programming Language: Design.. - Berry, Gonthier (1992) (Correct)
0.5: Esterel Meets Java: Building Reactive Synchronous Programs in.. - Fekete, Richard (Correct)
0.5: Specification and Verification of Interactors: A Tour of.. - Fekete, Richard.. (Correct)
Related documents from co-citation: More All
7: Communicating Sequential Processes (context) - Hoare - 1985
7: The Esterel synchronous programming language: Design - Berry, Gonthier - 1992
6: The synchronous approach to reactive and real-time systems (context) - Benveniste, Berry - 1991
BibTeX entry: (Update)
G. Berry. Programming a digital watch in Esterel v3 2. Rapport de recherche 08/91, Centre de Math'ematiques Appliqu'ees, Ecole des Mines de Paris, Sophia-Antipolis, 1991. http://citeseer.ist.psu.edu/berry91programming.html More
@techreport{ berryberryprogramming,
author = "G. Berry",
title = "Programming a digital watch in Esterel v3",
number = "RR-1032",
pages = "46 p.",
url = "citeseer.ist.psu.edu/berry91programming.html" }
Citations (may not include all citations):1 to appear in Science of Computer Programming (context) - Report - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-sop.inria.fr/meije/esterel/doc/program-examples.html): More
Programming a Reflex Game in Esterel v3 - Bernhard, Berry, Boussinot.. (Correct)
Incremental Development of an HDLC Protocol in ESTEREL - Berry, Gonthier (1988) (Correct)
Programming a Reflex Game in Esterel v3 - Bernhard, Berry, Boussinot.. (Correct)
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