Exploring system architectures in AADL via Polychrony and SynDEx

Huafeng Yu 1 Yue Ma 1 Thierry Gautier 1 Loïc Besnard 1 Jean-Pierre Talpin 1 Paul Le Guernic 1 Yves Sorel 2
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
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Architecture analysis & design language (AADL) has been increasingly adopted in the design of embedded systems, and corresponding scheduling and formal verification have been well studied. However, little work takes code distribution and architecture exploration into account, particularly considering clock constraints, for distributed multi-processor systems. In this paper, we present an overview of our approach to handle these concerns, together with the associated toolchain, AADL-Polychrony-SynDEx. First, in order to avoid semantic ambiguities of AADL, the polychronous/multiclock semantics of AADL, based on a polychronous model of computation, is considered. Clock synthesis is then carried out in Polychrony, which bridges the gap between the polychronous semantics and the synchronous semantics of SynDEx. The same timing semantics is always preserved in order to ensure the correctness of the transformations between different formalisms. Code distribution and corresponding scheduling is carried out on the obtained SynDEx model in the last step, which enables the exploration of architectures originally specified in AADL. Our contribution provides a fast yet efficient architecture exploration approach for the design of distributed real-time and embedded systems. An avionic case study is used here to illustrate our approach.
Type de document :
Article dans une revue
Frontiers of Computer Science -Springer-, Springer Verlag, 2013, 7 (5), pp.627-649. <10.1007/s11704-013-2307-z>
Liste complète des métadonnées

https://hal.inria.fr/hal-00916445
Contributeur : Thierry Gautier <>
Soumis le : mardi 10 décembre 2013 - 11:54:14
Dernière modification le : vendredi 13 janvier 2017 - 14:16:34

Identifiants

Collections

Citation

Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Jean-Pierre Talpin, et al.. Exploring system architectures in AADL via Polychrony and SynDEx. Frontiers of Computer Science -Springer-, Springer Verlag, 2013, 7 (5), pp.627-649. <10.1007/s11704-013-2307-z>. <hal-00916445>

Partager

Métriques

Consultations de la notice

298