Distributed simulation of AADL specifications in a polychronous model of computation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

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.

Domains

Other [cs.OH]

Dates and versions

hal-00788422 , version 1 (14-02-2013)

Identifiers

Cite

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⟩
87 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More