soraya Kesraoui

Projet de transformation en mode agile visant à intégrer "secuity by design" (IEC 62443) dans la conception des systèmes industriels de contrôle • Identification des besoins opérationnels et techniques afin d’intégrer les exigences de la norme IEC 62443 aux différentes étapes de conception des systèmes industriels de contrôle • Identification et analyse de risques et de vulnérabilités (Ebios RM, STRIDE, Profils ANSSI, ...) • Threat modeling (STRIDE, DREAD, DFD, MTMT, …) • Proposition des mesures de sécurité pour sécuriser les architectures industrielles (IEC 62443, Mitre atta&ck ICS) • Suivi du projet et formation des équipes • Rédaction de la documentation du projet Environnement technique et outils : Exigences et risques de cybersécurité des systèmes industriels, SCADA, IEC 62443, analyse de risque avec Ebios RM, ISO 27005, STRIDE, guides et profils ANSSI, Mitre att&ck ICS, Scrum

Projet de transformation en mode agile visant à mettre en place des méthodes MBSE pour la vérification automatique des exigences de sureté de fonctionnement sur les P&ID, les IHM et les programmes de commandes. • Identification des besoins opérationnels et techniques afin de concevoir ou adapter les méthodes et outils d’ingénierie système aux étapes de conception des systèmes industriels • Planification des projet d’adaptation et/ou développement des solutions MBSE pour la vérification formelle des exigences de sureté de fonctionnement sur les P&ID, IHM et programmes de commande • Suivi du projet, coaching • Rédaction des rapports techniques Environnement technique et outils : exigences de sûreté de fonctionnement, spécification, modélisation, V&V, génération automatique du code, MBSE, IEC61131-3, UML, EMF (Eclipse), DSL, Capella, ATL, Copalp Straton, Panorama E2, Uppaal, Alloy