Nombre de documents

2

Curriculum Vitae - Abderraouf Boussif


Abderraouf Boussif

           | Docteur en Automatique & Informatique Industrielle (Univ. Lille 1)
           | Master II en Sûreté et Sécurité Actives des Systèmes (ENS Cachan)
           | Ingénieur en Automatique (ENP Alger)


04/04/1988 (28 ans) |             
@ :
abderraouf.boussif@ifsttar.fr |             
Tél : 0(033) 762 336 483 |             

Thèmes de recherche

  •  Systèmes à évènements Discrets (SEDs)
  •  Diagnostic et diagnosticabilité des SEDs
  • Vérification à base de modèles (Model-Checking)
  •  Sûreté de fonctionnement des SEDs
  •  Modélisation, analyse et vérification des systèmes ferroviaires

        

Formation & Diplômes

2013 - 2016                    Doctorat en Automatique et Informatique Industrielle (IFSTTAR)
                                                                                  
Directeur de thèse : Mohamed Ghazel, HdR

                                       Équipe : Évaluation des Systèmes de Transports Automatisés et de leur Sécurité
                                       ESTAS - IFSTTAR
                                       Université de Lille1, Sciences et Technologies
2012 - 2013                  
Master 2 Ingénierie des Systèmes Complexes
                                       Option : Sûreté et sécurité actives des systèmes
                                       École Normale Supérieure de Cachan, France
                                       Équipe ISA : Ingénierie des Systèmes Automatisés
                                       Laboratoire Universitaire de Recherche en Production Automatisée (
LURPA)
2009 - 2012                  
Ingénieur en Automatique
                                       École Nationale Polytechniques (ENP) Alger-Algérie.
2006 - 2009                   
DUPCS en Sciences et Technologies
                                       École Nationale Préparatoire aux Études d’Ingéniora)

Enseignements

Juin 2016      | Télécom Lille, Université Lille 1 - Sciences et Technologies
Sépt. 2014    |  Département Systèmes de Communication.


Modules                                                                                       Grade                heures
Systèmes numériques & Projet VHDL                                          (Bac +3 )             2h
Conception et réalisation des systèmes électroniques                 (
Bac +3 )            31.5 h
Technologie de l’électronique numérique                                     (
Bac +2 )            30h
Circuits en régime sinusoidal et phénomènes de dissipatifs         (
Bac +2 )           48h
                                                                                                             Totale : 131.5h


Communication dans un congrès2 documents

  • Abderraouf Boussif, Baisi Liu, Mohamed Ghazel. A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure. 13th International Workshop on Discrete Event Systems (WODES 2016), May 2016, Xi'An, China. 13th International Workshop on Discrete Event Systems (WODES 2016), p237-244, 2016, <10.1109/WODES.2016.7497854>. <hal-01374116>
  • Abderraouf Boussif, Mohamed Ghazel. Une Approche par Décomposition de Modèles pour l'Analyse de la Diagnosticabilité des SEDs par Model-Checking. Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. <hal-01224281>