17-02-2017

Ingénierie des Logiciels Sûrs

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,...

 

 
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