For a New Real-Time Methodology

This paper motivates the use of a synchronous methodology to program, to verify and to implement real-time applications. The main features of the synchronous language \signal\ are presented and some methodological principles are proposed. \signal\ programming is illustrated through the development of a realistic application, a complex digital watch. Then, an overview of the software environment associated with \signal\ is presented. This environment encompasses formal verification as well as implementation tools to infer reliable real-time implementations on various architectures including distributed ones. All these tools are acting on a unique but polymorphic abstract program representation, namely Synchronous-Flow Dependence Graphs, which provides the \signal\ software design environment with a great homogeneity.

[1]  P. Le Guernic,et al.  Hybrid dynamical systems theory and the Signal language , 1990 .

[2]  Paul Le Guernic,et al.  Sequencing Data Ow Tasks in Signal , 1994 .

[3]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[4]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[5]  Albert Benveniste,et al.  CAD environment for real-time control system , 1989, 1989 American Control Conference.

[6]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[7]  T. Baker,et al.  Real-time features for Ada 9X , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[8]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[9]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[10]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[11]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[12]  Jean D. etc. Ichbiah.  Reference Manual for the ADA Programming Language , 1983 .

[13]  Charles W. Krueger,et al.  Software reuse , 1992, CSUR.

[14]  Krishna M. Kavi,et al.  Real-time systems design methodologies: An introduction and a survey , 1992, J. Syst. Softw..

[15]  Paul Le Guernic,et al.  Distributed Implementation of SIGNAL: Scheduling & Graph Clustering , 1994, FTRTFT.

[16]  Albert Benveniste,et al.  A denotational theory of synchronous communicating systems , 1987 .

[17]  Michel Sorine,et al.  The SynDEx software environment for real-time distributed systems design and implementation , 1991 .

[18]  P. Guernic,et al.  Arborescent canonical form of boolean expressions , 1994 .

[19]  Gérard Berry,et al.  Real Time Programming: Special Purpose or General Purpose Languages , 1989, IFIP Congress.

[20]  Paul Le Guernic,et al.  From SIGNAL to fine-grain parallel implementations , 1994, IFIP PACT.

[21]  Albert Benveniste,et al.  programmi language and its , 2001 .

[22]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[23]  Wladyslaw M. Turski.  Time considered irrelevant for real-time systems , 1988, BIT Comput. Sci. Sect..

[24]  Mohammed Belhadj.  VHDL & Signal: A Cooperative Approach , 1994 .

[25]  J. Moss.  THE NATURAL PHILOSOPHY OF TIME , 1962 .

[26]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[27]  René David,et al.  Petri nets and grafcet - tools for modelling discrete event systems , 1992 .

[28]  Grzegorz Rozenberg,et al.  Timed CSP: Theory and practice , 1992 .

[29]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[30]  A. Benveniste,et al.  Dynamical systems over Galois fields and DEDS control problems , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.