• 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
    • 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

Accompagnement des étudiants Centrale Marseille

Aujourd'hui, notre responsable du recrutement sera présente auprès des étudiants de l'école Centrale Marseille pour les accompagner dans la rédaction de leur CV et lettre de motivation.

Accompagnement des étudiants Centrale Marseille
+

Systerel, partenaire du CEA List

Partenaire du CEA List depuis plusieurs années et sur de nombreux projets, Systerel contribue au dernier rapport d'activité du CEA List dans le cadre de la livraison à SNCF Réseau du module de modélisation de l’Atelier Métier de Signalisation (AMS).

Systerel, partenaire du CEA List
+

1er concours 2021 du CSE

Le dernier défi lancé à nos collaborateurs par notre CSE était : « l’objet le plus inutile que vous gardez chez vous » !

1er concours 2021 du CSE
+

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
  • 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 © 2021 Systerel™ - Tous droits réservés

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