• DocumentCode
    2164066
  • Title

    Modeling and simulation of hardware/software systems with CD++

  • Author

    Glinsky, Ezequiel ; Wainer, Gabriel

  • Author_Institution
    Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
  • Volume
    1
  • fYear
    2004
  • fDate
    5-8 Dec. 2004
  • Lastpage
    205
  • Abstract
    Modeling and simulation (M&S) methodologies can be useful in the development of hardware-in-the-loop applications. CD++ is a toolkit with support for real-time model execution that implements DEVS, a sound, formal M&S framework allowing hierarchical, modular model composition and component reuse. We present a methodology that uses CD++ to develop hybrid hardware/software systems. The technique enables incremental transition from the simulated models to the actual hardware counterparts, supports experimental frameworks to facilitate testing in a risk-free environment, encourages component reuse, and allows developing models with different levels of abstraction. CD++ can reduce cost and time-to-market of hardware-in-the-loop applications, and preserves the benefits of a formal M&S methodology like DEVS.
  • Keywords
    discrete event simulation; discrete event systems; formal specification; formal verification; program testing; real-time systems; software tools; CD++; DEVS; discrete event simulation; discrete event systems specification; hardware-in-the-loop application; hardware-software system; modeling; real-time model; simulation; Aerospace engineering; Aerospace simulation; Application software; Biotechnology; Costs; Discrete event systems; Hardware; Software systems; System testing; Time to market;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Simulation Conference, 2004. Proceedings of the 2004 Winter
  • Print_ISBN
    0-7803-8786-4
  • Type

    conf

  • DOI
    10.1109/WSC.2004.1371317
  • Filename
    1371317