Sûreté de Fonctionnement Logiciel et Qualité Logiciel

La part prépondérante du logiciel dans les systèmes embarqués nécessite la mise en œuvre d’un processus de développement maîtrisé, d’une architecture et d’une conception adaptée aux objectifs de sécurité ou qualité visés.

En complément, des méthodes et techniques de démonstration de ces objectifs doivent être mises en œuvre.

Les experts de SERMA SAFETY & SECURITY vous apportent leurs compétences sur ce sujet tout au long de vos développements :

  • Accompagnement à la mise en place des processus de développement Logiciel
  • Définition des objectifs de sécurité (SIL, contraintes Safety Logiciel)
  • Réalisation des activités de Safety Logiciel
    • Audit des processus de développement Logiciel
    • Analyse des documents du cycle de développement
    • Suivi des exigences de sécurité (traçabilité, pertinence)
    • Vérification de modèles (Model Based Design, méthodes formelles / semi formelles)
    • Analyse des architectures Logiciel
    • Lecture Critique de Code (LCC)
    • Etudes dysfonctionnelles du Logiciel (AMDE Logiciel, AEEL)
    • Analyse des dossiers de tests
    • Rédaction du dossier de qualification des outils
    • Elaboration du plan et rapport de sécurité Logiciel
  • Vérification et/ou validation des développements
  • Analyse statique de code
  • Définition et mise en œuvre des tests du Logiciel (tests unitaires, tests d’intégration, tests de validation)

SERMA SAFETY & SECURITY réalise des activités de qualité Logiciel en lien ou non avec les normes de sécurité :

  • Définition du processus de développement (organisation, process, choix des outils, techniques, tests)
  • Rédaction du plan qualité Logiciel
  • Rédaction des Templates spécifiques au besoin
  • Elaboration de questionnaires d’audit
  • Suivi fournisseur