Date of this Version
Oleg Sokolsky, Insup Lee, and Duncan Clark, "Schedulability Analysis of AADL models", . April 2006.
The paper discusses the use of formal methods for the analysis of architectural models expressed in the modeling language AADL. AADL describes the system as a collection of interacting components. The AADL standard prescribes semantics for the thread components and rules of interaction between threads and other components in the system. We present a semantics-preserving translation of AADL models into the real-time process algebra ACSR, allowing us to perform schedulability analysis of AADL models.
Date Posted: 14 March 2007
This document has been peer reviewed.