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 ¹ AuthorId : 642883
Author

Adnan Bouakaz ² AuthorId : 538192
Author

Thierry Gautier ³ AuthorId : 121156
Author

Paul Le Guernic ³ AuthorId : 101987
Author

Yue Ma ⁴ AuthorId : 478753
Author

Jean-Pierre Talpin ³ AuthorId : 642884

Author IdHAL : jean-pierretalpin ORCID : https://orcid.org/0000-0002-0556-4265

Huafeng Yu ⁵ AuthorId : 90491
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
- UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France) StructId : 51016
- UPMF - Université Pierre Mendès France - Grenoble 2 (BP 47 - 38040 Grenoble Cedex 9 - France) StructId : 3886
- CNRS - Centre National de la Recherche Scientifique : UMR5217 (France) StructId : 441569
- INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 300275
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 89889

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 <>
Submitted on : Sunday, December 14, 2014 - 7:57:16 PM
Last modification on : Monday, February 15, 2021 - 3:52:02 PM

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

575

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

575

Contact Legal Notice Personal Data