• Société
  • Carrières
  • Actualités
  • Blog
  • Contacts
  • Français
    • English
Systerel
  • Solutions
    • Conseil & expertise
    • Développement de logiciels critiques
    • Évaluation & audit
    • Vérification & validation
    • Sûreté de fonctionnement
  • Expertises
    • Méthodes formelles
      • Utilisation des méthodes formelles
      • Model Checking avec S3
      • Méthode B logiciel
      • Langage HLL
      • Plate-forme RODIN
      • Modélisation SCADE
      • Outils de Vérification & Validation
    • Logiciels critiques, embarqués et temps réel
    • OPC UA et cybersécurité industrielle
    • Technologies Ada
    • Normes & Processus
  • Innovation
    • L’innovation chez Systerel
    • Produits
      • Agrégateur OPC UA
      • BLAST
      • OVADO²®
      • Safe & Secure OPC
      • Systerel IXL Builder
      • Systerel Smart Solver
    • Travaux de R&D
    • Démarches collaboratives
  • Formations
    • Langage Ada
    • Langage C pour systèmes contraints
    • Méthode B
    • Normes ferroviaires
    • OPC UA
    • Sûreté de Fonctionnement
    • Systerel Smart Solver
  • Secteurs
    • Ferroviaire
    • Aéronautique & Spatial
    • Défense
    • Énergie
  • Systerel est spécialisée dans le domaine du logiciel critique et de la sûreté de fonctionnement…
  • Systerel est spécialisée dans le domaine du logiciel critique et de la sûreté de fonctionnement…
  • Systerel est spécialisée dans le domaine du logiciel critique et de la sûreté de fonctionnement…
  • Systerel est spécialisée dans le domaine du logiciel critique et de la sûreté de fonctionnement…
  • Systerel est spécialisée dans le domaine du logiciel critique et de la sûreté de fonctionnement…
  • Systerel est spécialisée dans le domaine du logiciel critique et de la sûreté de fonctionnement…

Systerel est spécialisée dans le domaine du logiciel critique et de la sûreté de fonctionnement

En savoir plus

Produits

  • Safe & Secure OPC

    Safe & Secure OPC

    Implémentation libre, sécurisée et certifiée du standard OPC UA

  • Systerel Smart Solver

    Systerel Smart Solver

    Vérification formelle automatique de systèmes ou logiciels développés dans vos langages métiers spécifiques

  • OVADO²®

    OVADO²®

    Validation formelle automatisée de données de configuration

  • BLAST

    BLAST

    Automatisation de l’implantation de balises ferroviaires

 

Dans le cadre de sa croissance,
Systerel est à la recherche de nouveaux talents.

Accéder aux offres

Actualités

Actualités

Cryptographie post-quantique pour l'OPC UA

Systerel est heureuse de participer à une initiative européenne autour de la cryptographie post-quantique et de l’OPC UA.

L’objectif de ce projet est de préparer dès aujourd’hui des réponses aux menaces présentes et futures.

Cryptographie post-quantique pour l'OPC UA
+

Salon mondial du nucléaire civil 2025

Systerel est présente au salon mondial du nucléaire civil 2025 !

Nous serons ravis d’échanger avec nos clients et partenaires autour de nos expertises en contrôle-commande critique et ingénierie système.

Salon mondial du nucléaire civil 2025
+

La généricité en Ada

Dans ce nouvel article, découvrez comment utiliser la généricité avec le langage Ada pour écrire du code réutilisable, flexible et maintenable.

Au travers d'un exemple simple, l’article montre comment adapter un programme générique au travers des fonctionnalités offertes par le langage.

La généricité en Ada
+

Solutions

  • Conseil & expertise
  • Développement de logiciels critiques
  • Vérification & validation
  • Evaluation & audit
  • Sûreté de fonctionnement
  • Formations

Expertises

  • Méthodes formelles
  • Logiciels critiques, embarqués & temps réel
  • OPC UA & cybersécurité industrielle
  • Technologies Ada
  • Normes & Processus

Innovation

  • L’innovation chez Systerel
  • Produits
  • Travaux de R&D
  • Démarches collaboratives

Secteurs d’activité

  • Ferroviaire
  • Aéronautique & Spatial
  • Défense
  • Énergie

Copyright © 2025 Systerel® - Tous droits réservés.

  • Plan du site
  • Mentions légales & Crédits
  • LinkedIn