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

Systerel

  • Solutions
    • Conseil & expertise
    • Développement de logiciels critiques
    • Evaluation & audit
    • Vérification & validation
    • Sûreté de fonctionnement
    • Formations
      • 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
      • Techniques de preuve en B
      • Sûreté de fonctionnement
      • Norme EN50128:2011 vs 2001
      • Norme EN50128:2011
      • Systerel Smart Solver
  • Expertises
    • Méthodes formelles
      • Utilisation des méthodes formelles
      • Méthode B
      • SCADE
      • Systerel Smart Solver
      • Plate-forme RODIN
      • Outils de Vérification & Validation
    • Logiciels embarqués, temps réel & critiques
    • 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
  • Secteurs d’activité
    • Ferroviaire
    • Aéronautique & Spatial
    • Défense
    • Energie
Accueil Expertises Méthodes formelles

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 et dispose d’une expérience de plus de 15 ans dans la mise en œuvre industrielle des techniques formelles.

Utilisation des méthodes formelles

Pourquoi utiliser les méthodes formelles ?
Quelles techniques pour quelle problématique ?

Méthode B

Systerel est l’un des leaders dans l’utilisation de la méthode B pour le développement de logiciels critiques dans un cadre industriel.

SCADE

Systerel intervient sur des activités de conseil et d’expertise autour de la mise en œuvre de SCADE et de son couplage à d’autres technologies.

Systerel Smart Solver

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

Plate-forme RODIN

Systerel est le leader technique de la plate-forme RODIN en assurant sa maintenance et ses évolutions.

Outils de Vérification & Validation

Systerel a développé des solutions exploitant les méthodes formelles pour gagner en qualité et en productivité sur des activités de vérification et validation.

  • Email
  • Linkedin
  • Google+
  • Twitter
  • Viadeo
  • Facebook

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

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