The Reliability of Systems and Software (RSS) conducts research work centred around two complementary research activities :

• the design of rigorous techniques and methods supporting the development of high quality software and systems;
• the development of high quality systems and software using rigorous methods and techniques;

with a permanent focus on the production of an assessment of the quality (safety, security, reliability, etc.) of the developed systems and software.
For more information, consult the Reliability Systems and Software department presentation on the IRIT website.