Theory of Modeling and Simulation
Theory of Modeling and Simulation
A formal framework for stochastic DEVS modeling and simulation
Proceedings of the 2008 Spring simulation multiconference
Dynamic Data-Driven Fault Diagnosis of Wind Turbine Systems
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
TurbSim: Reliability-based wind turbine simulator
ISEE '08 Proceedings of the 2008 IEEE International Symposium on Electronics and the Environment
Component-oriented interoperation of real-time DEVS engines
Proceedings of the 44th Annual Simulation Symposium
I-DEVS: imprecise real-time and embedded DEVS modeling
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Interfacing DEVS and visualization models for emergency management
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Real-time network-on-chip simulation modeling
Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
Hi-index | 0.00 |
In this work, we are proposing a hardware-in-the-loop model-driven method to develop real-time and embedded applications based on DEVS (Discrete Event Systems Specification) formalism. This approach combines the advantages of a simulation-based approach with the rigor of a formal methodology. This framework can be used to develop embedded applications incrementally, and integrate simulation models with hardware components seamlessly. We have defined structural modifications to the current DEVS abstract simulator, allowing for integration with hardware devices, using external ports of the model and adding hardware control mechanisms. The use of this methodology provides model continuity from the early stages of model design to embedding it on the target. We have discussed the details of implementation of the proposed technique on E-CD++ (a DEVS based toolkit).