• 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 Actualités Projets de R&D

Projets de R&D

  • Thèmes
    • Carrières
    • Méthodes Formelles
    • Projets de R&D
    • Salons – Conférences
    • Société
    • Success Stories
    • Sûreté de Fonctionnement
  • Dates
    • mars 2018
    • février 2018
    • janvier 2018
    • décembre 2017
    • octobre 2017
    • septembre 2017
    • août 2017
    • juin 2017
    • avril 2017
    • février 2017
    • janvier 2017
    • novembre 2016
    • octobre 2016
    • septembre 2016
    • avril 2016
    • mars 2016
    • février 2016
    • janvier 2016
    • novembre 2015
    • octobre 2015
    • septembre 2015
    • avril 2015
    • février 2015
    • décembre 2014
    • octobre 2014
Projets de R&D
Mars 2016

Lancement du projet INGOPCS

Le projet INGOPCS (Initiative pour la Nouvelle Génération OPC-UA Sécurisée) vient de démarrer.

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