Implementing Hybrid Semantics: From Functional to Imperative
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 …
__Running Secure Runtime Verification for Reliable Real-Time Embedded Software__ - is an FCT project that proposes a novel framework for Runtime Verification of Real-Time Embedded Systems.
ARx: Reactive Programming for Synchronous Connectors
Implementing Hybrid Semantics: From Functional to Imperative (Extended Version)
Coordination of Tasks on a Real-Time OS