A Simulation Algorithm for Dynamic Structure DEVS Modeling

Real-time system (RTS) correctness and timeliness are critical. Modeling and simulation techniques have been widely used for testing particular conditions on these systems. Recently, the DEVS formalism has been successfully used as a framework for RTS validation. Nevertheless, we need to address dynamic adaptation to dynamic changes in the environment. Dynamic structure DEVS focuses on the possibility to change system structure dynamically according to the system real requirements, which is useful for RTS (in which sometimes it is impossible to interfere with the running of the system, and auto-adaptation is needed). We present a new algorithm derived from the DSDE and the dynDEVS formalisms. We use the DSDE formal specifications, and parts of the dynDEVS simulation algorithms

[1]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[2]  Kyu Ho Park,et al.  A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development , 1997, Discret. Event Dyn. Syst..

[3]  Tag Gon Kim,et al.  Real time simulation framework for RT-DEVS models , 2001 .

[4]  Tag Gon Kim,et al.  DEVS framework for systems development: unified specification for logical analysis, performance evaluation and implementation , 2001 .

[5]  Bernard P. Zeigler,et al.  Parallel DEVS: a parallel, hierarchical, modular modeling formalism , 1994, Proceedings of Winter Simulation Conference.

[6]  Fernando J. Barros.  Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation , 1995, WSC '95.

[7]  Adelinde M. Uhrmacher,et al.  Processing dynamic PDEVS models , 2004, The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings..

[8]  Adelinde M. Uhrmacher,et al.  Dynamic structures in modeling and simulation: a reflective approach , 2001, TOMC.

[9]  Gabriel A. Wainer,et al.  Model-Based Development of Embedded Systems with RT-CD + + , 2004 .

[10]  Fernando J. Barros,et al.  Abstract simulators for the DSDE formalism , 1998, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274).

[11]  Gabriel A. Wainer,et al.  Modeling and simulation of hardware/software systems with CD++ , 2004, Proceedings of the 2004 Winter Simulation Conference, 2004..

[12]  J BarrosFernando.  Modeling formalisms for dynamic structure systems , 1997 .

[13]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .