skip to main content
research-article

System/network design-space exploration based on TLM for networked embedded systems

Published:06 April 2010Publication History
Skip Abstract Section

Abstract

This article presents a methodology for the design of Networked Embedded Systems (NESs), which extends Transaction Level Modeling (TLM) to perform system/network design-space exploration. As a result, a new design dimension is added to the traditional TLM refinement process to represent network configuration alternatives. Each network configuration can be used to drive both architecture exploration and system validation after each refinement step. A system/network simulation taxonomy is investigated aiming at precisely identifying the role of cosimulation in system/network design-space exploration. Furthermore, a general criterion to map functionalities to system and network models is presented. As a case study, the proposed methodology is applied to the design of a Voice-over-IP client.

References

  1. ARM. 1999. Amba specification 2.0. http://www.arm.com.Google ScholarGoogle Scholar
  2. Aue, V., Kneip, J., Weiss, M., Bolle, M., and Fettweis, G. 2001. Matlab-based co-design framework for wireless broadband communication DSPs. In Proceeding of the Conference on Acoustics, Speech, and Signal Processing (ICASSP). IEEE, Los Alamitos, CA, 1253--1256. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Baillieul, J. and Antsaklis, P.-J. 2007. Control and communication challenges in networked real-time systems. Proceedings of the IEEE. 95, 9--28.Google ScholarGoogle ScholarCross RefCross Ref
  4. Barberis, A., Casetti, C., Martin, J. D., and Meo, M. 2001. A simulation study of adaptive voice communications for ip networks. Comput. Commun. J. 24, 9, 757--767. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Benini, L., Bertozzi, D., Bruni, D., Drago, N., Fummi, F., and Poncino, M. 2003. SystemC cosimulation and emulation of multiprocessor SoC designs. IEEE Comput. 36, 4, 53--59. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Blake, S., Black, D., Carlson, M., Davies, E., Wang, Z., and Weiss, W. 1998. An architecture for differentiated services. RFC 2475. http://www.ietf.org/rfc/rfc2475.txt?number=2475.Google ScholarGoogle Scholar
  7. Bolot, J. and Turletti, T. 1994. A rate control mechanism for packet video in the internet. In Proceedings of the Conference on Computer Communications (INFOCOM'94). IEEE, Los Alamitos, CA.Google ScholarGoogle Scholar
  8. Bombieri, N., Fummi, F., and Pravadelli, G. 2005. Functional verification of networked embedded systems. In Proceedings of the International Symposium on Quality Electronic Design (ISQED). ACM, New York, 321--326. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Bombieri, N., Quaglia, D., and Fummi, F. 2006. TLM/Network design space exploration for networked embedded systems. In Proceedings of the Conference on Hardware-Software Co-Design and System Synthesis (CODES+ISSS). ACM, New York, 58--63. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Bragagnini, A., Fummi, F., Huebner, A., Perbellini, G., and Quaglia, D. 2007. Co-simulation framework for the angel platform. In Proceedings of the Conference on Electronics, Circuits and Systems (ICECS). IEEE, Los Alamitos, CA, 629--632.Google ScholarGoogle Scholar
  11. Brahme, D. S., Cox, S., Gallo, J., Glasser, M., Grundmann, W., Ip, C. N., Paulsen, W., Pierce, J. L., Rose, J., et al. 2000. The transaction-based verification methodology. Tech. rep. CDNLTR-2000-0825, Cadence Berkeley Labs. http://masters.donntu.edu.ua/2007/fvti/smeshkov/library/tbv00tr2.pdf.Google ScholarGoogle Scholar
  12. Cai, L. and Gajski, D. 2003. Transaction level modeling: an overview. In Proceedings of the International Conference on Hardware/Software Co-Design and System Synthesis. IEEE, Los Alamitos, CA, 19--24. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Conti, M. and Moretti, D. 2005. System level analysis of the bluetooth standard. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE). ACM, New York, 118--123. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Clouard, A., Jain, K., Ghenassia, F., Maillet-Contoz, L., Stassen, J.-P. 2003. Using transactional models in a SoC design flow. In W. Müller, W. Rosenthstiel, J. Ruf, SystemC: Methodologies and Applications. Kluwer Academic Publishers, The Netherlands, 29--63. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Davini, G., Quaglia, D., De Martin, J. C., and Casetti, C. 2003. Perceptually-evaluated loss-delay controlled adaptive transmission of MPEG video over IP. In Proceedings of the Conference on Communications (ICC). IEEE, Los Alamitos, CA, 577--581.Google ScholarGoogle Scholar
  16. Desmet, D., Esvelt, M., Avasare, P., Verkest, D., and De Man, H. 1999. Timed executable system specification of an ADSL modem using a C++ based design environment: A case study. In Proceedings of the ACM/IEEE Conference on Hardware-Software Co-Design and System Synthesis (CODES+ISSS). ACM, New York, 38--42. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Dietterle, D. and Kraemer, R. 2002. Design of a hardware accelerator for a power-optimized implementation of the IEEE 802.11 MAC layer. In Proceedings of the 3rd International Conference on Internet Computing. IEEE, Los Alamitos, CA, 225--230.Google ScholarGoogle Scholar
  18. Dietterle, D., Ebert, J., Wagenknecht, G., and Kraemer, R. 2006. A wireless communication platform for long-term health monitoring. In Proceedings of the International Conference on Pervasive Computing and Communications Workshop. IEEE, Los Alamitos, CA, 478--483. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Fleischmann, J. and Buchenrieder, K. 1999. Prototyping networked embedded systems. IEEE Comput. 32, 2, 116--119. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Fummi, F., Gallo, P., Martini, S., Perbellini, G., Poncino, M., and Ricciato, F. 2003. A timing-accurate modeling and simulation environment for networked embedded systems. In Proceedings of the ACM/IEEE Design and Automation Conference (DAC). ACM, New York, 42--47. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Fummi, F., Martini, S., Perbellini, G., Poncino, M., Ricciato, F., and Turolla, M. 2004. Heterogeneous co-simulation of networked embedded systems. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE'04). ACM, New York, 168--173. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Fummi, F., Quaglia, D., Ricciato, F., and Turolla, M. 2006. Modeling and simulation of mobile gateways interacting with wireless sensor networks. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE'06). ACM, New York. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Gerstlauer, A., Shin, D., Domer, R., and Gajski, D. D. 2005. System-level communication modeling for network-on-chip synthesis. In Proceedings of the ACM/IEEE Design Automation Conference Asia and South Pacific (ASP-DAC'05). ACM, New York, 45--48. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Grotker, T., Liao, S., Martin, G., and Swan, S. 2002. System Design with SystemC. Springer, Berlin. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. IBM. IBM core connect. http://www.chips.ibm.com/products/powerpc/cores.Google ScholarGoogle Scholar
  26. Jacobson, V. 1988. Congestion avoidance and control. In Proceedings of the Symposium on Communications Architectures and Protocols. ACM, New York, 314--329. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Keutzer, K., Newton, A. R., Rabaey, J. M., and Sangiovanni-Vincentelli, A. 2000. System-level design: Orthogonalization of concerns and platform-based design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19, 12, 1523--1543. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. Kozen, D., Minsky, Y., and Smith, B. 1998. Efficient algorithms for optimal video transmission. In Proceedings of the IEEE Data Compression Conference (DCC'98). IEEE, Los Alamitos, CA, 229--238. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. Krause, M., Bringmann, O., and Rosenstiel, W. 2006. A SystemC-based software and communication refinement framework for distributed embedded systems. In Proceedings of the 13th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI).Google ScholarGoogle Scholar
  30. Lugil, N. and Philips, L. 2000. A W-CDMA transceiver core and a simulation environment for 3GPP terminals. In Proceedings of the IEEE Symposium on Spread Spectrum Techniques and Applications. IEEE, Los Alamitos, CA, 491--495.Google ScholarGoogle Scholar
  31. NS-2. NS Network Simulator -- version 2. http://www.isi.edu/nsnam/ns.Google ScholarGoogle Scholar
  32. OCP-IP. Open Core Protocol International Partnership. http://www.ocpip.org.Google ScholarGoogle Scholar
  33. OmNet++. OmNet++ - discrete event simulation System. http://www.omnetpp.org.Google ScholarGoogle Scholar
  34. OPNET. OPNET Technologies, Inc. homepage. http://www.opnet.com.Google ScholarGoogle Scholar
  35. Pasko, R., Cmar, R., Schaumont, P., and Vernalde, S. 2000. Functional verification of an embedded network component by co-simulation with a real network. In Proceedings of the High-Level Design Validation and Test Workshop (HLDVT'00). IEEE, Los Alamitos, CA, 64--67. Google ScholarGoogle ScholarDigital LibraryDigital Library
  36. Postel, J. 1981. Transmission control protocol. RFC 793. http://www.ietf.org/rfc/rfc0793.txt?number=793.Google ScholarGoogle Scholar
  37. QualNet. QualNet - Scalable Network Technologies. http://www.scalable-networks.com.Google ScholarGoogle Scholar
  38. Rose, A., Swan, S., Pierce, J., and Fernandez, J. Transaction Level Modeling in SystemC. White paper. http://www.systemc.org.Google ScholarGoogle Scholar
  39. Sander, I. and Jantsch, A. 2004. System modeling and transformational design refinement in ForSyDe. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23, 1, 17--32. Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. Schulzrinne, H., Casner, S., Frederick, R., and Jacobson, V. 2003. RTP: a transport protocol for real-time applications. RFC 3550. http://www.ietf.org/rfc/rfc3550.txt?number=3550.Google ScholarGoogle Scholar
  41. Transaction Level Modeling Working Group. 2006. OSCI TLM 2.0. http://www.systemc.org.Google ScholarGoogle Scholar
  42. Yin, N. and Hluchyj, M. 1991. A dynamic rate control mechanism for source coded traffic in a fast packet network. IEEE J. Sel. Areas Commun. 9, 7, 1003--1012.Google ScholarGoogle ScholarDigital LibraryDigital Library
  43. Zhu, H. and Chlamtac, I. 2005. Performance analysis for IEEE 802.11e EDCF service differentiation. IEEE Trans. Wireless Commun. 4, 4, 1779--1788. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. System/network design-space exploration based on TLM for networked embedded systems

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!