DocumentCode
1925488
Title
Deterministic Data Flow Communication in AADL
Author
Chkouri, Mohamed Yassin ; Bozga, Marius
Author_Institution
Verimag, Centre Equation, Milan
fYear
2009
fDate
25-27 May 2009
Firstpage
93
Lastpage
100
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Embedded Software and Systems, 2009. ICESS '09. International Conference on
Conference_Location
Zhejiang
Print_ISBN
978-1-4244-4359-8
Type
conf
DOI
10.1109/ICESS.2009.28
Filename
5066635
Link To Document