Le département Fiabilité des Systèmes et du Logiciel mène des travaux de recherche centrés autour de deux activités complémentaires :
la conception de techniques et de méthodes rigoureuses supportant le développement de systèmes et de logiciels de qualité.
le développement de systèmes et de logiciels de qualité en utilisant des méthodes et techniques rigoureuses ;
avec une attention systématique à la production de certificat de confiance sur la qualité (sûreté, sécurité, fiabilité…) des systèmes et logiciels étudiés. Pour plus de détails, consultez la présentation du département FSL sur le site de l'IRIT.
