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

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

Journal articles

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

Adnan Bouakaz ²
Author
PersonId : 763311IdRef : 176242546

Thierry Gautier ³
Author

Paul Le Guernic ³
Author

yue Ma ⁴
Author

Jean-Pierre Talpin ³
Author
PersonId : 742474
IdHAL : jean-pierretalpinORCID : 0000-0002-0556-4265IdRef : 094211515

Huafeng yu ⁵
Author

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
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 89889
- 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

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
  - 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
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - 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
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569

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 - United States) StructId : 128080

Toyota ITC (France) StructId : 331027

Document type :

Journal articles

Domain :

Computer Science [cs]

Computer Science [cs] / Embedded Systems

Complete list of metadata

https://hal.inria.fr/hal-01095010
Contributor : Jean-Pierre Talpin Connect in order to contact the contributor
Submitted on : Sunday, December 14, 2014 - 7:57:16 PM
Last modification on : Sunday, June 26, 2022 - 5:00:22 AM

Identifiers

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

Identifiers

Collections

Citation

Export

Metrics

216

Contact Legal Notice Personal Data

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

Identifiers

Collections

Citation

Export

Share

Metrics

216

Contact Legal Notice Personal Data