STR Research group - Real Time Systems

STR - Système Temps Réel



Head: Didier LIME

Research field

The STR research group develops methods, techniques and tools for the design, verification and production of real-time computer systems particularly in the field of critical embedded systems.

The research group which comprises staff from Centrale Nantes, the University of Nantes, and the CNRS, is positioned across the entire development cycle of real-time systems, although mainly on their software aspects. It develops original work combining formal methods, reliability, operating platforms and real-time scheduling. Most of this work is put into practice in freely available software on

Research topics

  • Supports
  • Scheduling
  • Formal Methods
Published on March 19, 2017 Updated on March 15, 2018