Conception et certification de logiciels critiques

Le cours présente des concepts et des techniques concernant le développement de logiciels critiques. Il permet de connaître les spécificités des processus de développement de logiciels critiques. L’objectif est de maîtriser les méthodes et les outils de validation et de savoir comment les combiner avec les techniques de vérifications présentées dans d’autres modules pour certifier des logiciels.

Sujets abordés

  • Vérification, validation, et certification dans le cycle de vie d’un logiciel.
  • Méthodes et outils d’analyse statiques de logiciels.
  • Techniques et outils pour la génération automatique de tests.
  • Méthodes d’évaluation et de validation dans le cadre de la certification Critères Communs.