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 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.

[1]  Laurence B. Milstein,et al.  Error statistics in data transmission over fading channels , 1998, IEEE Trans. Commun..

[2]  Norman C. Beaulieu,et al.  A comparison of SNR estimation techniques for the AWGN channel , 2000, IEEE Trans. Commun..

[3]  M. Oguz Sunay,et al.  High Data-Rate Video Broadcasting Over 3G Wireless Systems , 2007, IEEE Transactions on Broadcasting.

[4]  Ben Y. Zhao,et al.  A Markov-Based Channel Model Algorithm for Wireless Networks , 2001, MSWIM '01.

[5]  Vincent Rijmen,et al.  The Design of Rijndael: AES - The Advanced Encryption Standard , 2002 .

[6]  Lui Sha,et al.  An Interleaving Structure for Guaranteed QoS in Real-Time Broadcasting Systems , 2010, IEEE Transactions on Computers.

[7]  Elizabeth M. Belding-Royer,et al.  Model-based resource prediction for multi-hop wireless networks , 2004, 2004 IEEE International Conference on Mobile Ad-hoc and Sensor Systems (IEEE Cat. No.04EX975).

[8]  W. C. Jakes,et al.  Microwave Mobile Communications , 1974 .

[9]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[10]  Heiko Schwarz,et al.  Overview of the Scalable Video Coding Extension of the H.264/AVC Standard , 2007, IEEE Transactions on Circuits and Systems for Video Technology.

[11]  Huey-Min Sun,et al.  The difference between perceived video quality and objective video quality , 2010, J. Vis..

[12]  Heonshik Shin,et al.  Energy-Efficient MAC-Layer Error Recovery for Mobile Multimedia Applications in 3GPP2 BCMCS , 2007, IEEE Transactions on Broadcasting.

[13]  Amitava Ghosh,et al.  Model-based architecture analysis for wireless healthcare , 2011, MobileHealth '11.

[14]  William H. Tranter,et al.  The performance of Reed-Solomon codes on a bursty-noise channel , 1995, IEEE Trans. Commun..

[15]  A. Bovik,et al.  A universal image quality index , 2002, IEEE Signal Processing Letters.

[16]  Frank H. P. Fitzek,et al.  Video Traces for Network Performance Evaluation , 2006 .

[17]  J.E. Mazo,et al.  Digital communications , 1985, Proceedings of the IEEE.

[18]  Hongxing Wei,et al.  Implementing Hybrid Operating Systems with Two-Level Hardware Interrupts , 2007, RTSS 2007.

[19]  P. Nasiopoulos,et al.  Modeling of Loss-Distortion in Hierarchical Prediction Codecs , 2006, 2006 IEEE International Symposium on Signal Processing and Information Technology.

[20]  Rajiv Soundararajan,et al.  Study of Subjective and Objective Quality Assessment of Video , 2010, IEEE Transactions on Image Processing.

[21]  Jörgen Hansson,et al.  ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[22]  Klara Nahrstedt,et al.  Simulation Framework and Performance Analysis of Multimedia Broadcasting Service over Wireless Networks , 2009, 2009 29th IEEE International Conference on Distributed Computing Systems.

[23]  Stefan Winkler,et al.  The Evolution of Video Quality Measurement: From PSNR to Hybrid Metrics , 2008, IEEE Transactions on Broadcasting.

[24]  Yu-Cheun Jou,et al.  CDMA2000 1/spl times/EV-DO revision a: a physical layer and MAC layer overview , 2006, IEEE Communications Magazine.

[25]  Jennifer C. Hou,et al.  Improving protocol capacity with model-based frame scheduling in IEEE 802.11-operated WLANs , 2003, MobiCom '03.

[26]  Zhou Wang,et al.  Video quality assessment using a statistical model of human visual speed perception. , 2007, Journal of the Optical Society of America. A, Optics, image science, and vision.

[27]  T. Gayley.  Building User Interfaces Using J/Link , 2003 .

[28]  Hayder Radha,et al.  Constant-Complexity Models for Wireless Channels , 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

[29]  Holger Blume,et al.  Model-based exploration of the design space for heterogeneous systems on chip , 2002, Proceedings IEEE International Conference on Application- Specific Systems, Architectures, and Processors.

[30]  Gema María Díaz-Toca,et al.  The Berlekamp-Massey Algorithm revisited , 2005, Applicable Algebra in Engineering, Communication and Computing.

[31]  Oleg Sokolsky,et al.  Performance Analysis of AADL Models Using Real-Time Calculus , 2008, Monterey Workshop.

[32]  Ting Yan,et al.  Modeling Wireless Sensor Network Architectures using AADL , 2007 .

[33]  Nada Golmie,et al.  Performance analysis of low rate wireless technologies for medical applications , 2005, Comput. Commun..

[34]  Steve Vestal,et al.  The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[35]  Nitin H. Vaidya,et al.  Illinois wireless wind tunnel: a testbed for experimental evaluation of wireless networks , 2005, E-WIND '05.

[36]  Alain Glavieux,et al.  Reflections on the Prize Paper : "Near optimum error-correcting coding and decoding: turbo codes" , 1998 .

[37]  Michele Zorzi,et al.  On the statistics of block errors in bursty channels , 1997, IEEE Trans. Commun..