Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony

Loïc Besnard; Adnan Bouakaz; Thierry Gautier; Paul Le Guernic; Yue Ma; Jean-Pierre Talpin; Huafeng Yu

Accueil
Déposer
Consulter tout HAL
Publications Inria
Recherche
Services
Documentation
OpenAccess
- Inria soutient la science ouverte

Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony

Loïc Besnard ¹ Adnan Bouakaz ² Thierry Gautier ³ Paul Le Guernic ³ Yue Ma ⁴ Jean-Pierre Talpin ³ Huafeng Yu ⁵

1 SED [Rennes] - Service Expérimentation et Développement

2 SPADES - Sound Programming of Adaptive Dependable Embedded Systems

Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble

3 TEA - Tim, Events and Architectures

Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

4 Itemis France SAS [Issy les Moulineaux]

5 Toyota ITC - Toyota InfoTechnology Center Co [Mountain View]

Loïc Besnard ¹ AuthorId : 642883
Auteur

Adnan Bouakaz ² AuthorId : 538192
Auteur

Thierry Gautier ³ AuthorId : 121156
Auteur

Paul Le Guernic ³ AuthorId : 101987
Auteur

Yue Ma ⁴ AuthorId : 478753
Auteur

Jean-Pierre Talpin ³ AuthorId : 642884
Auteur

Huafeng Yu ⁵ AuthorId : 90491
Auteur

1 SED [Rennes] - Service Expérimentation et Développement (Campus de Beaulieu 35042 Rennes cedex - France) StructId : 179676

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

2 SPADES - Sound Programming of Adaptive Dependable Embedded Systems (Centre de Recherche Inria 655, avenue de l'Europe 38334 Saint Ismier Cedex - France) StructId : 209151

Inria Grenoble - Rhône-Alpes (Inovallée 655 avenue de l'Europe 38330 Montbonnot - France) StructId : 2497
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
LIG - Laboratoire d'Informatique de Grenoble (UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France Tél. : 04 57 42 14 00 - France) StructId : 24471
- UPMF - Université Pierre Mendès France - Grenoble 2 (BP 47 - 38040 Grenoble Cedex 9 - France) StructId : 3886
- UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France) StructId : 51016
- INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 300275
- CNRS - Centre National de la Recherche Scientifique : UMR5217 (France) StructId : 441569
- UGA - Université Grenoble Alpes (CS 40700 - 38058 Grenoble cedex - France) StructId : 445543

3 TEA - Tim, Events and Architectures (Campus universitaire de Beaulieu 35042 RENNES Cedex - France) StructId : 241905

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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France) StructId : 419365
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 105128
  - 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
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France) StructId : 301262
  - 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
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575

4 Itemis France SAS [Issy les Moulineaux] (198 Avenue de Verdun 92040, ISSY LES MOULINEAUX - France) StructId : 431038

5 Toyota ITC - Toyota InfoTechnology Center Co [Mountain View] (465 Bernardo Avenue, Mountain View, CA 94043 - États-Unis) StructId : 128080

Toyota ITC (France) StructId : 331027

Type de document :

Article dans une revue

Science of Computer Programming, Elsevier, 2014, Science of Computer Programming, pp.20

Domaine :

Informatique [cs]

Informatique [cs] / Systèmes embarqués

Liste complète des métadonnées

https://hal.inria.fr/hal-01095010
Contributeur : Jean-Pierre Talpin <>
Soumis le : dimanche 14 décembre 2014 - 19:57:16
Dernière modification le : jeudi 15 novembre 2018 - 11:58:49

Identifiants

HAL Id : hal-01095010, version 1

Collections

Citation

Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, et al.. Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony. Science of Computer Programming, Elsevier, 2014, Science of Computer Programming, pp.20. 〈hal-01095010〉

Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony

Identifiants

Collections

Citation

Exporter

Métriques

402

Contact

Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony

Identifiants

Collections

Citation

Exporter

Partager

Métriques

402

Contact