Model-based analysis of wireless system architectures for real-time applications

Kyungtae Kang, Min Young Nam, Lui Sha

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish (US)
Article number6104052
Pages (from-to)219-232
Number of pages14
JournalIEEE Transactions on Mobile Computing
Issue number2
StatePublished - 2013


  • Architecture analysis and description language (AADL)
  • model-based analysis
  • wireless system architecture

ASJC Scopus subject areas

  • Software
  • Computer Networks and Communications
  • Electrical and Electronic Engineering


Dive into the research topics of 'Model-based analysis of wireless system architectures for real-time applications'. Together they form a unique fingerprint.

Cite this