Cours assurés par Nicolas Beaufrere
Volume horaire :
- Cours : 6x 2heures
- Travaux pratiques : 3x 4heures
- Examen : 1heures
Connaissances disciplinaires et raisonnement (Connaissance des principes fondamentaux d’ingénierie/Connaissances, méthodes et outils avancés en ingénierie)
Capacités et compétences personnelles et professionnelles (Raisonnement analytique et résolution de problèmes/Méthodes scientifiques : expérimentation, questionnement et initiation/Pensée systémique/Éthique, déontologie et responsabilités professionnelles)Créer, concevoir, mettre en œuvre, exploiter, innover et entreprendre dans un contexte de Responsabilité Sociétale des Entreprises (Exploitation)
-
Capacité à développer d’après spécifications
Capacité à respecter le processus de Validation & Vérification
Comprendre le processus de certification
Introduction à l’ingénerie système
Définition Cycle en V
Processus de conception intégrée
Méthode de conception dans le cycle de vie des produits de différents niveaux (Niveau « analyse des besoin », Niveau fonctionnel, Niveau logique, Niveau détaillée)
Modélisation des exigences, d’architecture, dynamique et transverse
Différents niveaux de test (Test unitaire (composant), Test d’intégration, Test système (validation), Test d’acceptation)
Plan et stratégie de test
Processus IVVQ (Intégration, Vérification, Validation, Qualification), cycle de vérification et validation
Méthodes formelles (Méthode B, Model checking, Réseau de Petri)
Christel Baier et Joost-Pieter Katoen, Principles of Model Checking, MIT Press, 2008
Cours magistraux, travaux pratiques
Compte Rendu de TP : coefficient 3
Examen : coefficient 7