Cyber-Physical Systems
In this domain, we focus our efforts on the definition of model-based composition operators dedicated to data collection policies and large-scale sensor networks. These operators allow one to reuse an existing network by deploying unforeseen applications on top of it, instead of building a new one for a single purpose. This is very important in the context of Smart Cities for example.
For example, during Cyril Cecchinel*’s PhD, we supported the automatic deployment of multiple data collection policies on the same network, sharing resources to support constraints such as minimizing the energy consumption or reducing the consumed bandwidth. We also used machine learning algorithms to predict the required collection frequencies for the involved sensors, considering this data to extend applications’ lifetime: a policy with a weekly scale lifetime was extended to a yearly scale one, thanks to an adaptive model trained on top of the composed policies.
The group also designed of two experimental platforms related to CPSs and sensor networks: (i) the SENSAPP platform, extended into the (ii) SmartCampus. These two platforms were reused by industrial partners in the context of proof of concepts or more ambitious projects (e.g., SENSAPP was used in two European projects related to cloud computing: PaaSage and MODAClouds)
Two PhD students related to CPS are working in the gorup: Sebastien Bonnieux and Sami Lazreg.
- In Sami’s PhD, we are working with a car manufacturer to compose together (i) models reifying business features (what to display on the dashboard) and (ii) GPU pipelines able to realize such features. Using Feature Transition Systems, we automate the exploration of the design space to tame the variability of such realizations.
- Sébastien*’s PhD is a joint collaboration with the Geoscience Institute at Université Côte d’Azur and a company specialized in underwater devices. We explore the design of a domain-specific language allowing geoscientists to express experiment campaigns to be deployed on the devices (e.g., whales’ surveillance, earthquakes detection). Composition mechanisms are used to compose multiple apps that needs to be deployed on the same devices, maximizing its estimated lifetime.
Ongoing projects:
- Composition d’Applications pour “Mobile Earthquake Recorder in Marine Areas by Independent Divers” (MERMAID)
- Managing Variability in Automotive Cyber-Physical Systems (2016-2020)
- I-Win (2018-2019)
Key Publications
People
Sébastien Mosser
Professor, UQAM
Mireille Blay-Fornarino
Professor, UCA
Sébastien Bonnieux
PhD Student, UCA
Philippe Collet
Professor, UCA