4

Verification of Real-Time Coordination in VirtuosoNext (extended version)

VirtuosoNextTM is a distributed real-time operating system (RTOS) featuring a generic programming model dubbed Interacting Entities. This paper focuses on these interactions, implemented as so-called Hubs. Hubs act as synchronisation and …

Lince: Lightweight Prototyping of Hybrid Programs

Hybrid programs combine classical program constructs with differential equations, and thus naturally appear in a wide range of application domains, from biology and control theory to software engineering. This ability to entangle discrete and …