Real-Time and Embedded Systems team (SETR)

The team specializes in the validation and temporal performance analysis of real-time systems and networks.

Expertise

  • Uniprocessor scheduling,
  • Heterogeneous multicore/multiprocessor scheduling,
  • Real-time embedded networks,
  • Integration within the software lifecycle.

Application Domains

  • Transportation: avionics, automotive, etc.,
  • Industry 4.0 and 5.0,
  • Unmanned aerial systems (drones),
  • Energy and environment.

You can consult the list of ongoing projects of the Real-Time and Embedded Systems team (SETR).

Methods and tools

  • Problem modeling,
  • Complexity analysis and polynomial-time approximations,
  • Formal proof-based verification,
  • Linear and mathematical programming, (meta)heuristics,
  • Simulation,
  • Tool development (Python, C, etc.).

In summary, the SETR team is a key partner in the temporal analysis of complex embedded systems.

Keywords: online/offline scheduling, uniprocessor/multiprocessor/distributed systems, real-time Ethernet networks, timing validation.

Contacts