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

Solutions

Systerel, spécialisée dans l’ingénierie des systèmes et logiciels critiques, apporte à ses clients un double regard métier et technique à travers son expérience et ses expertises en technologies de pointe.

Plus de 85% des travaux réalisés par Systerel se font en engagement de résultats, dont plus de 70% sur des développements de systèmes de niveau de sécurité moyennement ou hautement critiques (SIL4 par exemple).

Conseil & expertise

Systerel conseille ses clients sur toutes les phases de réalisation d’un logiciel ou système critique.

Développement de logiciels critiques

Systerel est spécialisée dans l’étude
et le développement de systèmes informatiques à fortes contraintes.

Vérification & validation

Systerel prend en charge la totalité des activités de V&V imposées par les normes.

Sûreté de fonctionnement

Systerel effectue des analyses de systèmes à fortes contraintes de sûreté.

Évaluation & audit

De par son cœur de métier, Systerel réalise selon des méthodes et techniques très strictes des activités d’audit et d’évaluation de systèmes critiques.

Formations

Sur la base de son savoir-faire en conseil et réalisation de systèmes critiques, des experts seniors de Systerel ont bâti une offre de formation ciblée.

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