Model-Based Analysis of Wireless System Architectures for Real-Time Applications

We propose a model-based description and analysis framework for the design of wireless system architectures. Its aim is to address the shortcomings of existing approaches to system verification and the tracking of anomalies in safety-critical wireless systems. We use Architecture Analysis and Descri...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on mobile computing Vol. 12; no. 2; pp. 219 - 232
Main Authors Kyungtae Kang, Min-Young Nam, Lui Sha
Format Magazine Article
LanguageEnglish
Published IEEE 01.02.2013
Subjects
Analytical models
Architecture analysis and description language (AADL)
Computer architecture
Hardware
Mobile communication
model-based analysis
Protocols
Software
Wireless communication
wireless system architecture
Online AccessGet full text

Cover

More Information
Summary:We propose a model-based description and analysis framework for the design of wireless system architectures. Its aim is to address the shortcomings of existing approaches to system verification and the tracking of anomalies in safety-critical wireless systems. We use Architecture Analysis and Description Language (AADL) to describe an analysis-oriented architecture model with highly modular components. We also develop the cooperative tool chains required to analyze the performance of a wireless system by simulation. We show how this framework can support a detailed and largely automated analysis of a complicated, networked wireless system using examples from wireless healthcare and video broadcasting.
ISSN:1536-1233
1558-0660
DOI:10.1109/TMC.2011.260