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

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

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
- 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
- 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

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
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
  - Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France) StructId : 301262
  - INSA - Institut National des Sciences Appliquées : - RENNES (France) StructId : 301232
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265

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 : mercredi 11 avril 2018 - 01:51:03

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

316

Contact

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

Identifiants

Collections

Citation

Exporter

Partager

Métriques

316

Contact