20 HEE, 9 HPE

Contact

Frédéric Boulanger frederic.boulanger@centralesupelec.fr

Cours donné par Olivier Bouissou de Mathworks (obouisso@mathworks.com)

Présentation générale

L’analyse statique permet de déterminer des propriétés d’un système en examinant ses modèles, sans l’exécuter ni le simuler. Il s’agit d’une approche de la vérification qui est automatique, mais qui peut rapporter de faux positifs (problèmes qui n’existent pas réellement) et passer sous silence des problèmes bien présents (faux négatifs). Ce cours vise à présenter les différentes techniques d’analyse statique, les domaines où elle est la plus pertinente, ses limites et ses avantages dans un contexte industriel.

Acquis d’apprentissage visés dans le cours

À l'issue de ce cours, les élèves seront capables :

• d'évaluer la pertinence de l'analyse statique pour la vérification d'un système,
• de faire le choix d'un outil d'analyse statique pertinent dans un contexte industriel,
• d'interpréter les résultats en prenant en compte les défauts de la méthode.

Moyens

Ce cours fait largement appel à des études de cas industriels pour prendre la mesure des possibilités mais aussi des limitations de l'analyse statique. Deux cours magistraux permettent de donner les connaissance initiales requises pour les études de cas.

Description des compétences acquises à l'issue du cours

C1.4 Spécifier, concevoir, réaliser et valider tout ou partie d'un système complexe

• Choisir une technique de vérification adaptée au système à vérifier et à l'environnement industriel

C2.1 Avoir approfondi un domaine ou une discipline relatifs aux sciences fondamentales ou aux sciences de l'ingénieur

• Connaissance des avantages et des limitations de l'analyse statique afin d'évaluer correctement les risques d'erreurs dans un système.

Contenu

6 créneaux d'1h30, dont 2 créneaux de cours et 4 d'étude de cas

• CM 1 : Introduction, nature et intérêt de l'analyse statique
• CM 2 : Contraintes industrielles sur l'analyse statique
• Séances 3 à 6 : Études de cas

Méthodes pédagogiques

Les méthodes utilisés pour ce cours sont principalement des études de cas, avec des cours magistraux d'introduction pour présenter les concepts et les contraintes industrielles qui contraignent la méthode.

Méthodes d'évaluation

L'évaluation se fera en contrôle continu sur la participation aux études de cas et la qualités des rendus.