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
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;
Conference_Titel :
Simulation Conference, 2004. Proceedings of the 2004 Winter
Print_ISBN :
0-7803-8786-4
DOI :
10.1109/WSC.2004.1371317