Deterministic Data Flow Communication in AADL
Mohamed Yassin Chkouri, Marius Dorel Bozga · 2009
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.