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 written in the Lingua Franca (LF) coordination language. The subset consists of those programs that in principle should have statically verifiable and predictable timing behavior. The PretVM provides a schedule with well-defined worst-case timing bounds. The PretVM provides a clean separation between application logic and coordination logic, yielding more analyzable program executions. Experiments compare the PretVM against the default (more dynamic) LF scheduler and show that it delivers time-accurate deterministic execution.

翻译：本文介绍了一种精确定时虚拟机（PretVM），该中间平台用于执行由Lingua Franca（LF）协调语言子集程序编译而来的准静态调度方案。该子集包含原则上应具备静态可验证且可预测时序行为的程序。PretVM为调度提供了具有明确定义的最坏情况时序边界。它实现了应用逻辑与协调逻辑的清晰分离，从而产生更具可分析性的程序执行过程。实验将PretVM与默认（更具动态性）的LF调度器进行对比，结果表明其能够提供精确时序的确定性执行。