G. Berry and G. Gonthier, "The synchronous programming language ESTEREL: Design, semantics, implementation," Sci. Comput. Program. , vol. 19, no. 2, pp. 87--152, 1992.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....are represented by sicvo states. Micro transitions allow us to capture combinational dependencies between sig nals. The concept of micro transitions is not entirely new. Most hardware description languages such as VHDL and VERILOG have some notion of combinational dependency. ESTEREL [2] allows dynamically scheduled sub rounds. Alur and Henzinger [1] also break a round (synchronous step) into sub rounds (microtransitions) in the Reactive Module Language(RML) While Alur and Henzinger describe an operational modeling language, we do not present any language. Instead, we decribe ....

G. Berry, G. Gonthier. "The synchronous programming language ESTEREL: Design, semantics, implementation." Technical Report 842, INRIA. 1988.

.... the Combination of Synchronous Languages # Axel Poigne, Leszek Holenderski GMD SET, Schloss Birlinghoven, D 53754 Sankt Augustin, Germany 1 Introduction Synchronous languages [1, 4, 7, 9] address the specification and programming of reactive processes, i.e. processes which continuously respond to stimuli at a rate determined by the environment. The synchrony hypothesis [1] states that a process is fully responsible for the synchronization with its environment, that is: event ....

....GMD SET, Schloss Birlinghoven, D 53754 Sankt Augustin, Germany 1 Introduction Synchronous languages [1, 4, 7, 9] address the specification and programming of reactive processes, i.e. processes which continuously respond to stimuli at a rate determined by the environment. The synchrony hypothesis [1] states that a process is fully responsible for the synchronization with its environment, that is: event synchronization: the process is always able to react to events of the environment at a rate determined by the environment; response synchronization: the response synchronizes properly ....

[Article contains additional citation context not shown here]

Berry, G., Gonthier, G., The synchronous programming language Esterel: design, semantics, implementation. Science of Computer Programming, 19:87--152, 1992.

....composition P jjQ, where P and Q are synchronous processes (or synchronous networks themselves) We are not concerned with the exact nature of the processes. For example, they can be speci ed in any of the common notations used for programming synchronous processes, like Argos [14, 9] Esterel [7, 9], Lustre [10, 9] or Signal [6, 9] Properties of reactive systems can conveniently be speci ed in assert commit style, by Hoare triples P , where and are formulae in some logic and P is a process (or a network) Assertion speci es a property of the environment in which P is executed, and ....

G. Berry and G. Gonthier, The synchronous programming language Esterel: design, semantics, implementation, Science of Computer Programming, 19:87-152, 1992.

....called Boolean automata. Such a uniform translation allows to smoothly combine the languages into one multi paradigm language for programming synchronous reactive systems. 1 Introduction LEA is a smooth integration of three existing synchronous programming languages: Lustre [4] Esterel [2] and Argos [10] The languages are combined together, by compiling them into a common intermediate format, to allow for easy combination of modules written in all three languages. The compiled modules can then be linked into a final application. We call our integration smooth for two reasons. ....

....=O2 Gamma Gamma oe 2 Delta Delta Delta Assume S = S 1 jjS 2 . It turns out that it is difficult to define Gamma S compositionally, i.e. in terms of Gamma S1 and Gamma S2 alone, due to the phenomenon known as instantaneous feedback. A simple solution, described in [2], consists in considering a slightly different transition system ( Sigma; oe 0 ; 0 ; whose labels have the form E=E 0 where E and E 0 (so called events) are subsets of the set of all possible signals. E=E 0 denotes the fact that signals E 0 are emitted under the assumption that all ....

G. Berry and G. Gonthier, The synchronous programming language Esterel: design, semantics, implementation, Science of Computer Programming, 19:87--152, 1992.

....1. Translations of a hierarchical timed automaton description to an equivalent flat Uppaal model. 3 Code Synthesis We propose a way to synthesize code from timed automata models that will have predictable timing behavior. Inspired by the design philosophy of synchronous languages e.g. Esterel [BG92], we assume that the underlying real time operating system guarantees the synchrony hypothesis 1 . We extend timed automata so that each node of an automaton is associated with a task (or several tasks in the general case) A task is assumed to be an executable program with two given parameters: ....

G. Berry and G. Gonthier. The Synchronous Programming Language ESTEREL: Design, Semantics, Implementation. Science of Computer Programming, 19:87--152, 1992.

.... operator has an ff parameter of 2: x a Gamma x 0 Deltax a Gamma ffi Deltax 0 ffix a Gamma ffix x a Gamma x 0 ffix a Gamma x 0 Another example of an operator with an ff parameter of 2 is the is the p watching S construct from synchronous programming language Esterel [9]. It is possible to have an infinite number of recursive definitions in a De Simone system and still have the fi parameter finite for each expression. For instance, consider the following infinitary PC definition of a counter: C 0 = zero Delta C 0 up Delta C 1 C n 1 = down Delta C n up ....

G. Berry and G. Gonthier. The synchronous programming language Esterel: design, semantics, implementation. Report 842, INRIA, Centre Sophia-Antipolis, Valbonne Cedex, 1988. To appear in Science of Computer Programming.

....using SMV, veri cation of SCI protocol by David Dill using Murphi etc. Since these methods depend on searching state spaces exhaustively, the veri cation task becomes increasingly dicult as the number of processors and the complexity of protocol increase. In this study, we show that using Esterel [6] and its environment, it is possible to formulate and check safety (e.g. data consistencies, deadlock etc. and liveness properties using Esterel models of these systems. We illustrate how reachability analysis can be done in the Esterel environment for such complex veri cation problems. To our ....

G. Berry and G. Gonthier. The Synchronous Programming Language Esterel: Design, Semantics, Implementation. SCP, 19, pp. 83-152, 1992

....are represented by micro states. Micro transitions allow us to capture combinational dependencies between signals. The concept of micro transitions is not entirely new. Most hardware description languages such as VHDL and Verilog have some notion of combinational dependency. Esterel [2] allows dynamically scheduled sub rounds. Alur and Henzinger [1] also break a round (synchronous step) into sub rounds (microtransitions) in the Reactive Module Language(RML) While Alur and Henzinger describe an operational modeling language, we do not present any language. Instead, we decribe ....

G. Berry, G. Gonthier. "The synchronous programming language Esterel: Design, semantics, implementation." Technical Report 842, INRIA. 1988.

....the single step control problem can not be solved in (deterministic) exponential time, and therefore its complexity dominates also the one of multistep control. An essential property of systems is to be non blocking, in the sense that every state should have at least one successor state [BG88,Hal93,Kur94,Lyn96]. Nonblocking is essential for compositional techniques such as assume guarantee reasoning [AL95,McM97,AH99] In control, non blocking means that the controller 2 should never prevent the plant from moving. While the asynchronous composition of non blocking processes is always non blocking, ....

G. Berry and G. Gonthier. The synchronous programming language Esterel: Design, semantics, implementation. Technical Report 842, INRIA, 1988.

....is a library developed at Microsoft to support interactive animation [17] It is designed for use from mainstream imperative languages such as Java, and mixes the functional and imperative approaches. Fran and Direct Animation both grew out of an earlier design called ActiveVRML [6] Esterel [2][1] is a language for synchronous concurrent programming, especially useful in real time programming. It adopts a synchronous model of concurrency, rather than the more popular asynchronous models, as in CSP [14] Berry and Gonthier [2] point out that deterministic concurrency is the key to the ....

....grew out of an earlier design called ActiveVRML [6] Esterel [2] 1] is a language for synchronous concurrent programming, especially useful in real time programming. It adopts a synchronous model of concurrency, rather than the more popular asynchronous models, as in CSP [14] Berry and Gonthier [2] point out that deterministic concurrency is the key to the modular development of reactive programs and . is supported by synchronous languages such as Esterel. Communication is based on a instantaneous broadcast model. In contrast, asynchronous models lead to competition for communication, ....

Grard Berry and Georges Gonthier, The Synchronous Programming Language ESTEREL: Design, Semantics, Implementation, Science of Computer Programming, vol. 19, n.2 (1992) 83-152. ftp://ftp-sop.inria.fr/- meije/esterel/examples/hdlc.ps.gz.

....we propose the following methodology for open model checking : 1. For modeling, we replace unstructured state transition graphs with the heterogeneous modeling framework of Reactive Modules [AH96] The definition of reactive modules is inspired by formalisms such as I O automata [Lyn96] Esterel [BG88] and allows complex forms of interaction between components within a single transition. Reactive Modules provide a semantic glue that allows the formal embedding and interaction of components with different characteristics. Some modules may be synchronous, others asynchronous, some may represent ....

G. Berry and G. Gonthier. The synchronous programming language esterel: design, semantics, implementation. Technical Report 842, INRIA, 1988.

....a set Theta of target transitions, the process next Theta for P is obtained by compressing a sequence of transitions of P ending in a Theta transition into a single metatransition. The next operator is a temporal scaling operator inspired by notions of multiform time in synchronous languages [BG88, Hal93] and was introduced in the language reactive modules [AH96] The parallel composition and temporal scaling can be mixed freely giving complex processes. Note that applications of next can cause significant reductions in the global state space by ruling out transient states. For instance, ....

G. Berry and G. Gonthier. The synchronous programming language esterel: design, semantics, implementation. Technical Report 842, INRIA, 1988.

....a certain frequency, the assumption being that the execution of the loop is very fast compared to the change of input. Then the program is able to sample all external events in proper order, and to react appropriately before the input changes. This is the essence of Berry s synchrony hypothesis [6]. This is good engineering practice in that synchronous systems are fairly easy to design, test and verify since behaviour is deterministic due to scheduling. Several programming languages [6, 7, 9, 8, 1] based on this paradigm are now successfully used in industry, in particular in those ....

....and to react appropriately before the input changes. This is the essence of Berry s synchrony hypothesis [6] This is good engineering practice in that synchronous systems are fairly easy to design, test and verify since behaviour is deterministic due to scheduling. Several programming languages [6, 7, 9, 8, 1] based on this paradigm are now successfully used in industry, in particular in those concerned with safety critical applications. The synchronous technology has a global system view, hence relates to centralized control systems. Control systems, however, are increasingly distributed, for quite ....

[Article contains additional citation context not shown here]

G. Berry and G. Gonthier, The synchronous programming language Esterel: design, semantics, implementation, Science of Computer Programming, 19:87--152, 1992.

....the single step control problem can not be solved in (deterministic) exponential time, and therefore its complexity dominates also the one of multistep control. 2 An essential property of systems is to be non blocking, in the sense that every state should have at least one successor state [BG88,Hal93,Kur94,Lyn96]. Nonblocking is essential for compositional techniques such as assume guarantee reasoning [AL95,McM97,AH99] In control, non blocking means that the controller should never prevent the plant from moving. While the asynchronous composition of non blocking processes is always non blocking, ....

G. Berry and G. Gonthier. The synchronous programming language Esterel: Design, semantics, implementation. Technical Report 842, INRIA, 1988.

....composing FSMs in parallel. In the literature many semantics of several dialects of Statecharts have been proposed (for a survey, see [1] In a seminal paper [10] Pnueli and Shalev formalized a semantics admitting nondeterminism and enforcing the properties of causality, synchronous hypothesis [3] and global consistency (of signals) They considered FSM transitions labeled by pairs, where the rst component is referred to as trigger and consists of a conjunction of literals (i.e. either positive or negated binary signals) and the second component is referred to as action and consists of a ....

Berry, G. and Gonthier, G.: The synchronous programming language Esterel: design, semantics, implementation. Science of Computer Programming 19, 1992.

....the languages into one multi paradigm language for programming synchronous reactive systems. 1 Introduction LEA is a multi paradigm language for programming synchronous reactive systems [3] It is obtained by integrating three existing synchronous programming languages: Lustre [4] Esterel [2] and Argos [5] LEA has been implemented in Synchronie Workbench [7] SWB) which is an integrated development environment for writing, compiling, testing, verifying, simulating, animating and generating code for three synchronous languages: Argos, Esterel and Lustre. Its purpose is to provide ....

....is depicted by # 0 I1 O1 # ## 1 I2 O2 # ## 2 # # Assume S = S 1 S 2 . It turns out that it is di#cult to define # # S compositionally, i.e. in terms of # # S1 and # # S2 alone, due to the phenomenon known as instantaneous feedback. A simple solution, described in [2], consists in considering a slightly di#erent transition system (#, # 0 , # # , #) whose labels have the form E E # where E and E # (so called events) are subsets of the set of all possible signals. E E # denotes the fact that signals E # are emitted under the assumption that all the signals ....

G. Berry and G. Gonthier. The synchronous programming language Esterel: design, semantics, implementation. Science of Computer Programming, 19:87--152, 1992.

.... the Combination of Synchronous Languages Axel Poign e, Leszek Holenderski GMD SET, Schloss Birlinghoven, D 53754 Sankt Augustin, Germany 1 Introduction Synchronous languages [1, 4, 7, 9] address the specification and programming of reactive processes, i.e. processes which continuously respond to stimuli at a rate determined by the environment. The synchrony hypothesis [1] states that a process is fully responsible for the synchronization with its environment, that is: event ....

....GMD SET, Schloss Birlinghoven, D 53754 Sankt Augustin, Germany 1 Introduction Synchronous languages [1, 4, 7, 9] address the specification and programming of reactive processes, i.e. processes which continuously respond to stimuli at a rate determined by the environment. The synchrony hypothesis [1] states that a process is fully responsible for the synchronization with its environment, that is: event synchronization: the process is always able to react to events of the environment at a rate determined by the environment; response synchronization: the response synchronizes properly ....

[Article contains additional citation context not shown here]

Berry, G., Gonthier, G., The synchronous programming language Esterel: design, semantics, implementation. Science of Computer Programming, 19:87--152, 1992.

No context found.

G. Berry and G. Gonthier, "The synchronous programming language ESTEREL: Design, semantics, implementation," Sci. Comput. Program. , vol. 19, no. 2, pp. 87--152, 1992.

No context found.

G. Berry and G. Gonthier, "The synchronous programming language ESTEREL: Design, semantics, implementation," Sci. Comput. Program. , vol. 19, no. 2, pp. 87--152, 1992.

No context found.

G. Berry and G. Gonthier. The synchronous programming language Esterel: Design, semantics, implementation. Technical Report 842, INRIA, 1988.

No context found.

G. Berry and G. Gonthier. The synchronous programming language Esterel: design, semantics, implementation. Technical Report 842, INRIA, 1988.

No context found.

G. Berry and G. Gonthier. The synchronous programming language ESTEREL: design, semantics, implementation. Technical Report 842, INRIA, 1988.

No context found.

G. Berry and G. Gonthier. The synchronous programming language esterel: design, semantics, implementation. Technical Report 842, INRIA, 1988.

No context found.

G. Berry and G. Gonthier. The synchronous programming language Esterel: Design, semantics, implementation. Technical Report 842, INRIA, 1988.

No context found.

G. Berry and G. Gonthier. The synchronous programming language esterel: design, semantics, implementation. Technical Report 842, INRIA, 1988.

First 50 documents

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