Performance analysis of AADL models using real-time calculus

Authors:
Oleg Sokolsky;Alexander Chernoguzov
Affiliations:
Department of Computer and Info. Science, University of Pennsylvania, Philadelphia, PA;Honeywell, Fort Washington, PA
Venue:
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Year:
2008

Citing 9
Cited 1

Efficient Scheduling of Real-Time Multi-Task Applications in Dynamic Systems

RTAS '00 Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium (RTAS 2000)
A General Framework for Analysing System Properties in Platform-Based Embedded System Designs

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Event Count Automata: A State-Based Model for Stream Processing Systems

RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
System architecture evaluation using modular performance analysis: a case study

International Journal on Software Tools for Technology Transfer (STTT)
Virtual execution of AADL models via a translation into synchronous programs

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems

RTSS '07 Proceedings of the 28th IEEE International Real-Time Systems Symposium
On Resource Allocation in Architectural Models

ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
Network calculus: a theory of deterministic queuing systems for the internet

Network calculus: a theory of deterministic queuing systems for the internet
Schedulability analysis of AADL models

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing

System performance evaluation by combining RTC and VHDL simulation: A case study on NICs

Journal of Systems Architecture: the EUROMICRO Journal

Quantified Score

Hi-index	0.00

Visualization

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. We use the proposed technique to identify analyze the infrastructure for sensor network architecture.