Issue No.02 - Feb. (2013 vol.12)
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
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TMC.2011.260
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.
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
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