Parallel DEVS: a parallel, hierarchical, modular, modeling formalism
WSC '94 Proceedings of the 26th conference on Winter simulation
WSC '95 Proceedings of the 27th conference on Winter simulation
Modeling formalisms for dynamic structure systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Abstract simulators for the DSDE formalism
Proceedings of the 30th conference on Winter simulation
Dynamic structures in modeling and simulation: a reflective approach
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Theory of Modeling and Simulation
Theory of Modeling and Simulation
A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development
Discrete Event Dynamic Systems
Real time simulation framework for RT-DEVS models
Transactions of the Society for Computer Simulation International - Recent advances in DEVS methodology--part II
Processing Dynamic PDEVS Models
MASCOTS '04 Proceedings of the The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Modeling and simulation of hardware/software systems with CD++
WSC '04 Proceedings of the 36th conference on Winter simulation
Definition of dynamic DEVS models: Dynamic Structure CD++
Proceedings of the 2008 Spring simulation multiconference
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Hi-index | 0.00 |
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.