Mathieu Comptier Email & Phone Number

Région De Aix-En-Provence, France

Chef de projet pour le développement et la fabrication en série d’un système de contrôle commande de portes palières basé sur un protocole de communication train / sol sécurisé avec modulation de signaux.- Système installé sur le métro de Kuala Lumpur Malaisie.

Région De Aix-En-Provence, France

Responsable conception d'un logiciel SIL2 pour un système de contrôle commande de portes palières pour le métro de Kuala Lumpur en Malaisie. Mis en place de communication train / sol.Modulation de signaux et mise en place de protocole de communication sécurisé.

Région De Aix-En-Provence, France

Pour la RATP, au sein d'une équipe de 4 ingénieurs encadrés par un expert ferroviaire.Formalisation de la spécification système du CBTC Octys, conception Siemens, et preuve de la sécurité de son intégration sur la signalisation RATP existante.- Identification des propriétés à garantir en sécurité (SIL4)- Etude des mécanismes décrits pour assurer ces propriétés : sont-ils suffisants? sous quelles hypothèses?- Clarification et formalisation en langage naturel et en B des raisonnements de sécurité- Rédaction des éléments nécessaires à l’obtention de la garantie formelle de sécurité sous formes d’éléments utilisables directement pour la validation d’un CBTC- Rédaction et présentation d’un article pour la conférence internationale RSSRail 2017 à Pistoia en Italie sur l’analyse de sécurité d’un système CBTC basée sur une approche rigoureuse en B système. (Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification)/

Région De Aix-En-Provence, France

Développement plateforme d’acquisition et de gestion d’I/O sécuritaires SIL2 – SIL4 dont la fonction principale est de garantir un management des informations de manière sécuritaire Réalisation des dossiers de spécification des exigences SIL4 et de conception du logiciel Réalisation du logiciel SIL4 : Partie sécuritaire en B (méthode formelle) et non sécuritaire en C. Environnement : EN50128, EN50129, SVN, PIC32MX470 et PIC32MX795, AtelierB

Région De Aix-En-Provence, France

Pour SNCF Réseau, les régions et en collaboration avec l'IFFSTAR.Sur des lignes régionales à voie unique l'objectif est de remplacer les systèmes d'exploitation actuels par un nouveau système innovant (à définir) et plus intéressant en termes de coûts/services, avec une sécurité au moins équivalente.Analyse fonctionnelle et formalisation de la spécification du système ERTMS régional (nextRegio), système permettant la gestion de l’exploitation, de la sécurité et du développement du trafic sur les lignes régionales à voies uniques de France.

Région De Aix-En-Provence, France

Développement plateforme d’acquisition et de gestion d’I/O sécuritaires SIL2 – SIL4 dont la fonction principale est de garantir un management des informations de manière sécuritaire Réalisation du Dossier d’architecture Logiciel, Réalisation du Dossier de Spécification Logiciel (DSL), Réalisation du Dossier de Conception Logiciel (DCL), Réalisation de la Spécification des exigences du logiciel SIL2, Réalisation du logiciel Environnement : EN50128, EN50129, SVN, PIC32MX470 et PIC32MX795

Région De Aix-En-Provence, France

Pour ALSTOM TRANSPORT, projet URBALIS 400 (CBTC d'Alstom)Au sein d'une équipe de taille variable (de 1 à 4 personnes) j'ai participé au développement formel du logiciel sol sécuritaire SIL4 :- Reprises du modèle formel et du code en langage B (évolutions, corrections défauts).- Preuve formelle, par raisonnement mathématiques, de la cohérence entre l'implémentation et la modélisation- Analyse et spécification des solutions techniques pour répondre aux besoins clients, avec les équipes systèmes d'Alstom- Rédaction de la spécification Software.- Interface CLEARSY / ALSTOM- Test du logiciel sur simulateur. Echanges avec les équipes de tests Alstom en Hongrie.

Région De Aix-En-Provence, France

Pour NYCT (New York City Transit), au sein d'une équipe de 5 ingénieurs encadrés par un expert ferroviaire.Réalisation d'une preuve formelle de la propriété d'anticollision et de non-déraillement du CBTC développé par Thalès (Flushing Line).- Présentation des travaux réalisés à New York dans les locaux de NYCT.

Région De Aix-En-Provence, France

Dans le cadre du projet Système d’Annonces Sonore (SAS) développé par ClearSy pour la génération de sons dans les trains Régiolis (Alstom) : Réalisation de la Spécification Technique, Réalisation du Dossier de Spécification Logiciel (DSL), Réalisation du Dossier de Conception Logiciel (DCL), Réalisation du Dossier de Conception Matériel (DCM),Environnement : EN50155, SVN, PIC32 bits

Région De Aix-En-Provence, France

Dans le cadre du projet Ultra Sound Platform Safety Sensor (UP2S) SIL3 développé par ClearSy pour la détection de quai sur les trains Régiolis (Alstom) : Réalisation de la Spécification Technique incluant les exigences de sécurité SIL3, Réalisation du Dossier de Spécification Logiciel (DSL), Réalisation du Dossier de Conception Logiciel (DCL), Réalisation du Dossier de Conception Matériel (DCM), Environnement : EN50128, EN50129, EN50155, SVN, PIC32 bits