Marte: A new profile rfp for the modeling and analysis of real-time embedded systems

Cedric Dumoulin; Laurent Rioux; Thierry Saunier; Sébastien Gérard; Ansgar Radermacher; Robert De Simone; Thierry Gautier; Yves Sorel; Julien Forget; Jean-Luc Dekeyser; Arnaud Cuccuru; Charles André

Accueil
Déposer
Consulter
Recherche
Services
Documentation
OpenAccess@Inria
Supports

Marte: A new profile rfp for the modeling and analysis of real-time embedded systems

Cedric Dumoulin ^{1, 2} Laurent Rioux ³ Thierry Saunier Sébastien Gérard ⁴ Ansgar Radermacher ⁴ Robert De Simone ⁵ Thierry Gautier Yves Sorel ⁵ Julien Forget Jean-Luc Dekeyser Arnaud Cuccuru Charles André ⁵

1 DART - Contributions of the Data parallelism to real time

LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe

2 LIFL - Laboratoire d'Informatique Fondamentale de Lille

3 Thales Research and Technology [Palaiseau]

4 LIST - Laboratoire d'Intégration des Systèmes et des Technologies

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, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués

Cedric Dumoulin ^{1, 2}

Auteur IdHAL : dumoulin

Laurent Rioux ³
Auteur

Thierry Saunier
Auteur

Sébastien Gérard ⁴
Auteur Etablissement d'appartenance : Commissariat à l'énergie atomique et aux énergies alternatives

Ansgar Radermacher ⁴
Auteur Etablissement d'appartenance : CEA-LIST

Robert De Simone ⁵

Auteur

Thierry Gautier

Auteur

Yves Sorel ⁵

Auteur

Julien Forget

Auteur IdHAL : julienforget ORCID : http://orcid.org/0000-0002-1669-8971

Jean-Luc Dekeyser

Auteur

Arnaud Cuccuru
Auteur

Charles André ⁵

Auteur

1 DART - Contributions of the Data parallelism to real time (France)

LIFL - Laboratoire d'Informatique Fondamentale de Lille (Bâtiment M3 59655 Villeneuve d'Ascq Cédex - France)
- Université de Lille, Sciences et Technologies (Cité Scientifique - 59655 Villeneuve d'Ascq Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Université de Lille, Sciences Humaines et Sociales (Domaine universitaire du "Pont de Bois" Rue du Barreau BP 60149 59653 Villeneuve d'Ascq Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8022 (France)
Inria Lille - Nord Europe (Parc Scientifique de la Haute Borne 40, avenue Halley Bât.A, Park Plaza 59650 Villeneuve d'Ascq - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)

2 LIFL - Laboratoire d'Informatique Fondamentale de Lille (Bâtiment M3 59655 Villeneuve d'Ascq Cédex - France)

Université de Lille, Sciences et Technologies (Cité Scientifique - 59655 Villeneuve d'Ascq Cedex - France)
Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
Université de Lille, Sciences Humaines et Sociales (Domaine universitaire du "Pont de Bois" Rue du Barreau BP 60149 59653 Villeneuve d'Ascq Cedex - France)
CNRS - Centre National de la Recherche Scientifique : UMR8022 (France)

3 Thales Research and Technology [Palaiseau] (1 Avenue Augustin Fresnel, 91767 Palaiseau cedex - France)

THALES (France)

4 LIST - Laboratoire d'Intégration des Systèmes et des Technologies (DRT/LIST Nano-INNOV Avenue de la Vauve 91120 Palaiseau - France)

CEA - Commissariat à l'énergie atomique et aux énergies alternatives : DRT/LIST (Centre de Saclay Centre de Grenoble Centre de Cadarache etc - France)
Université Paris-Saclay (Espace Technologique, Bat. Discovery - RD 128 - 2e ét., 91190 Saint-Aubin - 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 / INRIA Paris - 23 avenue d'Italie 75013 Paris - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
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 (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - France)
  - UCA - Université Côte d'Azur (Parc Valrose, 28 avenue Valrose 06108 Nice Cedex 2 - France)
  - CNRS - Centre National de la Recherche Scientifique : UMR7271 (France)

Type de document :

Communication dans un congrès

Dac Workshop - UML-SoC05, Jun 2005, Anaheim CA, United States. 2005

Liste complète des métadonnées

https://hal.inria.fr/hal-01071285
Contributeur : Cedric Dumoulin <>
Soumis le : vendredi 3 octobre 2014 - 15:43:13
Dernière modification le : jeudi 9 février 2017 - 15:25:39

Identifiants

HAL Id : hal-01071285, version 1

Collections

Citation

Cedric Dumoulin, Laurent Rioux, Thierry Saunier, Sébastien Gérard, Ansgar Radermacher, et al.. Marte: A new profile rfp for the modeling and analysis of real-time embedded systems. Dac Workshop - UML-SoC05, Jun 2005, Anaheim CA, United States. 2005. <hal-01071285>

Marte: A new profile rfp for the modeling and analysis of real-time embedded systems

Identifiants

Collections

Citation

Exporter

Métriques

170

Contact

Marte: A new profile rfp for the modeling and analysis of real-time embedded systems

Identifiants

Collections

Citation

Exporter

Partager

Métriques

170

Contact