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é

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

Conference papers

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

Cedric Dumoulin ^{1, 2} AuthorId : 99667
Mail :
Author IdHAL : dumoulin

Laurent Rioux ³ AuthorId : 460017
Author

Thierry Saunier AuthorId : 1080582
Author

Sébastien Gérard ⁴ AuthorId : 304628
Mail :
Author Employer institution : Commissariat à l'énergie atomique et aux énergies alternatives IdHAL : sebastien-gerard ORCID : https://orcid.org/0000-0003-0295-0520

Ansgar Radermacher ⁴ AuthorId : 1080583
Author Employer institution : Laboratoire d'Intégration des Systèmes et des Technologies

Robert de Simone ⁵ AuthorId : 97614
Mail :
Author

Thierry Gautier AuthorId : 80591
Mail :
Author

Yves Sorel ⁵ AuthorId : 97698
Mail :
Author IdHAL : yves-sorel

Julien Forget AuthorId : 577638
Mail :
Author IdHAL : julienforget ORCID : https://orcid.org/0000-0002-1669-8971

Jean-Luc Dekeyser AuthorId : 183241
Mail :
Author

Arnaud Cuccuru AuthorId : 99264
Author

Charles André ⁵ AuthorId : 99263
Mail :
Author

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

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

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

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

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

THALES (France) StructId : 300056

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

DRT (CEA) - Direction de Recherche Technologique (CEA) : DRT/LIST (France) StructId : 440043
- CEA - Commissariat à l'énergie atomique et aux énergies alternatives : DRT (Centre de Saclay Centre de Grenoble Centre de Cadarache etc - France) StructId : 300016
Université Paris-Saclay (Espace Technologique, Bat. Discovery - RD 128 - 2e ét., 91190 Saint-Aubin - France) StructId : 419361

5 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

Document type :

Conference papers

Complete list of metadatas

https://hal.inria.fr/hal-01071285
Contributor : Cedric Dumoulin <>
Submitted on : Friday, October 3, 2014 - 3:43:13 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM

Identifiers

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. ⟨hal-01071285⟩

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

Identifiers

Collections

Citation

Export

Metrics

381

Contact Legal Notice Personal Data

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

Identifiers

Collections

Citation

Export

Share

Metrics

381

Contact Legal Notice Personal Data