Date of Award
2024
Document Type
Open Access Master's Thesis
Degree Name
Master of Science in Computer Science (MS)
Administrative Home Department
Department of Computer Science
Advisor 1
Jean Mayo
Committee Member 1
Soner Onder
Committee Member 2
Jianhui Yue
Abstract
When simulating a system that includes some software component, simulation authors are faced with the problem of how to appropriately model the software within the simulation. While many formal methods for modeling software exist, in some contexts these may not be appropriate or viable for a given simulation. Instead, simulation authors may model a computer within the simulation, and run the software in question “as is” on the modeled machine. In this work, we introduce a theoretical framework to allow for the use of hardware virtualization technologies as a hardware accelerator for CPU models in Discrete Event System Specification (DEVS) simulations. In addition, we cover the pragmatic issues with existing hypervisors that make them unfit for use in a simulation context, and provide a modification to Linux’s Kernel Virtual Machine (KVM) hypervisor that would allow for this hypervisor to be used in a simulation context. Finally, we validate our new simulation via experiment with two separate benchmarks.
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.
Recommended Citation
Stempien, Ronald R., "A Virtual Time Driven Simulator for DEVS Models", Open Access Master's Thesis, Michigan Technological University, 2024.