RATP et l’automatisation des lignes
SIG4 Engineering participe aux côtés des experts de la société Prover aux activités dites de « Preuve Formelle Intégrale » mises en œuvre et soutenues
· Conception
· Implémentation
· Vérification & Validation (V&V)
· Preuve formelle
· Suivi opérationnel, investigations
· Déploiement
· Migration greenfield / brownfield
· Stratégie d’essai
· Qualification…
· Conception
· Implémentation
· Vérification & Validation (V&V)
· Preuve formelle
· Suivi opérationnel, investigations
· Déploiement
· Migration greenfield / brownfield
· Stratégie d’essai
· Qualification…
· CENELEC EN 50126
· EN 50128
· EN 50129
· Evaluation de sécurité
· Dossier de sécurité
· Formations
· Formalisation
· Modélisation
· Analyses formelles
· Méthode B
· Model-checking
· Preuve
SIG4 Engineering propose de réaliser des missions au forfait avec engagement de résultats. Nos experts proposent de traiter certains sujets à fortes composantes techniques de bout en bout, sur la base d'un cahier des charges prédéfinis, avec engagement en termes de qualité, coûts, délais.
Bénéficiez de notre expertise pour renforcer vos équipes sur des besoins spécifiques. Accompagné de notre partenaire NoMAD certifié qualiopi, nous proposons des formations sur-mesure, des revues critiques, des programmes de montée en compétences, ainsi qu'un support technique adapté à vos projets pour répondre précisément à vos enjeux.
SIG4 Engineering participe aux côtés des experts de la société Prover aux activités dites de « Preuve Formelle Intégrale » mises en œuvre et soutenues
SIG4 Engineering est impliqué aux côtés de ALSTOM dans le cadre de la modernisation du réseau ferroviaire de la ville de Perth en Australie.
SIG4 Engineering est tout particulièrement ravi de participer à l’élaboration du dossier de sécurité attendu dans le cadre du nouveau système de signalisation de la
SIG4 Engineering est une société proposant des services hautement qualifiés dans le secteur de la signalisation ferroviaire SIL4