Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

July 2008


University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-08-25.


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.



Date Posted: 01 August 2008