Real Time Systems - STR Research group

STR - Système Temps Réel

 

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 http://www.rts-software.org
 

Research topics

• Supports
• Scheduling
• Formal Methods