Date of this Version
Architecture Analysis and Design Language (AADL) captures both platform and software architectures of embedded systems in a component oriented fashion. Properties embedded in an AADL model enable several high-level analysis techniques. In this work, we explore how to perform analysis of end-to-end timing characteristics of an AADL model using Real-Time Calculus (RTC). We identify properties of AADL models that are necessary to enable such analysis and develop an algorithm to transform an AADL model into an RTC model.
Oleg Sokolsky and Alexander Chernoguzov, "Analysis of AADL Models Using Real-Time Calculus with Applications to Wireless Architectures", . July 2008.
Date Posted: 01 August 2008