G. Berry. The foundations of Esterel. Proof, Language and Interaction: Essays in Honour of Robin Milner, 2000. Editors: G. Plotkin, C. Stirling and M. Tofte.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....this work,we hope to bootstrap on the existing bodyof research when it comes to selection of the proper simulation mechanisms and models of computation.We indicate the design of a control hierarchy as one of the problems to solve. Existing efforts in this area such as Statecharts [10] and Esterel [1] focus primarily on the modeling of control. We hope to solve the problem of hierarchical control in combination with datapath, connectivity and storage design. And finally, we hope to make efficient use of the software engineering techniques that enable the development of a lightweight language, ....

Berry, G.The Foundations of Esterel Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000.

....in several forms: behavioral [BG92] operational,andconstructive [Ber96] this last one having also a operational and denotational form. 1.1 The language We will introduce Esterel through a small example. Consider the following controller specification written in natural language coming from [Ber98]: 2 R B . R .O A . R .O A .B . R .O A . R B . R R R Figure 1: A Mealy machine. module ABRO: input A, B, R; output O; loop [ await A jj await B] emit O each R end module Figure 2: ABRO sample program. Emit the output O as soon as both the inputs A and B have been ....

....1.1.1 Nested Preemptions In Esterel, the essence of programming consists of controlling the life and death of activities by using preemption structures. The nesting of preemption structures expresses preemption priority in a natural way. Figure 3 describes the basic training of an athlete [Ber98]. The input events are Morning, Second, Step, Meter, and Lap. The full sequence is executed only if the lap is longer than 15 Second plus 100 Meter. If the lap is shorter than 15 Second, the athlete only runs slowly. If the lap is shorter than 15 Second plus 100 Meter, he never runs at full speed. ....

[Article contains additional citation context not shown here]

G. Berry. The foundations of ESTEREL.InProof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors. MIT Press, 1998. To appear.

....tasks) with inputs, outputs and 3 levels(weak, strong and fatal) of interruption. These RTs can be nested in a recursive structure called RPs (Robotic procedures) to represent meaningful behaviors for control purposes, where RTs are logically and temporally ordered. This system uses Esterel[3] to specify the behavior of an RT. This gives the possibility to con rm liveness (the RP always reaches its goal in a nominal execution) and safety (any fatal exception must always be correctly handed) However it has been implemented only on VxWorks, and currently work only on one processor. ....

G. Berry, \The foundations of esterel," To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors, MIT Press, 1998.

....Preemption relates to controlling the execution of the processes composing a concurrent system. Such processes are said preemptible if they can be suspended at any point of their execution. Preemption is often addressed in reactive systems, for instance in synchronous models and languages [14, 1]; for some of them, it is even an essential feature. In most cases, the underlying semantics is sequential, which is well suited to the modeling of systems in which the computation performed in response to an input coming from the environment is relatively simple. But when the structure of the ....

G. Berry. The Foundations of Esterel. Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors, MIT Press, 1998.

....compared to other languages and formalisms before concluding. 1 Esterel Esterel is a reactive synchronous language which was designed for programming real time applications like embedded software in cars, control for power plants or planes, bus controllers or wristwatches. As Berry says in [3], the reactive systems community says that systems fall into two distinct classes: Interactive (unfortunate naming) systems, where clients ask for accesses or resources that the system grants or allocates if and when possible. This class covers operating systems, data bases, networking, ....

....In Israel, D. Harel introduced the Statecharts quasi synchronous graphical formalism [18] In Grenoble, F. Maraninchi defined the Argos formalism [22] where (restricted) Statecharts are fully synchronous. 1. 1 The language We will introduce Esterel through a small example presented by Berry in [3]: consider the following controller specification written in natural language: Emit the output O as soon as both the inputs A and B have been received. Reset the behavior whenever the input R is received. As it stands, this simple specification is a little bit ambiguous. We additionally assume ....

[Article contains additional citation context not shown here]

G. Berry. The foundations of ESTEREL.InProof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors. MIT Press, 1998. To appear.

....in this language. Recently, concurrent constraint programming has been studied in order to enable it to model synchronous two phase behavior [12, 22] In comparison with this approach, or with the other languages for design of two phase real time systems, such as Lustre [13, 15] and Esterel [9, 10], our approach is timeless, i.e. it does not currently contain the option for real time modeling. However, the action systems framework has a stronger mathematical basis for correctness preserving, disciplined design process. Real time programming is an interesting application area and will be ....

G.Berry. The Foundations of ESTEREL. To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, G.Plotkin, C. Sterling and M.Tofte, editors, MIT Press, 1998.

....language has been developed to handle the design of a PredN application. 1 Introduction Real time has always been a crucial issue in robotic, however there exists few software tools to handle complex, and wide range of applications. Some solutions involved a formalism with heavy constraints [1], when others are too open [2] and lead to a strong overhead. The goal of PredN is to build distributed real time applications in heterogeneous environment through a meaningful software development policy. This policy can be decomposed as follows : environment to develop easily algorithms with ....

Gerard Berry, \The foundations of esterel," To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors, MIT Press, 1998.

....and Sildex are the specification tools. Particularities of source programs generated using this particular formalism can be taken advantage of, in order to facilitate the work of BDD based model checking. This technique is for instance advocated and used in the context of the Esterel language, see [36]. It is in fact also heavily used in the Signal compilation technique, both for the TNI and the Inria compilers. As for the Inria compiler, synthesizing the control for the object C code requires performing the so called clock calculus. The clock calculus consists in synthesizing the overall ....

G. Berry. The Foundations of Esterel, To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors, MIT Press, 1998.

....Sections 4 and 5 detail our usage of formal methods to measure the state coverage and to improve it by automatically generating new tests. We conclude in the last Section and state further perspectives. 2 Preliminary Presentation 2. 1 The Esterel Language and its Software Environment Esterel [2, 11, 3] is an imperative language dedicated to structured programming of Synchronous Reactive Systems (SRSs) It is particularly suited for systems whose control aspect is predominant. The core set of primitives contains powerful orthogonal constructs expressing concurrency, communication, and ....

G. Berry. The Foundations of Esterel. To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors, MIT Press, 1998.

....compute and exchange messages. The model makes it possible to base design on deterministic concurrency, which is much easier to deal with than classical nondeterministic concurrency. Compiling, optimizing, and verifying programs is done using powerful Boolean computation techniques, see [5]. The synchronous model is well suited for direct specication and implementation of comparatively compact programs such as protocols, controllers, human machine interface drivers, and glue logic. In this case, one can build a global clock slow enough to react to each possible environmental ....

....[9, 8] and we draw much from their work. However, our implementation takes maximal advantage of the semantics of the objects we deal with and it is presented dioeerently, with a trivial correctness proof. Technically speaking, we present a POLIS implementation of constructive synchronous circuits [5, 18], which is a class of well behaved cyclic circuits that generalizes the usual class of acyclic circuits. Since Esterel programs are translated into constructive circuits [4] this implementation handles Esterel as well. The key of any implementation of synchronous programs is the realization of a ....

[Article contains additional citation context not shown here]

G. Berry. The Foundations of Esterel. To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors, MIT Press, 1998. See http://www.inria.fr/meije/esterel, 1998.

No context found.

G. Berry. The foundations of Esterel. Proof, Language and Interaction: Essays in Honour of Robin Milner, 2000. Editors: G. Plotkin, C. Stirling and M. Tofte.

No context found.

G. Berry. Proof, Language and Interaction: Essays in Honour of Robin Milner, chapter The Foundations of Esterel. MIT Press, 2000.

No context found.

G. Berry. The Foundations of Esterel. Proof, Language and Interaction: Essays in Honour of Robin Milner, 1998.

No context found.

G. Berry. The foundations of Esterel. Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 1998.

No context found.

G. Berry. Proof, Language and Interaction: Essays in Honour of Robin Milner, chapter The Foundations of Esterel, pages 425--454. MIT Press, 2000.

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