The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - Feb. (2013 vol.12)
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
ABSTRACT
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
REFERENCES
[1] OPNET Technologies, http:/www.opnet.com, 2012.
[2] C. Atici and M.O. Sunay, "High Data-Rate Video Broadcasting over 3G Wireless Systems," IEEE Trans. Broadcasting, vol. 53, no. 1, pp. 212-223, Mar. 2007.
[3] N.H. Vaidya, J. Bernhard, V.V. Veeravalli, P.R. Kumar, and R.K. Iyer, "Illinois Wireless Wind Tunnel: A Testbed for Experimental Evaluation of Wireless Networks," Proc. ACM SIGCOMM Workshop Experimental Approaches to Wireless Network Design and Analysis, pp. 64-69, Aug. 2005.
[4] W.J. Jeon, K. Kang, R.H. Campbell, and K. Nahrstedt, "Simulation Framework and Performance Analysis of Multimedia Broadcasting Service over Wireless Networks," Proc. Int'l Conf. Distributed Systems (ICDCS '09), pp. 93-100, June 2009.
[5] N. Medvidovic and R.N. Taylor, "A Classification and Comparison Framework for Software Architecture Descripton Languages," IEEE Trans. Software Eng., vol. 26, no. 1, pp. 70-93, Jan. 2000.
[6] SAE International, Standard AS 5506, Architecture Analysis and Design Language (AADL), SAE, Nov. 2004.
[7] P.H. Feiler, B. Lewis, and S. Vestal, "The SAE Architecture Analysis & Design Language (AADL) A Standard for Engineering Performance Critical Systems," Proc. IEEE Int'l Symp. Intelligent Control (ISIC '06), pp. 1206-1211, Oct. 2006.
[8] N. Bhushan, C. Lott, P. Black, R. Attar, Y.-C. Jou, M. Fan, D. Ghosh, and J. Au, "CDMA2000 1xEV-DO Revision A: A Physical Layer and MAC Layer Overview," IEEE Comm. Magazine, vol. 44, no. 2, pp. 37-49, Feb. 2006.
[9] D.R. Pauluzzi and N.C. Beaulieu, "A Comparison of SNR Estimation Techniques for the AWGN Channel," IEEE Trans. Comm., vol. 48, no. 10, pp. 1681-1691, Oct. 2000.
[10] A. Konrad, B.Y. Zhao, A.D. Joseph, and R. Ludwig, "A Markov-Based Channel Model Algorithm for Wireless Networks," ACM Wireless Networks, vol. 9, no. 3, pp. 189-199, May 2003.
[11] S.A. Khayam and H. Radha, "Constant-Complexity Models for Wireless Channels," Proc. IEEE INFOCOM, pp. 1-11, Apr. 2006.
[12] J. Daemen and V. Rijmen, The Design of Rijndael: AES - The Advanced Encryption Standard. Springer-Verlag, 2002.
[13] W.J. Ebel and W.H. Tranter, "The Performance of Reed-Solomon Codes on a Bursty-Noise Channel," IEEE Trans. Comm., vol. 43, no. 234, pp. 298-306, Feb.-Apr. 1995.
[14] K. Kang, Y. Cho, and H. Shin, "Energy-Efficient MAC-Layer Error Recovery for Mobile Multimedia Applications in 3GPP2 BCMCS," IEEE Trans. Broadcasting, vol. 53, no. 1, pp. 338-349, Mar. 2007.
[15] K. Kang and L. Sha, "An Interleaving Structure for Guaranteed QoS in Real-Time Broadcasting Systems," IEEE Trans. Computers, vol. 59, no. 5, pp. 666-678, May 2010.
[16] C. Berrou and A. Glavieux, "Near Optimum Error Correcting Coding and Decoding: Turbo-Codes," IEEE Trans. Comm., vol. 44, no. 10, pp. 1261-1271, Oct. 1996.
[17] M. Zorzi and R.R. Rao, "On the Statistics of Block Errors in Bursty Channels," IEEE Trans. Comm., vol. 45, no. 6, pp. 660-667, June 1997.
[18] M. Zorzi, R.R. Rao, and L.B. Milstein, "Error Statistics in Data Transmission over Fading Channels," IEEE Trans. Communications, vol. 46, no. 11, pp. 1468-1477, Nov. 1998.
[19] W.C. Jakes, Microwave Mobile Communications. Wiley-IEEE, May 1994.
[20] J.G. Proakis, Digital Communications, second ed. McGraw-Hill, 1989.
[21] Open Source AADL Tool Environment, http:/www.aadl.info, 2012.
[22] Eclipse, http:/www.eclipse.org, 2012.
[23] Iterative Solutions, http:/www.iterativesolutions.com, 2012.
[24] P.R. Wellin, R.J. Gaylord, and S.N. Kamin, Introduction to Programming with Mathematica. Cambridge Univ., 2005.
[25] T. Gayley, "Building User Interfaces Using J/Link," The Mathematica J., vol. 9, no. 1, pp. 189-215, 2003.
[26] IAR Systems, http:/www.iar.com, 2012.
[27] "A Reed-Solomon Error-Eorrecting Encoder/Decoder Library Written in C," http://sourceforge.net/projectsrscode, 2012.
[28] N.B. Atti, G.M. Diaz-Toca, and H. Lombardi, "The Berlekamp-Massey Algorithm Revisited," Applicable Algebra in Eng., Comm. and Computing, vol. 17, no. 1, pp. 75-82, Apr. 2006.
[29] "Code for AES and Combined Encryption/Authentication Modes," http:/www.gladman.me.uk, 2012.
[30] N. Golmie, D. Cypher, and O. Rebala, "Performance Analysis of Low-Rate Wireless Technologies for Medical Applications," Elsevier Computer Comm., vol. 28, no. 10, pp. 1266-1275, June 2005.
[31] H. Schwarz, D. Marpe, and T. Wiegand, "Overview of the Scalable Video Coding Extension of the H.264/AVC Standard," IEEE Trans. Circuits and Systems for Video Technology, vol. 17, no. 9, pp. 1103-1120, Sept. 2007.
[32] H. Mansour, P. Nasiopoulos, and V. Krishnamurthy, "Modeling of Loss Distortion in Hierarchical Prediction Codecs," Proc. IEEE Symp. Signal Processing and Information Technology (ISSPIT '06), pp. 536-540, Aug. 2006.
[33] "Video Traces for Network Performance Evaluation," http://trace.eas.asu.edutracemain.html, 2012.
[34] H.-M. Sun and Y.-K. Huang, "The Difference between Percieved Video Quality and Objective Video Quality," J. Visualization, vol. 13, no. 2, pp. 159-168, 2010.
[35] Z. Wang and A.C. Bovik, "A Universal Image Quality Index," IEEE Signal Processing Letters, vol. 9, no. 3, pp. 81-84, Mar. 2002.
[36] S. Winkler and P. Mohandas, "The Evolution of Video Quality Measurement: From PSNR to Hybrid Metircs," IEEE Trans. Broadcasting, vol. 54, no. 3, pp. 660-668, Sept. 2008.
[37] Z. Wang and Q. Li, "Video Quality Assessment Using a Statistical Model of Human Visual Speed Perception," J. Optical Soc. of Am. A, vol. 24, no. 12, pp. B61-B69, 2007.
[38] K. Seshadrinathan, R. Soundararajan, A.C. Bovik, and L.K. Cormack, "Study of Subjective and Objective Quality Assessment of Video," IEEE Trans. Image Processing, vol. 19, no. 6, pp. 1427-1441, June 2010.
[39] V. Prasad, T. Yan, P. Jayachandran, Z. Li, S.H. Son, J.A. Stankovic, J. Hansson, and T.F. Abdelzaher, "ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks," Proc. IEEE Real-Time Systems Symp. (RTSS '07), pp. 203-213, Dec. 2007.
[40] A. Ghosh, L. Pereira, T. Yan, and H. Cao, "Modeling Wireless Sensor Network Architectures using AADL," Proc. European Congress Embedded Real Time Software (ERTS '08), Jan. 2008.
[41] A. Ghosh, Y.-K. Hui, and M. Chiang, "Model-Based Architecture Analysis for Wireless Healthcare," Proc. ACM MobiHoc Workshop Pervasive Wireless Healthcare (MobileHealth '11), May 2011.
[42] O. Sokolsky and A. Chernoguzov, "Performance Analysis of AADL Models Using Real-Time Calculus," Proc. 15th Monterey Conf. Foundations of Computer Software: Future Trends and Techniques for Development, pp. 227-249, 2010.
[43] H. Blume, H. Hubert, H.T. Feldkamper, and T.G. Noll, "Model-Based Exploration of the Design Space for Heterogeneous Systems on Chip," Proc. IEEE Int'l Conf. Application-Specific Systems, Architectures and Processors (ASAP '02), pp. 29-40, July 2002.
[44] Y. Sun, X. Gao, E.M. Belding-Royer, and J. Kempf, "Model-Based Resource Prediction for Multi-Hop Wireless Networks," Proc. IEEE Int'l Conf. Mobile Ad-Hoc and Sensor Systems, pp. 114-123, Oct. 2004.
[45] H. Kim and J.C. Hou, "Improving Protocol Capacity with Model-Based Frame Scheduling in IEEE 802.11-Operated WLANs," Proc. ACM MobiCom, pp. 190-204, Sept. 2003.
39 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool