CV - Doctorant en Sûreté de fonctionnement et Cybersecurité des systèmes Cyber-Physiques

Expérience

Titre de la thèse : Analyse de la cybersécurité des systèmes cyber-physiques par approche fondée sur les modèles : analyse de l’impact des cyberattaques sur la sécurité avec AltaRica.
État de l’art sur les formalismes permettant la modélisation de systèmes complexes : automates d’états/transitions, systèmes à événements discrets/probabilistes/temporisés ;
Étude des algorithmes de vérification formelles : systèmes d’équations Booléennes, chaînes de Markov, génération de séquences d’événements, simulation stochastique, et model-checking ;
Définition d’un modèle formel fondé sur les systèmes à événements discrets et le langage formel AltaRica pour étudier le comportement des systèmes cyber-physiques en présence de cyberattaques ;
Modélisation sous AltaRica pour la génération de séquences d’événements critiques ;
Définition d’une notion permettant de réduire l’explosion combinatoire pendant la génération et de filtrer les séquences les plus pertinentes ;
Implémentation dans un outil industriel : SimfiaNeo.

Définition de nouvelles méthodes permettant d'évaluer cette probabilité de retombée.
Appropriation des méthodes d'analyse de la sécurité basées modèles : Langage AltaRica et logiciel CECILIA
Appropriation des modèles d'estimation de probabilités de retombées : méthodes Monte-Carlo et réduction de variance
Analyse bibliographique sur les méthodes et outils d'analyse de la sûreté de fonctionnement
Analyse bibliographique des référentiels existant pour la sûreté de fonctionnement des drones
Identification des taux de défaillance des composants d'un drone
Proposition d’une interface entre les méthodes existantes et développement d'un outillage de l'interface proposé avec Python
Évaluation de la méthode et de l'outil sur une version simplifiée d'une opération de surveillance d'infrastructure par un drone à voilure fixe ONERA

Qualification d'un COTS aéronautique pour utilisation à bord du démonstrateur spatial, Callisto.
Caractérisation des défaillances
Analyse des risques
Recherche Opérationnelle
Plan de tests

Aide au développement et validation d’un outil d’ingénierie dirigée par les modèles, d'ingénierie système, de sûreté de fonctionnement
Réalisation de modèles de tests
Reporting et correction de bugs
Enrichissement de la base de connaissance
Élaboration d'une documentation associée (+30 pages)
Participation au benchmark : "A Benchmark on Reliability of Complex Discrete Systems : Emergency Power Supply of a Nuclear Power Plant" lancé par Marc Bouissou pour l'Institut pour la maîtrise des risques en Mars 2017.

Caractérisation vibratoire d'une carte électronique par essais accélérés via un pot vibrant
Analyse des risques (analyse 5M, AMDEC)

Compétences

Méthodes de Sûreté de Fonctionnement des systèmes
Analyse de Risques (AMDEC, APR, AdD…)
Fiabilité Opérationnelle et Prévisionnelle
Approche MBSA (Évaluation et Analyse de sûreté de fonctionnement basée sur les modèles)
Maîtrise statistique des procédés
Essais en fiabilité (essais sévérisés, accélérés, aggravés)
Analyse fonctionnelle (SADT, FAST)
Modélisation fonctionnelle et dysfonctionnelle (Markov, réseaux de Petri)

Connaissances de base en cybersécurité (attaques, vecteurs d'attaques, bonnes pratiques...)
Modélisation de la cybersécurité
Bases de connaissances de cyberattaques (CVE, CWE, ATT&CK, CAPEC, etc.)

Logiciels de modélisation de sûreté de fonctionnement des systèmes : KB3, FIGARO IDE, AltaRica, GRIF, CECILIA, SimfiaNeo
Langages de programmation : C, C#, FIGARO, VBA, Python
Normes et référentiels : ISO 26262, CMMI, CoBiT, DO-178 C, SORA

Formation

Thèse en sûreté de fonctionnement et cybersécurité des systèmes cyber-physiques.

Diplôme d'ingénieur en Qualité Innovation Fiabilité (BAC+5), spécialité Fiabilité.
http://www.polytech-angers.fr/fr/index.html

Théo Serru