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 :
Rapport
[Research Report] RR-2364, INRIA. 1994
Liste complète des métadonnées

https://hal.inria.fr/inria-00074314
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 15:02:29
Dernière modification le : jeudi 11 janvier 2018 - 06:20:09
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:08:16

Fichiers

Identifiants

  • HAL Id : inria-00074314, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

185

Téléchargements de fichiers

105