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.

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.

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.

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.

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.

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.

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),.