• Société
  • Carrières
  • Actualités
  • Blog
  • Contacts
  • Français
    • English

Systerel

  • Solutions
    • Conseil & expertise
    • Développement de logiciels critiques
    • Evaluation & audit
    • Vérification & validation
    • Sûreté de fonctionnement
  • Expertises
    • Méthodes formelles
      • Utilisation des méthodes formelles
      • Méthode B
      • SCADE
      • Systerel Smart Solver
      • Langage HLL
      • Plate-forme RODIN
      • Outils de Vérification & Validation
    • Logiciels embarqués, temps réel & critiques
    • OPC UA et cybersécurité industrielle
    • Technologies Ada
    • Normes & Processus
  • Innovation
    • L’innovation chez Systerel
    • Produits
      • Safe & Secure OPC
      • OVADO 2
      • Systerel Smart Solver
      • Systerel IXL Builder
    • Travaux de R&D
    • Démarches collaboratives
  • Formations
    • OPC UA
    • Systerel Smart Solver
    • Langage C pour systèmes contraints
    • Ada 95 et 2005 – Les bases
    • Ada 95 et 2005 – Avancé
    • Ada 2012 – Les clés
    • Méthode B
    • Norme EN 50128:2011
    • Sûreté de Fonctionnement
  • Secteurs d’activité
    • Ferroviaire
    • Aéronautique & Spatial
    • Défense
    • Energie
  • 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 et sécurisée du protocole OPC UA

  • Systerel Smart Solver

    Systerel Smart Solver

    Vérification formelle de systèmes ou logiciels développés en SCADE, C, Ada

  • OVADO 2

    OVADO 2

    Validation formelle automatisée de données de configuration

  • Systerel IXL Builder

    Systerel IXL Builder

    Conception d’automatismes formellement prouvée + génération automatique du code cible

 

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

Accéder aux offres

Actualités

Actualités

Systerel rejoint le programme de partenariat de STMicroelectronics

Systerel annonce qu'elle a rejoint le Partner Program de STMicroelectronics afin de rendre son implémentation OPC UA open-source Safe & Secure, S2OPC, disponible à un plus grand nombre d'utilisateurs d’équipements.

Systerel rejoint le programme de partenariat de STMicroelectronics
+

Embedded World 2022

Comme chaque année, Systerel participera au salon Embedded World.

Embedded World 2022
+

RSSR 2022 “International Conference on Reliability, Safety and Security of Railway Systems”

Systerel participera à la conférence internationale RSSR (Reliability, Safety and Security of Railway Systems) à Paris les 1er et 2 juin prochains.

RSSR 2022 “International Conference on Reliability, Safety and Security of Railway Systems”
+

Solutions

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

Expertises

  • Méthodes formelles
  • Logiciels embarqués, temps réel & critiques
  • OPC UA et 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
  • Energie

Copyright © 2022 Systerel™ - Tous droits réservés

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