VALU3S

Implementing Hybrid Semantics: From Functional to Imperative

ICTAC 2020

VALU3S (2020-now)

__Verification and Validation of Automated Systems Safety and Security__ - is an H2020 ECSEL JU project that aims to evaluate the state-of-the-art V&V methods and tools, and design a multi-domain framework to create a clear structure around the components and elements needed to conduct the V&V process.

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 …

ARx: Reactive Programming for Synchronous Connectors

COORDINATION 2020

Implementing Hybrid Semantics: From Functional to Imperative (Extended Version)

CoRR 2020