• 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
    • Énergie
Accueil Expertises

Expertises

Méthodes formelles

Le centre d’expertise « Modélisation formelle et preuve » de Systerel constitue l’une des plus importantes équipes européennes sur le sujet.

Logiciels critiques, embarqués et temps réel

Systerel dispose d’un centre de compétence pour le développement de logiciels embarqués, critiques et temps réel.

OPC UA et cybersécurité industrielle

A travers plusieurs implémentations de la technologie OPC UA dans un contexte industriel, Systerel a développé une réelle expertise sur la norme OPC UA.

Technologies Ada

Systerel propose des prestations d’experts dédiées à la mise en œuvre du langage Ada dans le cadre du développement de systèmes embarqués avec de fortes contraintes temps réel ou de sécurité.

Normes & Processus

Systerel applique des processus de développement rigoureux issus de son expérience en systèmes sécuritaires, conformes aux normes et compatibles avec les contraintes de ses clients.

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

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

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