Precision-Timed Virtual Machine (PRETVM)

The PRETVM dataset is a collection of quasi-static schedules compiled from a subset of LF programs, supporting a top-down, model-based design flow for real-time software in Cyber-Physical Systems.

Data and Resources

Cite this as

Shaokai Lin, Erling Jellum, Mirco Theile, Tassilo Tanneberger, Binqi Sun, Chadlia Jerad, Ruomu Xu, Guangyu Feng, Christian Menard, Marten Lohstroh, Jeronimo Castrillon, Sanjit Seshia, Edward Lee (2024). Dataset: Precision-Timed Virtual Machine (PRETVM). https://doi.org/10.57702/2lrcb092

DOI retrieved: December 17, 2024

Additional Info

Field Value
Created December 17, 2024
Last update December 17, 2024
Defined In https://doi.org/10.48550/arXiv.2406.06253
Author Shaokai Lin
More Authors
Erling Jellum
Mirco Theile
Tassilo Tanneberger
Binqi Sun
Chadlia Jerad
Ruomu Xu
Guangyu Feng
Christian Menard
Marten Lohstroh
Jeronimo Castrillon
Sanjit Seshia
Edward Lee