Omniprésence des systèmes informatiques dans la vie quotidienne
Systèmes critiques : vérification du bon fonctionnement
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
-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
-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,...
Membres de L'equipe:
Mekkioui Zahira, Professeur(Chef de l'equipe)
Messabihi mohamed,
MCB Selaadji Yassmine,
MCB Abdeldjalil Hanane,
MCBCherif Chahera,
MAA Ghitri Salim, Doctorant
Belouatek Mohammed, Doctorant