L’objectif de cette formation est de développer:
– les principes du développement de logiciels critiques pour la sécurité (depuis sa spécification jusqu’à sa démonstration)
– les concepts de test, vérification et validation de logiciels
– les différentes techniques et méthodes d’analyse et de développement d’un logiciel critique de sécurité
1
Le cycle de vie d’un développement logiciel et concept de SSIL
2
Concepts de vérification, test et validation d’un développement logiciel
3
Les types de développement logiciels et les outils
4
Méthodes et techniques selon la EN50128
5
Processus de dataprep et projet applicatif
Soyez le premier à ajouter un commentaire.
Veuillez vous connecter pour laisser un commentaire