HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

For a New Real-Time Methodology

Abstract : 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.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 3:02:29 PM
Last modification on : Friday, February 4, 2022 - 3:23:27 AM
Long-term archiving on: : Monday, April 5, 2010 - 12:08:16 AM


  • 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⟩



Record views


Files downloads