Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Versionfinale thse sorayakesraoui

See discussions stats and author pro ?les for this publication at https www researchgate net publication Intégration des techniques de véri ?cation formelle dans une approche de conception des systèmes de contrôle-commande Application aux architectures SCADA Thesis May CITATIONS author Soraya Mesli-Kesraoui SEGULA Technologies PUBLICATIONS CITATIONS SEE PROFILE READS Some of the authors of this publication are also working on these related projects Cybersecurity of industrial systems View project Formal veri ?cation of industrial systems View project All content following this page was uploaded by Soraya Mesli-Kesraoui on March The user has requested enhancement of the downloaded ?le CTHESE UNIVERSITE BRETAGNE SUD UFR Sciences et Sciences de l ? Ingénieur sous le sceau de l ? Université Bretagne Loire Pour obtenir le titre de DOCTEUR DE L ? UNIVERSITE BRETAGNE-SUD Mention STIC Ecole Doctorale SICMA présentée par Soraya Mesli Kesraoui Préparée à l ? unité mixte de recherche Lab-STICC UMR IRISA UMR CRIStAL UMR Établissement de rattachement Université Bretagne Loire Intégration des techniques de véri ?cation formelle dans une approche de conception des systèmes de contrôle-commande Application aux architectures SCADA Thèse soutenue le mai devant la commission d ? examen composée de M Yamine Ait Ameur Professeur IRIT UMR École Nationale Supérieure d ? électronique d ? électrotechnique d ? Informatique d ? Hydraulique et de Télécommunications Président M Christophe Kolski Professeur LAMIH UMR Université de Valenciennes et du Hainaut-Cambrésis Rapporteur M Olivier H Roux Professeur IRCCyN UMR École Centrale de Nantes Rapporteur Mme Pascale Marangé Ma? tre de Conférences CRAN UMR Université de Lorraine Examinateur M Pascal Berruet Professeur Lab-STICC UMR Université Bretagne Sud Lorient Directeur de thèse M Armand Toguyeni Professeur CRIStAL UMR École centrale de Lille Co-directeur M Flavio Oquendo Professeur IRISA UMR Université Bretagne Sud Vannes Co-directeur M Alain Bignon Docteur Responsable R I Segula Technologies Lanester Responsable industriel CIFRE C C Je dédie cette thèse à mes chers parents C CRemerciements Ho que c ? est dif ?cile d ? écrire et de trouver les mots justes pour exprimer mes remerciements et ma gratitude envers celles et ceux qui m ? ont soutenu durant ces trois années de thèse Je remercie tout d ? abord Alain BIGNON qui a cru en moi et qui m ? a proposé ce sujet de thèse Je te remercie aussi pour tes conseils pour ton encadrement et surtout pour ton soutien jusqu ? à la dernière minute Tu resteras toujours Mon meilleur chef Je remercie également messieurs Pascal BERRUET Armand TOGUYENI et Flavio OQUENDO d ? avoir accepté d ? encadrer cette thèse Travailler sous la direction de trois professeurs avec des contraintes de distance n ? est pas toujours évident mais vous avez su rendre ce travail agréable Je vous remercie surtout pour l ? intérêt que vous avez porté à mes travaux pour le suivi les conseils votre disponibilité et aussi pour la bonne ambiance qui a rythmé nos réunions Je souhaite remercier messieurs Christophe KOLSKI et Olivier H ROUX d ? avoir accepté de relire ces