STR - Real Time Systems
Bringing together researchers from Nantes Université (École Centrale, Faculté des sciences et techniques, IUT, and Polytech) and CNRS, the STR team focuses on the entire development cycle of communicating real-time systems, mainly on the software side and on communication protocols. It thus develops original work combining formal methods, safety, execution platforms, real-time scheduling, and IoT protocols. Most of these works are implemented in practice in freely available software.
The team also participates to the deployment of the national test-platform FIT IoT Lab.