Graduate student Ronald Stempien, MS in Computer Science, will present his final oral examination (defense) on Thursday, July 25, 2024, at 8 am in Rekhi 101 and via Zoom online meeting.
The title of Stempien’s defense is, “A Virtual Time Driven Simulator for DEVS Models.”
Defense 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