System Synthesis from AADL using Polychrony

Yue Ma 1 Huafeng Yu 1 Thierry Gautier 1 Jean-Pierre Talpin 1 Loïc Besnard 1 Paul Le Guernic 1
1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : The increasing system complexity and time to market constraints are great challenges in current electronic system design. Raising the level of abstraction in the design and performing fast yet efficient high-level analysis, validation and synthesis has been widely advocated and considered as a promising solution. Motivated by the same approach, our work on system-level synthesis is presented in this paper: use the high-level modeling, domain-specific, language AADL for system-level co-design; use the formal framework Polychrony, based on the synchronous language SIGNAL, for analysis, validation and synthesis. According to SIGNAL's polychronous model of computation, we propose a model for AADL, which takes both software, hardware and allocation into account. This model enables an early phase timing analysis and synthesis via tools associated with Polychrony.
Type de document :
Communication dans un congrès
Electronic System Level Synthesis Conference, Jun 2011, San Diego, California, United States. 2011
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00594943
Contributeur : Yu Huafeng <>
Soumis le : dimanche 22 mai 2011 - 12:51:23
Dernière modification le : jeudi 11 janvier 2018 - 06:20:09
Document(s) archivé(s) le : vendredi 9 novembre 2012 - 11:56:02

Fichier

eslsyn11-ma.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00594943, version 1

Collections

Citation

Yue Ma, Huafeng Yu, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard, et al.. System Synthesis from AADL using Polychrony. Electronic System Level Synthesis Conference, Jun 2011, San Diego, California, United States. 2011. 〈inria-00594943〉

Partager

Métriques

Consultations de la notice

314

Téléchargements de fichiers

198