Projet SYNCHRONE : les formats communs des langages synchrones

Jean-Pierre Paris 1 Gérard Berry 2 Frédéric Mignard 2 Philippe Couronné 3 Paul Caspi 4 Nicolas Halbwachs 4 Yves Sorel 5 Albert Benveniste 6 Thierry Gautier 6 Paul Le Guernic 6 François Dupont 7 Claude Le Maire 8
1 CISI Ingénierie [Valbonne]
2 École des Mines de Paris
3 ILOG SA [Gentilly]
4 IMAG - Institut de Mathématiques Appliquées de Grenoble [Grenoble]
5 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
6 EP-ATR - Environnement de programmation d'applications temps réel
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
7 TNI [Brest]
8 Verilog [Montbonnot]
Résumé : Ce document définit la syntaxe et la sémantique des formats communs des langages synchrones. Ces formats constituent un socle commun à la programmation synchrone, sur lequel de nombreux outils seront applicables. Le socle est constitué de trois formats entre lesquels existeront des passerelles de traduction : IC est un format parallèle de type impératif - GC est un format parallèle de type flot de données - OC est un format automate séquentiel.
Document type :
Reports
Liste complète des métadonnées
https://hal.inria.fr/inria-00071316
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 4:10:21 PM
Last modification on : Friday, November 16, 2018 - 1:27:00 AM
Document(s) archivé(s) le : Tuesday, February 22, 2011 - 11:51:35 AM

Files

RT-0157.pdf

Identifiers

  • HAL Id : inria-00071316, version 1

Collections

INRIA | INRIA-RRRT | IRISA | UNIV-RENNES1 | I3S | UNICE | LARA | UR1-UFR-ISTIC | UNIV-COTEDAZUR | UNIV-RENNES | INRIA-ROCQ | INSA-GROUPE

Citation

Jean-Pierre Paris, Gérard Berry, Frédéric Mignard, Philippe Couronné, Paul Caspi, et al.. Projet SYNCHRONE : les formats communs des langages synchrones. [Rapport de recherche] RT-0157, INRIA. 1993. ⟨inria-00071316⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

448

Files downloads

133

Contact


archive-ouverte@inria.fr