P. Caspi, D. Pilaud, N. Halbwachs, and J. Place. Lustre: a Declarative Language for Programming Synchronous Systems. In Proc. ACM Symp. on Princ. of Prog. Langs. (POPL '87), 1987.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....shifted to the right. This relation between U and V can be denoted in Pei as: V = U pre where pre is the name of a function which maps an index i to the index i 1. It means the value at index i 1 in U is moved to the index i in V. This is a classical feature in equational languages like Lustre [6] or 8 1=2 [10] Note that the function may not be injective and expresses a broadcast. Example 4. Let M denote a data eld whose index set is [1: 4] 1: 4] in Z : it represents a 4 4 matrix, say M . Let us consider the 4 4 matrix formed of the rst column of M replicated four times. It ....

N. Halbwachs, P. Caspi, D. Pilaud, and J.A. Plaice. Lustre / a declarative language for programming synchronous systems. P.O.P.L., 215:178-188, 1967.

....value at every clock tick. The entities represent relations between input and output values at each tick, and are usually partial functions with certain technical restrictions to ensure determinacy. Examples of languages that use the SR model of computation include Esterel [10] Signal [9] Lustre [18], and Argos [63] SR models are excellent for applications with concurrent and complex control logic. Because of the tight synchronization, safety critical real time applications are a good match. However, also because of the fight synchronization, some applications are overspecified in the SR ....

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, "LUSTRE: A Declarative Language for Programming Synchronous Systems," Conference Record of the 14th Annual ACM Syrup. on Principles of Programming Languages, Munich, Germany, January, 1987.

....right. This relation between U and V can be denoted in Pei as: V = U pre where pre is the name of a function which maps an index i to the index i 1. It means the value at index i 1 in U is moved to the index i in V. Such expressions meet data ow approaches in declarative language like Lustre [5] and the dataparallel language 8 1=2 [12] Example 4. Let M denote a data eld whose index set is [1: 4] 1: 4] in Z : it represents a 4 4 matrix, say M . Let us consider the 4 4 matrix formed of the rst column of M replicated four times. It can be represented by the data eld L de ned ....

N. Halbwachs, P. Caspi, D. Pilaud, and J.A. Plaice. Lustre / a declarative language for programming synchronous systems. P.O.P.L., 215:178-188, 1967.

....must be smooth and with few or no special conditions that are design dependent. There are many models used in the co design to describe the system functionality. Some of them are Extended Finite State Machines (EFSMs) 4] Petri Nets (PN) 17] Synchronous Languages such as ESTEREL [2] Lustre [3], Argos [14] Statecharts [10] Signal [8] and varieties of logics and Temporal Logics [13] A formal model of a design should consist of the following components: A functional specification, given as a set of relations between inputs, outputs and environment. A set of properties that ....

P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. LUSTRE: A Declarative Language for Programming Synchronous Systems. In 14 ACM Symposium on Principles of Programming Languages, Munich, Germany, January 1987.

....by a very precise separate (thus possibly parallel) analysis of the basic functions later reused, maybe at a lower degree of precision, for the whole program analysis [28] 3. 7 Timing Embedded software (in particular when design according to the model of syn# chronous languages such as Lustre [14] or Signal [8] must be shown to satisfy timing constraints (typically execution of all simultaneous instantaneous ac# tions must take less than a given upper bound, typically of few milliseconds) Modelling such timing constraints is di#cult if not impossible when bounds are tight so that ....

P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. Lustre: a declarative language for programming synchronous systems. In 14 POPL , Munchen, DE, 1987. ACM Press.

....with certain technical restrictions to ensure determinacy. Sophisticated compiler techniques yield extremely efficient execution that can reduce all concurrency to a sequential execution. Examples of languages that use the SR model of computation include Esterel [12] Signal [10] and Lustre [18]. An example of an application for which the synchronous reactive model is ideally suited is the management of a token ring protocol for media access control, described in [25] In this application, a token circulates in a round robin fashion among users of a communication medium. When a user ....

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, "LUSTRE: A Declarative Language for Programming Synchronous Systems," Conference Record of the 14th Annual ACM Symp. on Principles of Programming Languages, Munich, Germany, January, 1987.

....we require them to occur concurrently and abstract from interleaving. Synchronous systems have been studied by several authors. Milner defined a variant of his (asynchronous) Calculus of Communicating Systems (CCS, Mil80, Mil89] for synchronous systems (SCCS, Mil83] see also [Bru97] Lustre [CPHP87] is a programming language for synchronous systems. Usually, these contributions concentrate on the design of the underlying systems. The problem of verification is . s 0 s 1 s 2 s 3 s 4 e f g h Figure 8.2: A Petri net tackled by the notion of bisimilarity [Mil89] or by theorem ....

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. LUSTRE: A declarative language for programming synchronous systems. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, pages 178--188, Munich, West Germany, January 21--23, 1987. ACM SIGACT-SIGPLAN, ACM Press.

....control and monitoring systems) In these real time systems safety is often a critical issue, and so the existence of programming languages that allow programs to be easily designed and validated is crucial. With this purpose, Synchronous Declarative Languages have been designed (e.g. LUSTRE [8] and SIGNAL [5] Such languages provide idealized primitives allowing users to think of their programs as reacting instantaneously to external events, and variables are functions of multiform time each having an associated clock defining the sequence of instants where the variable takes its ....

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. LUSTRE: A declarative language for programming synchronous systems. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, pages 178--188. ACM SIGACT-SIGPLAN, ACM Press, January 21--23, 1987.

....mixes the functional and imperative approaches. There are also several languages designed around a synchronous data flow notion of computation. The generalpurpose functional language Lucid [21] is an example of this style of language, but more importantly are the languages Signal [11] and Lustre [4], which were specifically designed for control of real time systems. In Signal, the most fundamental idea is that of a signal, a time ordered sequence of values. Unlike Fran, however, time is not a value, but rather is implicit in the ordering of values in a signal. By its very nature time is ....

P. Caspi, N. Halbwachs, D. Pilaud, and J.A. Plaice. Lustre: A declarative language for programming synchronous systems. In 14th ACM Symp. on Principles of Programming Languages, January 1987.

....time instants or how the durations of statements are determined. Indeed, the behavior of a program is highly dependent on the compiler and the hardware. To meet the requirements for a rigorous development method, a new family of synchronous programming languages have been proposed, namely Lustre [CHPP87], Esterel [BC85] Signal [GBBG85] and Statecharts [Har87] These languages adopt precise timing assumptions. All components are driven by a common global clock. The duration between two successive clock ticks is chosen as the time unit, and a program run is a sequence of one time unit steps. In ....

P. Caspi, N. Halbwachs, D. Pilaud, and J. Plaice. Lustre: a declarative language for programming synchronous systems. In Proc. 14th Symp. on Principles of Programming Languages, January 1987.

No context found.

P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. Lustre: a declarative language for programming synchronous systems. In 14th ACM Symposium on Principles of Programming Languages, POPL'87, Munchen, January 1987.

No context found.

P. Caspi, D. Pilaud, N. Halbwachs, and J. Place. Lustre: a Declarative Language for Programming Synchronous Systems. In Proc. ACM Symp. on Princ. of Prog. Langs. (POPL '87), 1987.

No context found.

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, "LUSTRE: A declarative language for programming synchronous systems," in Conf. Rec. 14th Annu. ACM Symp. Principles Programming Languages, Munich, Germany, Jan 1987, pp. 178--88.

No context found.

P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. LUSTRE: a declarative language for programming synchronous systems, 1987.

No context found.

P. Caspi, D. Pilaud, N. Halbwachs, and J.A. Plaice. LUSTRE : A declarative language for programming synchronous systems. In 14th ACM Symposium on Principles of Programming Languages. ACM, 1987.

No context found.

P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. Lustre: a declarative language for programming synchronous systems. In 14th ACM Symposium on Principles of Programming Languages, january 1987.

No context found.

P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. Lustre: a declarative language for programming synchronous systems. In 14th ACM Symposium on Principles of Programming Languages,january 1987.

No context found.

P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. Lustre: A declarative language for programming synchronous systems. Conf Rec 14th Ann ACM Symp on Princ Prog Langs, 1987.

No context found.

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. LUSTRE: A declarative language for programming synchronous systems. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 178--188, 1987.

No context found.

P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. LUSTRE: a declarative language for programming synchronous systems, 1987.

No context found.

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. LUSTRE: A declarative language for programming synchronous systems. In ACM Proceedings on Principles of Programming Languages, pages 178 -- 188, 1987.

No context found.

P. Caspi, D. Pilaud, N. Halbwachs andJ. A. Plaice. LUSTRE: A declarative language for programming synchronous systems. In 14th ACM Symposium on Principles of Programming Languages, pages 178-188. ACM, 1987.

No context found.

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, "LUSTRE: A Declarative Language for Programming Synchronous Systems," Conference Record of the 14th Annual ACM Symp. on Principles of Programming Languages, Munich, Germany, January, 1987.

No context found.

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. LUSTRE: A declarative language for programming synchronous systems. In ACM Proceedings on Principles of Programming Languages, pages 178 -- 188, 1987.

No context found.

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, "LUSTRE: A Declarative Language for Programming Synchronous Systems," Conference Record of the 14th Annual ACM Symp. on Principles of Programming Languages, Munich, Germany, January, 1987.

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