La sûreté de fonctionnement garant du niveau d’intégrité des systèmes
Nos Expertises
L’utilisation de systèmes embarqués (types automates de sécurité, calculateurs électroniques) et la mise en œuvre de boucles de sécurité supportant des logiciels est un standard dans de nombreux domaines (ferroviaire, automobile, aéronautique, industries).
La qualité de développement de ces logiciels est donc un enjeu majeur pour garantir le niveau d’intégrité de sécurité des systèmes de contrôle-commande.
Dans ce contexte, la sûreté de fonctionnement du logiciel évalue que les logiciels, les processus de développement et son environnement d’utilisation respectent les exigences fonctionnelles de sécurité, les normes du domaine et contribuent à la sécurité du système.
Les études de sûreté de fonctionnement (SDF) permettent d’attribuer, le cas échéant, un niveau de sécurité et de moduler les exigences du processus de développement attribuées aux composants électroniques programmables (applicatifs, OS, données, transmissions, bibliothèques de composants éprouvés ou réutilisés, etc.).
- Analyse du besoin et faisabilité
- Analyse fonctionnelle
- Analyse des risques
- Modélisation MBSE des chaînes fonctionnelles de sécurité
- Spécifications
- Prescription de la sécurité
- Spécification des modules safety
- Modélisation dysfonctionnelles / MBSA
- Conception architecturale – Conception détaillée
- Analyse d’indépendance
- Analyse de la robustesse de l’architecture
- Analyse des interactions matériel / logiciel
- Codage
- Relecture critique de code
- Test unitaire – Test d’intégration – Test de validation
- Plan de validation fonctions safety
- Analyse des risques
- Recette
- Dossier de sécurité
- Etudes de fiabilité et disponibilité
- Etudes de sécurité-sûreté et de sécurité fonctionnelle
- Etude de sécurité-qualité logicielle
- Conformité règlementaire
Nos Marchés
Automobile
Ferroviaire
