Precision-Timed Virtual Machine (PRETVM)

doi:doi:10.57702/2lrcb092

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.

BibTex:

@dataset{Shaokai_Lin_and_Erling_Jellum_and_Mirco_Theile_and_Tassilo_Tanneberger_and_Binqi_Sun_and_Chadlia_Jerad_and_Ruomu_Xu_and_Guangyu_Feng_and_Christian_Menard_and_Marten_Lohstroh_and_Jeronimo_Castrillon_and_Sanjit_Seshia_and_Edward_Lee_2024,
    abstract = {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.},
    author = {Shaokai Lin and Erling Jellum and Mirco Theile and Tassilo Tanneberger and Binqi Sun and Chadlia Jerad and Ruomu Xu and Guangyu Feng and Christian Menard and Marten Lohstroh and Jeronimo Castrillon and Sanjit Seshia and Edward Lee},
    doi = {10.57702/2lrcb092},
    institution = {No Organization},
    keyword = {'Cyber-Physical Systems', 'DAG Scheduling', 'LF programs', 'Real-Time Systems', 'quasi-static schedules'},
    month = {dec},
    publisher = {TIB},
    title = {Precision-Timed Virtual Machine (PRETVM)},
    url = {https://service.tib.eu/ldmservice/dataset/precision-timed-virtual-machine--pretvm-},
    year = {2024}
}