Informatique Critique

Responsable: Karama KANOUN

Vers une informatique plus sûre et plus résiliente

Les activités de recherche du département Informatique Critique (IC) concernent des systèmes critiques par leurs impacts sur des vies humaines, la vie privée, ainsi que sur les plans économique ou sociétal. Nous nous intéressons à la fois au processus de développement de tels systèmes (ingénierie système) et à leurs propriétés. Ces dernières sont définies en termes de comportements temporels, de qualité de service, de sûreté de fonctionnement et de sécurité informatique. Nos travaux visent à améliorer la qualité de la production de systèmes informatiques, ainsi que la qualité et les performances du produit final.

Les sujets de recherche scientifique traités couvrent les points suivants :

●      Ingénierie de systèmes complexes et critiques, l'accent étant mis sur les processus de conception et de validation;

●      Sûreté de fonctionnement et résilience des systèmes d’information prenant en compte les aspects les plus importants: architecture de système, interactions entre systèmes et composants et entre systèmes et utilisateurs, mobilité des utilisateurs, des systèmes et des services ;

●      Formalisation de la spécification, de la vérification et des tests, mettant l'accent sur l'intégration des outils associés dans le processus de développement industriel ;

●      Évaluation quantitative des propriétés du système, basée sur i) des processus stochastiques, ii) des mesures dans des environnements réels ou simulés, dans des conditions normales ou perturbées, et iii) une analyse et une caractérisation du comportement du système résultant ;

●      Définition de modèles et de nouvelles techniques de protection afin de satisfaire aux exigences de sécurité vis-à-vis de malveillances et de protection de données personnelles ;

●      Vérification des propriétés comportementales des systèmes avec des contraintes de temps strictes, en définissant des techniques de description formelle de l'architecture système et des techniques de comportement et de vérification basées sur la vérification de modèle.

 Nous abordons à la fois les aspects architecturaux et les approches de validation, y compris l'analyse qualitative et l'évaluation quantitative des propriétés du système critique. En outre, la validation du système est assurée à la fois par des méthodes de test, de modélisation et simulation et par des techniques de vérification formelle couvrant également les aspects temporels. Nos recherches englobent des travaux conceptuels et expérimentaux et reposent sur des outils que nous développons pour valider nos résultats.

• Vérification, validation, test et évaluation