Omniprésence des systèmes informatiques dans la vie quotidienne
Systèmes critiques : vérification du bon fonctionnement

 

Complexité croissante des systèmes:
-Conception et vérification complexes
-Coûts et délais non maîtrisés

 

Ingénierie des exigences:
-Modèles et langages pour la spécification des exigences

-Méthodes et techniques pour valider et vérifier les exigences

-Outils pour supporter la gestion traçabilité des exigences

vérification & Validation
-Paradigme de correction par construction  

-Combiner les différentes techniques de vérifications et de tests

-Outils pour (semi-)automatiser le processus de vérification & validation

Tolérance aux fautes et sûreté de fonctionnement:
-Faire face à quatre défis majeurs qui sont la mobilité, l’évolutivité et l’autonomie, l’ouverture et la réactivité  

-Définition d’approches de conception, politiques, algorithmes et mécanismes, pour la prévention et la tolérance aux fautes.

-vérification pour l’élimination des fautes et évaluation pour la prévision des fautes.

Systèmes cibles : embarqués, intelligents, adaptatifs, mobiles, internet of things,...

Domaines d’application : aérospatiale, militaire, transport, médical, télécom,...

 

Mekkioui Zahira, Professeur(Chef de l'equipe)

Messabihi mohamed,

MCB Selaadji Yassmine,

MCB Abdeldjalil Hanane,

MCBCherif Chahera,

MAA Ghitri Salim, Doctorant

Belouatek Mohammed, Doctorant