Real-time Analytics for 5G Cloud

Full Title: Real-time Analytics for 5G Cloud-RAN Engineering and Operation The objective of this project is to estimate from measurements the capacity region for a cloud RAN and to demonstrate the usefulness of this concept for resource allocation and anomaly...

Design Space Exploration

Full Title: Design Space Exploration of Mixed-Criticality Applications on Predictable Multi-Processor Platforms ForSyDe (Formal System Design) is a design methodology targeting the design of heterogeneous embed- ded and cyber-physical systems, envisioning a...

Correct-by-Construction Design

Full Title: Correct-by-Construction Design of Embedded and Cyber-Physical Systems ForSyDe (Formal System Design) is a design methodology targeting the design of heterogeneous embed- ded and cyber-physical systems, envisioning a correct-by-construction design flow. The...