Page d'accueil // Recherche // FSTC // Computer Sci... // Groupes de r... // Critical Real-Time Embedded Systems

Critical Real-Time Embedded Systems

Objectifs de recherche

The CRTES group headed by Professor Nicolas Navet studies how to build provably safe critical embedded systems in a time and cost efficient manner. The focus of this group is on software-intensive real-time systems having strong dependability constraints and a significant societal impact, such as transportation systems (road vehicles, aircrafts, etc) or production lines. The aim of this group is to contribute to the techniques, tools and computing platforms to develop provably safe and optimized Critical Real-Time Embedded Systems (CRTES).

Membres