Sciweavers

Share
MEMOCODE
2008
IEEE

Virtual prototyping AADL architectures in a polychronous model of computation

9 years 4 months ago
Virtual prototyping AADL architectures in a polychronous model of computation
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both synchronous and asynchronous worlds by considering locally synchronous processes composed in a globally asynchronous way to form so called GALS architectures. In the avionics domain, for instance, the Architecture Analysis and Design Language (AADL) may be used to describe both the hardware and software architecture of an application at system-level. Yet, a synchronous design formalism might be preferred to model and validate each of the critical components of the architecture in isolation. In this paper, we illustrate the use of the polychronous (multi-clocked synchronous) paradigm to model partially asynchronous applications. The specification formalism SIGNAL is used to describe real-world avionic applications using concepts of Integrated Modular Avionics (IMA). We show how an AADL architecture can be au...
Ma Yue, Jean-Pierre Talpin, Thierry Gautier
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Where MEMOCODE
Authors Ma Yue, Jean-Pierre Talpin, Thierry Gautier
Comments (0)
books