For a New Real-Time Methodology - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1994

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.
Fichier principal
Vignette du fichier
RR-2364.pdf (599.87 Ko) Télécharger le fichier

Dates and versions

inria-00074314 , version 1 (24-05-2006)


  • HAL Id : inria-00074314 , version 1


Thierry Gautier, Paul Le Guernic, Olivier Maffeis. For a New Real-Time Methodology. [Research Report] RR-2364, INRIA. 1994. ⟨inria-00074314⟩
94 View
702 Download


Gmail Facebook Twitter LinkedIn More