English
Mamoun FILALI AMINE
Chargé de recherche CNRS à l’IRIT.
Membre de l’équipe ACADIE (Assistance à la Ceritification d’Applications DIstribuées et Embarquées)
du thème Sûreté de développement du logiciel.
Thèmes de recherche
-
Méthodes de développement
-
Systèmes temps réel.
- Systèmes répartis.
- Méthodes de validation.
-
Preuve assistée.
- Vérification de modèles.
- Preuve automatique.
- Validation
-
Transformations de modèles.
- Modèles pour le temps réel.
- Modèles pour la répartition.
Projets
-
Développement d’applications critiques: TOPCASED
- Développements de systèmes embarqués: SPICES
- Ingénierie des modèles et méthodes formelles intégrées
pour le développement des logiciels de vol spatiaux SPACIFY
- Architecture de plateformes avioniques: PAM (projet du laboratoire commun AIRSYS).
- RObots et Systèmes Auto-adaptatifs: ROSACE (projet su RTRA STAE).
- Timing Analysis and Program Implementation On Complex Architectures TAPIOCA
Projets antérieurs:
Comités de programme
précédents:
Administration
-
Responsable du thème Sûreté du développement du logiciel de l’IRIT.
- Responsable de l’équipe ACADIE de l’IRIT
- Animateur du groupe SVF-IRIT de FéRIA.
- Membre de la commission de spécialistes de l’INSA (LGI Toulouse).
Coordonnées
Mamoun Filali
IRIT CNRS Université Paul Sabatier
118 Route de Narbonne
F-31062 Toulouse
tel: 00 33 5 61 55 69 26 fax: 00 33 5 61 55 64 48
mail: filali”at”irit”pt”fr
Ce document a été traduit de LATEX par HEVEA