This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Model-Based Analysis of Wireless System Architectures for Real-Time Applications
Feb. 2013 (vol. 12 no. 2)
pp. 219-232
Kyungtae Kang, Dept. of Comput. Sci. & Eng., Hanyang Univ., Ansan, South Korea
Min-Young Nam, Dept. of Comput. Sci., Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
Lui Sha, Dept. of Comput. Sci., Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
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.
Index Terms:
telecommunication security,cooperative communication,hardware description languages,radio networks,safety-critical software,service-oriented architecture,networked wireless system,model-based analysis,wireless system architecture,safety-critical wireless system,anomalies tracking,architecture analysis and description language,AADL,analysis-oriented architecture model,cooperative tool chain,Wireless communication,Mobile communication,Analytical models,Hardware,Computer architecture,Protocols,Software,wireless system architecture,Architecture analysis and description language (AADL),model-based analysis
Citation:
Kyungtae Kang, Min-Young Nam, Lui Sha, "Model-Based Analysis of Wireless System Architectures for Real-Time Applications," IEEE Transactions on Mobile Computing, vol. 12, no. 2, pp. 219-232, Feb. 2013, doi:10.1109/TMC.2011.260
Usage of this product signifies your acceptance of the Terms of Use.