Les entreprises et organisations, adhérentes et partenaires
Activité principale:
Nous développons des outils logiciels pour les systèmes critiques embarqués ferroviaires pour les phases de design, de validation et de vérification formelle.
Profil, Marché(s), Compétences et Expertises
- Membre Totem
Présentation détaillée
Nous fournissons des solutions pour l’ingénierie des systèmes critiques contrôlant les trains, la signalisation et les aiguillages.
Produits & Services
Principaux Produits et Services:
Prover Trident est une suite complète de processus et d’outils pour l’automatisation de la conception de systèmes de signalisation.
PSL est un Model Checker pour la vérification formelle des systèmes critiques embarqués
Clients & Références
Clients et références:
Alstom, RATP, SNCF, Hitachi, Siemens, NYCT, CASCO, Network Rail, SBB, DB, SL
Certifications
- ISO9001-2015
Contact(s)
Prénom:
Thierry
NOM:
LARTAUD
Fonction:
Sales & Business Development Director
Adresse:
7 rue Auber, 31000 Touloues, France, Europe