Thierry Gautier, Paul Le Guernic, and Olivier Maoee#s. For a new real-time methodology. Research Report 2364, INRIA, October 1994. http://www.inria.fr/RRRT/RR-2364.html. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Co-inductive Axiomatization of a Synchronous Language - Nowak, Beauvais, Talpin (1998) (2 citations) (Correct)
....The process z : x cell y memorizes values of x and outputs them when y is true. Delays can be made of n instants, or on windows of n past values. Arrays of signals and of processes are available as well. Example We design a counter modulo n (This kind of counter is useful to design a watch [8]) This process 1 has a constant parameter n. It has two input signals top sortie and top incr which are respectively present when the counter value is required and when the counter value must be incremented. These two signals do not have values. We say that they are of type event which is a ....
Thierry Gautier, Paul Le Guernic, and Olivier Maffeis. For a New Real-Time Methodology. Research report, INRIA, 1994.
A translation of Statecharts and Activitycharts.. - Beauvais.. (1998) (2 citations) Self-citation (Gautier Le guernic) (Correct)
....r#actifs temps r#els, langages synchrones, interop#rabilit#, g#n#ration de code A translation of Statecharts and Activitycharts into Signal equations 3 1 Introduction 1. 1 Context and objective Dioeerent languages exist for the design of reactive systems: the languages Lustre [8] and Signal [6], 3] are declarative and equational data AEow languages, while Esterel [5] Statecharts [9] and Argos [15] are imperative sequencing languages. The choice between the declarative and the imperative approach has an inAEuence upon facility to handle a given application area. For instance, ....
.... of the Sacres project are: British Aerospace (UK) aircraft builder; i Logix (UK) who develop and distribute StateMate, the environment for designing in Statecharts; INRIA (France) a research institute where new technologies are dened and developped around the synchronous language Signal [6]; OFFIS (Germany) research institute bringing verication technology; Siemens (Germany) where controllers for industrial processes are developped; SNECMA (France) builder of aircraft engines; TNI (France) who develop and distribute the Sildex tool and the Signal language; the Weizmann Institute ....
[Article contains additional citation context not shown here]
Thierry Gautier, Paul Le Guernic, and Olivier Maoee#s. For a new real-time methodology. Research Report 2364, INRIA, October 1994. http://www.inria.fr/RRRT/RR-2364.html.
A translation of Statecharts into Signal - Beauvais, Gautier, Le Guernic.. (1998) Self-citation (Gautier Le guernic) (Correct)
....to the Signal tools from a Statecharts specification: verification, efficient distributed compact code generation using the clock calculus available in Signal. 1 Introduction 1. 1 Objective Different languages exist for the design of reactive systems: the languages Lustre [6] and Signal [5], 2] are declarative and equational data flow languages, while Esterel [4] Statecharts [7] and Argos [12] are imperative ones. The choice between the declarative and the imperative approach has an influence upon facility to handle a given application area. For instance, declarative languages ....
....specific feature of a Statecharts is given. For more information about the semantical foundations of this translation see [15] 2 Signal: a synchronous declarative language Signal is a synchronous real time language, declarative, data flow oriented and built around a minimal kernel of operators [5], 2] It manipulates signals, which are unbounded series of typed values (e.g. integer, logical) They have an associated clock defined as the set of instants where values are present. Given a signal X, its clock is CX obtained by CX : event X, giving the event present simultaneously with X. ....
Thierry Gautier, Paul Le Guernic, and Olivier Maffeis. For a new real-time methodology. Technical Report 2364, INRIA, Octobre 1994.
Experiments With The Synchronous Methodology Illustrating.. - Le Guernic, Rutten (1996) Self-citation (Le guernic) (Correct)
....definition of the synchronous model is at the base of predictability preserving transformation tools between different levels of design. Synchronous models provide for more compact representations, hence facilitating the scaling up performance of such tools. This approach induces a methodology (Gautier e.a. 1994) where these functionalities are used to go from the original (possibly partial) specification to final (possibly distributed) implementation. Various experiments have been performed with Signal and the methodology associated to its use, some made in cooperation with industrial partners. Among ....
....to final (possibly distributed) implementation. Various experiments have been performed with Signal and the methodology associated to its use, some made in cooperation with industrial partners. Among them were systems for speech recognition (Le Guernic e.a. 1989) digital watch control (Gautier e.a. 1994), active vision in robotics (Marchand, E. e.a. 1996) the control of a production cell (In Lewerentz e.a. 1995) the control of an electrical power transformer station (Marchand, H. e.a. 1995) and behavioural animation in computer graphics. This particular paper illustrates the practical ....
[Article contains additional citation context not shown here]
Gautier, T., Le Guernic, P., Maffeis, O. (1994). For a New Real-Time Methodology. INRIA Research Report no. 2364 (FTP: ftp.inria.fr, INRIA/publication/RR/RR-2522.ps.gz).
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