Synchronous hypothesis and polychronous languages

Dumitru Potop-Butucaru; Robert de Simone; Jean-Pierre Talpin

doi:10.1201/9781439807637.ch6

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Book sections

Synchronous hypothesis and polychronous languages

Dumitru Potop-Butucaru ¹ Robert de Simone ¹ Jean-Pierre Talpin ²

1 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

2 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems

IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique

Dumitru Potop-Butucaru ¹ AuthorId : 56778
Author IdHAL : dpotop IdRef : https://www.idref.fr/118081365

Robert de Simone ¹ AuthorId : 97614
Author IdHAL : rdesimone ORCID : https://orcid.org/0000-0002-3123-7591

Jean-Pierre Talpin ² AuthorId : 56777
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : jean-pierretalpin ORCID : https://orcid.org/0000-0002-0556-4265

1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints (France) StructId : 2445

CRISAM - Inria Sophia Antipolis - Méditerranée (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France) StructId : 34586
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
Inria Paris-Rocquencourt (INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex - France) StructId : 86790
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S CS 40121 06903 Sophia Antipolis Cedex - France) StructId : 451999
- 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) StructId : 13009
  - UNS - Université Nice Sophia Antipolis (... - 2019) (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - France) StructId : 117617
    - COMUE UCA - COMUE Université Côte d'Azur (2015-2019) (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France) StructId : 523042
  - CNRS - Centre National de la Recherche Scientifique : UMR7271 (France) StructId : 441569
  - UCA - Université Côte d'Azur (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France) StructId : 1039632

2 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems (Campus de Beaulieu 35042 Rennes cedex - France) StructId : 2518

IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Campus universitaire de Beaulieu - 35042 Rennes - France) StructId : 2494
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
  - UNIV-RENNES - Université de Rennes (France) StructId : 528860
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
  - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
  - UNIV-RENNES - Université de Rennes (France) StructId : 528860
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) StructId : 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009

Document type :

Book sections

Domain :

Computer Science [cs] / Other [cs.OH]

Complete list of metadata

https://hal.inria.fr/hal-00788473
Contributor : Ist Rennes Connect in order to contact the contributor
Submitted on : Thursday, February 14, 2013 - 3:07:54 PM
Last modification on : Friday, January 21, 2022 - 3:18:18 AM

Identifiers

HAL Id : hal-00788473, version 1
DOI : 10.1201/9781439807637.ch6

Collections

Citation

Dumitru Potop-Butucaru, Robert de Simone, Jean-Pierre Talpin. Synchronous hypothesis and polychronous languages. Richard Zurawski. Embedded Systems Design and Verification, CRC Press, pp.6-1-6-27, 2009, 978-1-4398-0755-2. ⟨10.1201/9781439807637.ch6⟩. ⟨hal-00788473⟩

Export

BibTeX TEI DC DCterms EndNote

Metrics

Les métriques sont temporairement indisponibles

Synchronous hypothesis and polychronous languages

Identifiers

Collections

Citation

Export

Share

Metrics

Contact Legal Notice Personal Data