Dynamic templates and semantic rules for simulation advisors and certifiers
Knowledge-based simulation
Variable structure modelling methodology: an adaptive computer architecture example
Transactions of the Society for Computer Simulation International
WSC '95 Proceedings of the 27th conference on Winter simulation
The dynamic structure discrete event system specification formalism
Transactions of the Society for Computer Simulation International
Time management in the DoD high level architecture
PADS '96 Proceedings of the tenth workshop on Parallel and distributed 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 Modelling and Simulation
Theory of Modelling and Simulation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
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
A flexible dynamic structure DEVS algorithm towards real-time systems
Proceedings of the 2007 Summer Computer Simulation Conference
LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Hi-index | 0.00 |
In this paper we take a particular stand to the problem of dynamism support in simulation environments by adopting DEVS based modeling and simulation approach and by building upon our previous work on SiMA, a DEVS-based simulation framework developed at TUBITAK UEKAE. Our contribution to the work in this field is two fold: 1 -- we have implemented a specialized form of basic DEVS formalism via SiMA (Simulation Modeling Architecture) 2- We have extended SiMA with dynamism support by building upon our specialized basic DEVS formalism with dynamism extensions that are comparable (but not equivalent) to those given in dynDEVS. Our approach conforms to both dynDEVS and dynNDEVS as the underlying formal specification, with some non-disruptive extensions to the original formal semantics. One particular contribution we offer is the systematic framework support for post-structural-change state synchronization among models with related couplings, in a way that benefits from the strongly-typed execution environment SiMA provides.