Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074314
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 3:02:29 PM
Last modification on : Thursday, February 11, 2021 - 2:48:05 PM
Long-term archiving on: : Monday, April 5, 2010 - 12:08:16 AM

Identifiers

  • HAL Id : inria-00074314, version 1

Citation

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

Share

Metrics

Record views

229

Files downloads

701