Jeanne Hortense Tawa

Vérification des propriétés Safety sur une implémentation de ERTMS

Consultant Safety Manager chez Novum Tech Sepecialise dans la construction des batteries pour le Retrofit des véhicules thermiques vers l'électrique

Safety Manager & Safety Engineer sur le projet BENL realisation: -PHA -AMDEC (fonction, composant, process) -management d'une équipe de 2 ingenieurs Safety

Analyse safety des logiciels de pilotage et de détection d’harmonique 1. Le CHD ( Current Harmonic Detector) logiciel de detection de la présence d'harmoniques de courant dans une bande passante donnée dans le courant caténaire du train. En cas de detection d'harmoniques au-dessus d'un seuil prédéfini, le CHD commande l'ouverture du disjoncteur à grande vitesse (HSCB) du train. 2. Le logiciel IM3S Le pilotage IM3S (pour Induction Machine Speed Sensorless Solution) solution logicielle destinée au contrôle de machines asynchrones basé sur la mesure des vitesses de rotation moteur sans capteur de courants. Analyse de l’impact des nouvelles fonctionnalités sur les exigences safety (SyHA)  Matrice de traçabilité de la couverture SyHA (System Hazard Analysis) par les exigences SyRS (Sytem Requirement Specification)  Matrice de traçabilité des SyRS dérivée  Matrice de traçabilité de la couverture des exigences SyRS (Sytem Requirement Specification) par les exigences SyTD (Sytem Test Description)  Matrice de traçabilité de la couverture SyRS (Sytem Requirement Specification) par des exigences SwRS/SwAD (Software Requirement Specification/ Software Architecture Description) Mise à jour des différents rapports d’analyse  SwRSAD-SVR (Software Requirement Specification Architecture Description Safety Verification Repport)  SyHA  SwRS-SVR  T-SVR (Tools Safety Verification Repport)  SwRSAD Outils : Word, Excel Environnement Fonctionnel : ferroviaire, EN50128, EN 50129, EN50126

Le Département Traitement de l’Information et Systèmes, DTIS, de L’ONERA réalise des études et recherches sur les méthodes et outils pour la certification, l'autonomie, la conception multidisciplinaire, les systèmes de systèmes. Au sein de l’équipe SEAS (Systèmes Embarqués, Autonomes et Sûrs) j'avais pour mission de spécifier, concevoir et implémenter un outil de spécification et de vérification formelle d'exigences, et d’appliquer la nouvelle méthode pour analyser la correction de fonctionnement du protocole Réseau Peer-to-peer CHORD . Listes d'activités: 1-Etat de l'art sur l'analyse d'exigences, la sûreté de fonctionnement, la modélisation des systèmes et l’architecture des systèmes critiques (MBSE, MOO, AMDEC, ADF..) 2- Spécification, analyse, traçabilité , vérification et validation d'exigence 3- Conception et développement d'une extension d'une méthode orienté objet (ALLOY) 4-Application de l'outil pour la spécification et la vérification du protocole de communication peer-to-peer Chord 5-Rédaction de plusieurs articles scientifiques 6-Animation de réunions et séminaire 7-Formation des utilisateurs et oratrice à des conférences 8-Enseignement à l’université Paul Sabatier , INSA, ENSEEIHT Outils Langages et Environement -Alloy/NuxMV/ NuSMV/ Spin -Théorie des langages/ -C / C++/JAVA/ Python -UML , SysML , XML, HTML, CSS, -Matlab / Simulink/ Capella /Cameleo -VHDL, SDL , AADL -Eclipse, Netbeans,Qt, DOOR, ROSE, Objectering -MOO, MBSE, PU, RUP, SCRUM -Linux (Ubuntu, Fedora, Débian) , Windows SVN, Git

LIAS est un Institut de Recherche, possèdant une cinquantaine de collaborateurs dont 35 chercheurs, et plusieurs équipes techniques. L’équipe Temps Réel, traite les problématiques d’ordonnancement en-ligne / hors-ligne ; de conception et dimensionnement des systèmes temps réel, d’analyse des performances et de la qualité de service et modélisation des applications temps réel. Plusieurs méthodes sont utilisées entre autres : l’analyse d'algorithme et complexité ; la modélisation et validation à l'aide d'automates finis, de réseaux de Petri, de processus markovien ou de géométrie discrète ; la simulation. L’outil GemSMART est développé pour répondre à ces problématiques. En tant que stagiaire au sein de cette équipe, ma mission été de proposer une méthode de caractérisation géométrique des séquences d’ordonnancement de tâches périodiques, basée sur la géométrie discrète. Lister les différentes tâches effectuées 1-Prendre en main GemSMART les différentes technologies utilisées 2-Etat de l’art sur les applications temps réel et ordonnancement (Ordonnançabilité, Validité, Faisabilité, Optimalité, algorithmes d’ordonnancements) Modélisation des tâches 3-Conception des algorithmes d’identification des séquences d’ordonnancements de tâches valides, et les algorithmes de coloration des objets géométriques 4-Remise en service et maintenance du logiciel GemSMART 5-Gestion de projet (Planification, diagramme Gant, PERT) 6-Spécification et analyse des exigences/ Gestion risques 7-Concevoir en UML et développement en C++ du module Rédaction du manuel d'utilisation et des documents techniques Environnement technique utilisé : Java, C++, OpenGL, GemSMART, GLUI, Cycle en V, MOO, SCRUM Lunix, Window , Trello, Draw.io DOOR, Win'sdesign, Code::block,, Eclipse

XLIM-Sic est un Institut de Recherche pluridisciplinaire. Le pôle Mathématiques, Informatique et Image traite les questions de synthèse et analyse d'image et la sécurité de l'information. L'équipe IG a développé Jerboa, une plateforme permettant de créer facilement de nouveaux modeleurs de dimension N. La contribution principale de Jerboa la détection d'incohérences au niveau topologique au moment de la conception des opérations de transformation d'images. En tant que stagiaire ma mission consistait à concevoir et développer un module de Jerboa destinée à la simulation 3D de la croissance des plantes. Lister les différentes tâches effectuées 1-Prendre en main Jerboa et les différentes technologies utilisées 2-Gestion de projet (Planification, diagramme Gant, PERT) 3-Gestion des risques 4-Spécification et analyse des exigences 5-Concevoir en UML et développement en Java/C++ du module 6-Rédaction du manuel d'utilisation et des documents techniques Environnement technique utilisé : Java, C++, OpenGL, Cycle en V, MOO, SCRUM Lunix, Window , Trello, draw.io, DOOR, Win'sdesign, Code::block,, Eclipse