Distributed software systems are becoming more and more integrated with our daily lives. This ongoing trend is particularly visible in Cyber Physical Systems (CPS) - networks of cooperating computational devices such as mobiles, sensors, and actuators that bridge ICT processes and the physical world. These networks are usually characterised by (1) their large number of nodes, (2) an extra uncertainty and mobility in the connections, and (3) the interplay between continuous sending of sensor values or movement and the discrete events at precise moments in time.
In these scenarios it is crucial to identify software abstractions for the interactions between distributed components, services, nodes, or devices, that can guide how to cost-effectively develop, manage, and verify Cyber Physical Systems. Within this scope, the key questions addressed by this project concern:
To address these questions, the main contributions of this project will be:
A concrete case-study will be provided by Altreonic, a Belgian company that develops tools and engineering services for trustworthy embedded systems, with especial attention to scalability, distributed operation, high reliability and real- time. This case-study will address the steering of their modular electric city-vehicles - KURT vehicles - from a remote location.
The project is coordinated at HASLab INESC-TEC, University of Minho. It also counts with the participation of external members from CWI/Leiden University, from SRI International, and from the company Altreonic.
Coalgebraic Modeling and Analysis for Computational Synthetic Biology.
Dynamic logics for cyber-physical systems: towards contract based design.