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.
Type de document :
[Research Report] RR-2364, INRIA. 1994
Liste complète des métadonnées
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 15:02:29
Dernière modification le : vendredi 16 novembre 2018 - 01:25:16
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:08:16



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



Consultations de la notice


Téléchargements de fichiers