Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00788422
Contributor : Ist Rennes Connect in order to contact the contributor
Submitted on : Thursday, February 14, 2013 - 2:18:05 PM
Last modification on : Tuesday, June 15, 2021 - 4:26:55 PM

Links full text

Identifiers

Citation

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

Share

Metrics

Record views

234