Skip to Main content Skip to Navigation
New interface
Conference papers

Distributed simulation of AADL specifications in a polychronous model of computation

Yue Ma 1 Jean-Pierre Talpin 1 Sandeep Kumar Shukla 2 Thierry Gautier 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 : 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
Contributor : Ist Rennes Connect in order to contact the contributor
Submitted on : Thursday, February 14, 2013 - 2:18:05 PM
Last modification on : Saturday, November 19, 2022 - 3:43:05 AM

Links full text



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⟩



Record views