#### Filter Results:

#### Publication Year

1982

2010

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

- Nicholas Halbwachs, Paul Caspi, Pascal Raymond, Daniel Pilaud
- 2009

Invited Paper This paper describes the language LUSTRE which is a data flow synchronous language, designed for programming reactive systems -uch as automatic control and monitoring s y s t e m s a s well as for describing hardware. The data flow aspect of LUSTRE makes it very close to usual description tools in these domains (block-diagrams, networks of… (More)

This paper serves as an introduction to the semantics of the Lustre language. Lustre is a language which is useful for reasoning about systems, and, in particular, about proving some types of properties of the system; though these are not discussed in the paper. This work is of interest to us because it can potentially be the basis for semantics for Uccello… (More)

Invited Paper Twelve years ago, PROCEEDINGS OF THE IEEE devoted a special section to the synchronous languages. This paper discusses the improvements , difficulties, and successes that have occured with the synchronous languages since then. Today, synchronous languages have been established as a technology of choice for modeling, specifying , validating,… (More)

- Albert Benveniste, Paul Caspi, Stephen A Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert De Simone +2 others
- 2003

— Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. This article discusses the improvements , difficulties, and successes that have occured with the synchronous languages since then. Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and… (More)

We present a layered end-to-end approach for the design and implementation of embedded software on a distributed platform. The approach comprises a high-level modeling and simulation layer (Simulink), a middle-level programming and validation layer (SCADE/Lustre) and a low-level execution layer (TTA). We provide algorithms and tools to pass from one layer… (More)

Synchronous data-flow is a programming paradigm which has been successfully applied in reactive systems. In this context, it can be characterized as some class of static bounded memory data-flow networks. In particular, these networks are not recursively defined, and obey some kind of "synchronous" constraints (<i>clock calculus</i>). Based on Kahn's… (More)

In this paper we define timed regular expressions, an extension of regular expressions for specifying sets of dense-time discrete-valued signals. We show that this formalism is equivalent in expressive power to the timed automata of Alur and Dill by providing a translation procedure from expressions to automata and vice versa. The result is extended to… (More)

In this article, we define <i>timed regular expressions</i>, a formalism for specifying discrete behaviors augmented with timing information, and prove that its expressive power is equivalent to the <i>timed automata</i> of Alur and Dill. This result is the timed analogue of Kleene Theorem and, similarly to that result, the hard part in the proof is the… (More)