• DocumentCode
    2610788
  • Title

    SystemC Model Generation for Realistic Simulation of Networked Embedded Systems

  • Author

    Lazarescu, Mihai ; Sayyah, Parinaz ; Quaglia, Davide ; Stefanni, Francesco

  • Author_Institution
    Dept. of Electr. Eng., Politec. di Torino, Turin, Italy
  • fYear
    2012
  • fDate
    5-8 Sept. 2012
  • Firstpage
    423
  • Lastpage
    426
  • Abstract
    Verification and design-space exploration of today´s embedded systems require the simulation of heterogeneous aspects of the system, i.e., software, hardware, communications. This work shows the use of SystemC to simulate a model-driven specification of the behavior of a networked embedded system together with a complete network scenario consisting of the radio channel, the IEEE 802.15.4 protocol for wireless personal area networks and concurrent traffic sharing the medium. The paper describes the main issues addressed to generate SystemC modules from Matlab/Stateflow descriptions and to integrate them in a complete network scenario. Simulation results on a healthcare wireless sensor network show the validity of the approach.
  • Keywords
    C language; embedded systems; formal specification; health care; personal area networks; protocols; wireless sensor networks; IEEE 802.15.4 protocol; Matlab/Stateflow descriptions; SystemC model generation; concurrent traffic; design-space exploration; healthcare wireless sensor network; model-driven specification; networked embedded systems; realistic simulation; wireless personal area networks; Computational modeling; Hardware; Mathematical model; Protocols; Semantics; Unified modeling language; Wireless sensor networks; Stateflow; network simulation; spine; wireless sensor network;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Digital System Design (DSD), 2012 15th Euromicro Conference on
  • Conference_Location
    Izmir
  • Print_ISBN
    978-1-4673-2498-4
  • Type

    conf

  • DOI
    10.1109/DSD.2012.123
  • Filename
    6386921