We present a general framework for the formal speciication and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as nite automata equipped with variables that evolve continuously with time according to dynamical laws. For veriication purposes, we restrict ourselves to… (More)
LUSTRE is a synchronous data-flow language for programming systems which interact with their environments in real-time. After an informal presentation of the language, we describe its semantics by means of structural inference rules. Moreover, we show how to use this semantics in order to generate efficient sequential code, namely, a finite state automaton… (More)
1993 Contents List of gures ix List of tables x Foreword xi List of contacts concerning each
— 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)
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)
We investigate the beneets of using a synchronous data-ow language for programming critical real-time systems. These beneets concern ergonomy | since the dataaow approach meets traditional description tools used in this domain |, and ability to support formal design and veriication methods. We show, on a simple example, how the language Lustre and its… (More)
We recall the story of the development of the synchronous data-flow language LUSTRE and of its industrial transfer inside the toolset SCADE. We try to analyse the reasons of its success, and to report the main lessons we got from the transfer of an academic concept into real industrial world.