Distributed simulation of AADL specifications in a polychronous model of computation

Abstract : Architecture Analysis and Design Language (AADL) is used to describe the hardware and software architectures of embedded applications at the system level. The implementation of such systems is often distributed across asynchronous communication infrastructures. Such a distributed system is usually composed of locally synchronous processes communicating in a globally asynchronous manner, a GALS system. Yet, in a step-wise refinement based approach, one would prefer to model, simulate and validate such a system in a synchronous programming framework, and then automatically generate its GALS implementation. In this paper, we present a methodology to implement such an approach using the polychronous (multiclocked synchronous) model of computation of the data-flow synchronous language SIGNAL.We show how to model partially asynchronous application and to generate distributed simulation code starting from system-level AADL specifications.
Type de document :
Communication dans un congrès
IEEE. ICESS 2009 : International Conference on Embedded software and systems, May 2009, HangZhou, Zhejiang, China. IEEE, pp.607-614, 2009, 〈10.1109/ICESS.2009.47〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00788422
Contributeur : Ist Rennes <>
Soumis le : jeudi 14 février 2013 - 14:18:05
Dernière modification le : jeudi 11 janvier 2018 - 06:20:09

Identifiants

Collections

Citation

Yue Ma, Jean-Pierre Talpin, Sandeep Kumar Shukla, Thierry Gautier. Distributed simulation of AADL specifications in a polychronous model of computation. IEEE. ICESS 2009 : International Conference on Embedded software and systems, May 2009, HangZhou, Zhejiang, China. IEEE, pp.607-614, 2009, 〈10.1109/ICESS.2009.47〉. 〈hal-00788422〉

Partager

Métriques

Consultations de la notice

150