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

IEEE Transactions on Mobile Computing

Volumn 12, Issue 2, 2013, Pages 219-232

  Kang, Kyungtae ^a   Nam, Min Young ^b   Sha, Lui ^b  

^a Hanyang University   (South Korea)

^b University of Illinois at Urbana Champaign   (United States)

Author keywords

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

Indexed keywords

ARCHITECTURE ANALYSIS; ARCHITECTURE MODELS; AUTOMATED ANALYSIS; DESCRIPTION LANGUAGES; MODEL-BASED ANALYSIS; MODULAR COMPONENTS; REAL-TIME APPLICATION; SAFETY-CRITICAL; SYSTEM VERIFICATIONS; VIDEO BROADCASTING; WIRELESS SYSTEMS;

ARCHITECTURE; HEALTH CARE;

TRACKING (POSITION);

EID: 84871724468     PISSN: 15361233     EISSN: None     Source Type: Journal    
DOI: 10.1109/TMC.2011.260     Document Type: Article

References (45)

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/projects/rscode, 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.edu/tracemain.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.