Technical Reports (CIS)
Document Type
Technical Report
Date of this Version
July 2008
Abstract
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.
COinS
Date Posted: 01 August 2008
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-08-25.