| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
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
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
Jean-Pierre Paris 1
Author
Gérard Berry 2
Author
Frédéric Mignard 2
Author
Philippe Couronné 3
Author
Paul Caspi 4
Author
Nicolas Halbwachs 4
Author
Yves Sorel 5
Author IdHAL : yves-sorel
Albert Benveniste 6
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Thierry Gautier 6
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Paul Le Guernic 6
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
François Dupont 7
Author
Claude Le Maire 8
Author
1
CISI Ingénierie [Valbonne] (Agence Provence-Est Les Cardoulines Bat B1- 1360 Route Des Dolines 06560 Valbonne - France)
- CISI Ingénierie (France)
2
École des Mines de Paris (60 boulevard Saint-Michel - 75272 Paris Cedex 06 - France)
3
ILOG SA [Gentilly] (ILOG Europe, 9 rue de Verdun - 94253 Gentilly - France)
4
IMAG - Institut de Mathématiques Appliquées de Grenoble [Grenoble] (B.P. 53 38041 Grenoble Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMRFR71 (France)
5
AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints (France)
- CRISAM - Inria Sophia Antipolis - Méditerranée (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Inria Paris-Rocquencourt (INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S
CS 40121
06903 Sophia Antipolis Cedex - France)
- I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis - France)
- UNS - Université Nice Sophia Antipolis (... - 2019) (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - France)
- COMUE UCA - COMUE Université Côte d'Azur (2015-2019) (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7271 (France)
- UCA - Université Côte d'Azur (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France)
- UNS - Université Nice Sophia Antipolis (... - 2019) (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - France)
- I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis - France)
6
EP-ATR - Environnement de programmation d'applications temps réel (Campus de Beaulieu, 35042 Rennes cedex - France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Campus universitaire de Beaulieu - 35042 Rennes - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- INRIA Rennes (IRISA . campus de Beaulieu . F 35 042 Rennes Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
8
Verilog [Montbonnot] (Centre d'Etudes Rhône-Alpes ZAC du Pré Millet 38330 Montbonnot - France)
- Verilog (France)
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
Domain :
Complete list of metadata
https://hal.inria.fr/inria-00071316
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 4:10:21 PM
Last modification on : Friday, January 21, 2022 - 3:16:11 AM
Long-term archiving on: : Tuesday, February 22, 2011 - 11:51:35 AM
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 4:10:21 PM
Last modification on : Friday, January 21, 2022 - 3:16:11 AM
Long-term archiving on: : Tuesday, February 22, 2011 - 11:51:35 AM
Files
Identifiers
- HAL Id : inria-00071316, version 1
Collections
INRIA | INRIA-RRRT | IRISA | CNRS | UNIV-RENNES1 | I3S | LARA | INRIA2 | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-COTEDAZUR | UNIV-RENNES | INSA-GROUPE | INSA-RENNES | PSL | UR1-MATH-NUM | EC-PARIS
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⟩
Metrics
Record views
217
Files downloads