Schedulability analysis of AADL models
Oleg V. Sokolsky, Insup Lee, Duncan L. Clarke · ScholarlyCommons (University of Pennsylvania) · 2006
The paper discusses the use of formal methods for the anal-ysis of architectural models expressed in the modeling lan-guage AADL. AADL describes the system as a collection of interacting components. The AADL standard prescribes se-mantics 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 per-form schedulability analysis of AADL models. 1