Publications (12)
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…
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu +6
UCLID5 is a tool for the multi-modal formal modeling, verification, and synthesis of systems. It enables one to tackle verification problems for heterogeneous systems such as combi…
Deterministic Execution of ROS 2 Applications via Lingua Franca
Harun Teper, Shaokai Lin, Shulu Li +2
The Robot Operating System 2 (ROS 2) is a widely used middleware for robotic systems, characterized by a publish-subscribe (pub-sub) communication mechanism in which computation is…
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems
Soroush Bateni, Marten Lohstroh, Hou Seng Wong +6
Asynchronous frameworks for distributed embedded systems, like ROS and MQTT, are increasingly used in safety-critical applications such as autonomous driving, where the cost of uni…
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
Pei-Wei Chen, Shaokai Lin, Adwait Godbole +4
Several software systems are polyglot; that is, they comprise programs implemented in a combination of programming languages. Verifiers that directly run on mainstream programming…
Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
Gustavo Quiros A., Yi Peng Zhu, Tao Cui +3
This report is a compilation of technical knowledge and concepts that were produced by the authors and additional contributors in the context of the collaboration projects "Abstrac…