La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Activités de Recherche et Intégration à lEquipe SIMBAD Amel MAMMAR.

Présentations similaires


Présentation au sujet: "Activités de Recherche et Intégration à lEquipe SIMBAD Amel MAMMAR."— Transcription de la présentation:

1 Activités de Recherche et Intégration à lEquipe SIMBAD Amel MAMMAR

2 CV Doctorat dInformatique, CNAM-Paris, 2002 ATER à lENSIIE ( ) Assistante chercheur à luniversité du Luxembourg (Oct 2003-Avri 2006) Ingénieur Senior à Clearsy (en mission à la RATP, Avri 2006-Nov 2007) Enseignante chercheur à Télécom SudParis depuis décembre 2007

3 Domaines de recherche1/3 Développement sûr d'applications système d'information Propriétés vérifiées Contraintes dintégrité: travaux de doctorat Propriétés dynamiques: thèse en cotutelle avec Marc Frappier de luniversité de Sherbrooke Approche: (publiée dans les revues SOSYM, IST) Modélisation UML Traduction vers B Preuve + génération automatique de préconditions Processus de raffinement pour lobtention du code

4 Domaines de recherche2/3 Détection de vulnérabilités dans un programme C (erreurs de programmation): ( Projet européen SHIELDS, thèse de Willy Jimenez ) Analyse statique du code (publiée dans la revue IST) Langage formel pour la description des vulnérabilités Preuve formelle (publiée dans la conf SERP) Traduction du code C en B Expression des vulnérabilités par des invariants Preuve

5 Domaines de recherche3/3 Modélisation et vérification de la signalisation métro: collaboration avec la RATP et Thales (publiée dans la revue française ISI) Propriétés vérifiées Propriétés de sécurité: non déraillement, nez-à-nez, etc Approche: Modélisation: réseaux de pétri à un seul jeton Vérification par model checking (outil propriétaire de Prover Technologie)

6 Travaux futurs Gestion de consentement patient dans le milieu hospitalier: collaboration avec Marc Frappier Services web Propriétés dynamiques Propriétés transactionnelles Sécurité et intégrité des données dans le cloud computing


Télécharger ppt "Activités de Recherche et Intégration à lEquipe SIMBAD Amel MAMMAR."

Présentations similaires


Annonces Google