F. Boussinot and R. De Simone. The ESTEREL language. Proceedings of the IEEE, 79(9):1293-- 1304, September 1991.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....the decision DAG depth) However, the KHEOPS language is not adapted for resources checking and appeared to be quite cumbersome to use. Another interesting approach to prove various formal properties of robotics system is the ORCCAD system[6] This development environment , based on the Esterel [2] language provides some extensions to specify robots tasks and procedures . However, this approach does not address architecture with advanced decisional level such as planners. In [12] the author presents another work related to synchronous language which has some similarities with the work ....

F. Boussinot and R. de Simone. The ESTEREL Language. Proceeding of the IEEE, pages 1293-- 1304, September 1991.

....software, Codesign Finite State Machines ( 2] that are Finite State Machines communicating by event broadcast, with an underlying unbounded reaction delay hypothesis. The system is described by the designer using a specification language for real time reactive systems. At present we use ESTEREL [1] but our system is not intrinsically limited to it and is aimed to accept an array of appropriate languages in the future. After the design is described, it is partitioned by hand into cooperating This author is supported by SRC Contract 94 DC 008. hardware and software modules. The codesign ....

Frederic Boussinot and Robert de Simone. "The ESTEREL language," Proceedings of the IEEE, 79(9):1293--1304, September 1991.

....clock cycle, the number of elements in the queues may vary in time and the desired lengths for the queues are speci ed by the designer. Unlike DDF (Dynamic Data Flow) which implements a run time scheduler, our approach provides a statically scheduled model. In synchronous languages like Esterel [4], Lustre [12] Signal [11] and Statecharts [13] the programmer thinks about a program as reacting instantaneously to external events. Processes are tightly coupled and deterministic, communication being realized by instantaneous broadcasting. Classic work on pipelining optimization by Patel ....

F. Boussinot and R. de Simone. The ESTEREL language. In Proceedings of the IEEE, pages 79(9):1293-1304, September 1991.

....is associated with the basic clock. Also the flow X is associated with the basic clock. The clock of the flow Y is only defined at the instances where the Boolean flow B has the value True. As shown by the example of Z a flow with a slower clock can be up sampled by the operator current . Esterel [22] [14] 16] is an imperative language that is very suitable for the description of control. A program consists of a collection of nested, concurrently running threads that are described in an imperative syntax. Threads communicate with each other by means of signals. In addition to usual control ....

F. Boussinot and R. de Simone. The ESTEREL language. Proceedings of the IEEE, 79(9):1293--1304, September 1991.

.... communication protocols for distributed systems, it is important to briefly explain more broadly the relationship of our work to that of the many tools and techniques available to perform protocol specification, such as the general purpose specification languages CSP [11] LOTOS [9] and Esterel [4, 6], as well as the architecture description languages Wright [1] Darwin [18] and Rapide [14, 15] As we explain in the next section, our approach relies heavily on the formal description of a protocol. Theoretically, we could use any of the popular protocol specification languages. The choice ....

F. Boussinot, and R. de Simone. The ESTEREL Language. In Proceedings of the IEEE, Vol. 79(9): 1293-1304, September 1991.

....nor architectural purposes, textual Ls have gained more popularity than MoCs among synchronous embedded system designs mainly due to their ease of storage and manipulation which leads to less complex supporting tools, e.g. editors, translators and simulators. Languages such as Esterel [10] or Lustre [50] have ruled the L approach to both control and data dominated embedded systems respectively, taking into consideration many features of the design, e.g. concurrency, hierarchy, multi rate clocking, etc. Furthermore, there is a well established community which considers that ....

....operators. This model is suitable for control dominated applications of relatively low algorithmic complexity [20] For instance, the POLIS environment [5, 65, 87] is based on the CFSM model of computation. Within this framework, specifications are given in a higher level language, usually ESTEREL [8 10], and the designer must manually do the partitioning and cosimulation. The later is performed by using the Ptolemy environment [13, 14, 86] which implements an efficient simulator for hierarchical FSM [15] Furthermore, CFSM are not only used within the POLIS framework. An attempt to develop a ....

F. Boussinot and R. De Simone. The ESTEREL language. Proceedings of the IEEE, 79(9):1293--1304, 1991. 41

....systems where sample rates are related by known rational multiples, but in situations where the alignment of events in different signals is irregular, it can be inefficient. A more general model is embodied in the so called synchronous languages [2] Examples of such languages include Esterel [6], Signal [3] and Lustre [15] In synchronous languages, every signal is conceptually (or explicitly) accompanied by a clock signal. The clock signal has meaning relative to other clock signals. It defines the global ordering of events. Thus, when comparing two signals, the associated clock ....

F. Boussinot, R. De Simone, "The ESTEREL Language," Proceedings of the IEEE, Vol. 79, No. 9, September 1991.

....2. Note that in this section, and when referring to reactive models, the term synchronous means zero reaction time, unlike the other computational models where synchronous means clocked. 7 ESTEREL is a language for programming reactive systems under the synchronous model of computation [Bou91]. The language permits to describe concurrent and sequential statements in synchronous systems. In this modeling approach, reactions are instantaneous and outputs are produced simultaneously. The synchronized modules communicate through signals (their status is present or absent) The ....

F. Boussinot and R. de Simone, "The ESTEREL Language," in Proc. IEEE, vol. 79, pp. 1293-1304, Sept. 1991.

....processing systems where sample rates are related by constant rational multiples, but in situations where the alignment of events in different signals is irregular, it can be inefficient. The more general synchronous reactive model is embodied in the so called synchronous languages [22] Esterel [23] is a textual imperative language with sequential and concurrent statements that describe hierarchically arranged processes. Lustre [24] is a textual declarative language with a dataflow flavor and a mechanism for multirate clocking. Signal [25] is a textual relational language, also with a ....

F. Boussinot and R. De Simone, "The ESTEREL language," Proc. of the IEEE, vol. 79, no. 9, 1991.

....has been adopted by e.g. the concurrent functional language BRISK [18] The advantage of the BRISK approach is in ensuring strong determinism without requiring explicit speci cations of time constraints as in Hume. 8 Synchronicity. Synchronous languages such as Signal [5] Lustre [10] Esterel [8, 6] or the visual formalism Statecharts [16] obey the synchrony hypothesis : they assume that all events occur instantaneously, with no passage of time between the occurrence of consecutive events [4] In contrast, asynchronous languages, such as the extended nite state machine languages Estelle ....

F. Boussinot and R. de Simone, \The Esterel Language", Proceedings of the IEEE, 79(9), Sept. 1991, pp. 1293-1304.

....and logical operators. To describe a CFSM network, Chiodo et al. 15] uses a specific representation format called SHIFT, which is itself a multi valued extension of the Berkeley Logic Interchange Format (BLIF) 10, 56] Specifications are given in a higher level language, usually ESTEREL [9, 8, 7], and the designer must manually do the partitioning. However, Polis provides an integrated environment for rapid prototyping, fast co simulation and formal verification. Cosimulation is based on software timing estimates [44] and both, hardware and software, are simulated in the Ptolemy ....

F. Boussinot and R. D. Simone. The ESTEREL language. Proceedings of the IEEE, 79(9):1293--1304, 1991.

....clock cycle, the number of elements in the queues may vary in time and the desired lengths for the queues are specified by the designer. Unlike DDF (Dynamic Data Flow) which implements a run time scheduler, our approach provides a statically scheduled model. In synchronous languages like Esterel [4], Lustre [11] Signal [10] and Statecharts [12] the programmer thinks about a program as reacting instantaneously to external events. Processes are tightly coupled and deterministic, communication being realized by instantaneous broadcasting. Classic work on pipelining optimization by Patel [17] ....

F. Boussinot and R. de Simone. The ESTEREL language. In Proceedings of the IEEE, pages 79(9):1293--1304, September 1991.

....language described in section 3. By several points, this language is close to temporal logics and to sequential circuits. The former aspect is appealing for computer science students. The latter makes it easier to understand Lustre programming for electrical engineering students. 4 Esterel [8] (section 4) is the oldest, and in our opinion the most representative, synchronous language. Its programming style is imperative. The kernel language, restricted to pure signals, is rather simple, and its semantics can be mathematically characterized by a score of rewriting rules. The issue of ....

F. Boussinot and R. De Simone. The esterel language. Proceeding of the IEEE, 79(9):1293-- 1304, September 1991.

....hardware through co design) all this is performed on sound formal bases. The analysis and verification techniques handle 2 the logical time aspects of discrete event systems. Synchronous languages A family of languages is based on the synchronous hypothesis, featuring among others Esterel [6], Lustre [7] and Signal [8] In Statecharts [9] the semantics of parallelism (called orthogonality) is consistent with the synchronous parallel composition. These languages all have complete environments, with sets of tools based upon their formal semantics, and which support specification, ....

F. Boussinot and R. de Simone. -- The esterel language. -- Proc. of the IEEE, 9(79):1293--1304, September 1991.

....sont a traiter avec le plus grand soin. L approche synchrone Les problemes poses par la modelisation et la programmation des systemes reactifs ne trouvent pas de solutions satisfaisantes dans le cadre de la programmation traditionnelle. Les langages synchrones [2] en particulier ESTEREL [3], ont ete introduits pour repondre a ces problemes : # Prise en compte des sp ecificit es des syst emes r eactifs : le parallelisme, la communication et la preemption sont des concepts de base du langage ESTEREL.Ses primitives reactives et son style imperatif permettent d exprimer ....

F. Boussinot and R. De Simone. The ESTEREL language. Proceeding of the IEEE, 79(9):1293--1304, September 1991.

....reactive computation tasks satisfy the conditions for bounded compilability discused in Section 3. In particular they do not use embedded parametric asks which also contain the seeds of arbitrary recursion. 6.1. 1 A simple mouse controller The task is to program a clock controller for a mouse [BdS91] The program may assume that it is controlled by the environment using start and stop signals. The task of the program is to count the number of mouse clicks that occur during each such interval, and output none, single or many depending on whether there are zero, one or more clicks. Our ....

....it is controlled by the environment using start and stop signals. The task of the program is to count the number of mouse clicks that occur during each such interval, and output none, single or many depending on whether there are zero, one or more clicks. Our solution is similar to the one in [BdS91] A process (mouse zero(X) is set up whose task is to accumulate in X the number of clicks that occur. The process ceases looking at the click signal once the count reaches two; instead it maintains forever the count two. The process is aborted by the stop signal, which also triggers off a ....

Frederic Boussinot and Robert de Simone. The esterel language. Proceedings of the IEEE, 79(9):1293 -- 1304, 1991.

No context found.

F. Boussinot and R. De Simone. The ESTEREL language. Proceedings of the IEEE, 79(9):1293-- 1304, September 1991.

No context found.

F. Boussinot and R. de Simone. The Esterel Language. Proceedings of the IEEE, September 1991.

No context found.

F. Boussinot and R. de Simone, "The ESTEREL language," Proceedings of the IEEE, vol. 79, pp. 1293-1304, 1991.

No context found.

Boussinot, F., de Simone, R.: The Esterel language. Proc. IEEE 79 (1991) 1293--1304

No context found.

F. Boussinot and R. de Simone, "The ESTEREL Language," Proceeding of the IEEE, pp. 1293--1304, September 1991.

No context found.

F. Boussinot and R. de Simone. The ESTEREL Language. In Proceedings of the IEEE, September 1991.

No context found.

F. Boussinot and R. de Simone. The esterel language. Proceedings of the IEEE, 9(79):1293--1304, September 1991.

No context found.

Boussinot, F., and de Simone, R. The Esterel language. Proceedings of the IEEE (Sept. 1991), 1293--1304.

No context found.

F. Boussinot and R. de Simone, "The ESTEREL Language, " Proceeding of the IEEE, pp. 1293--1304, September 1991.

First 50 documents  Next 50

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