Title :
Deterministic Data Flow Communication in AADL
Author :
Chkouri, Mohamed Yassin ; Bozga, Marius
Author_Institution :
Verimag, Centre Equation, Milan
Abstract :
Architecture Analysis and Design Language (AADL) is used to describe both the hardware and software architecture of an application, at system-level. However, AADL data flow communication between components is not deterministic and limits the utility of AADL for critical systems.This paper provides a general protocol to ensure deterministic data flow communication between threads in AADL. We also present a methodology for translating the architecture into an executable model, which can be simulated and validated together.
Keywords :
data flow computing; software architecture; Architecture Analysis and Design Language; deterministic data flow communication; hardware architecture; software architecture; Communication system control; Computer architecture; Embedded software; Equations; Hardware; Protocols; Runtime; Software architecture; System testing; Yarn;
Conference_Titel :
Embedded Software and Systems, 2009. ICESS '09. International Conference on
Conference_Location :
Zhejiang
Print_ISBN :
978-1-4244-4359-8
DOI :
10.1109/ICESS.2009.28
