PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency

Shaokai Lin, Erling Jellum, Mirco Theile +10

This paper introduces the Precision-Timed Virtual Machine (PretVM), an intermediate platform facilitating the execution of quasi-static schedules compiled from a subset of programs…