ECTS
6 crédits
Composante
Collège Sciences et Technologies pour l’Energie et l’Environnement (STEE)
Volume horaire
54h
Description
L’objectif est d’initier sur le plan théorique et pratique les étudiants au développement de logiciels «corrects par construction» pour répondre aux besoins des systèmes critique de fonctionnement(secteur du nucléaire, d’armement, de transport,…)
La démarche déroule une méthode formelle (Méthode B, Vdm++, VdmRT) sur un ou plusieurs ateliers de génie logiciel (AGL). La stratégie de développement est incrémentale et procède en trois étapes en s’appuyant successivement sur un modèle fonctionnel (formalisation des événements/actions), un modèle concurrent (synchronisation fonctionnelle et temporelle des événements/actions) et, finalement, un modèle temps réel (formalisation des contraintes critiques de temps).
Objectifs
À la fin de cette UE/EC, vous serez capable de :
- Analyser un cahier des charges et décider/justifier le choix de la méthode de développement et des ateliers de génie logiciel
- Planifier les quatre étapes d’un développement agile: analyse, modélisation, validation assistée, génération automatique de logiciel d’application
- Evaluer le logiciel d’application, le mettre en œuvre en environnement opérationnel, estimer sa performance théorique (complexité) et planifier sa maintenance (rétro-ingénierie)
Heures d'enseignement
- Génie logicielCours Magistral18h
- Génie logicielTravaux Dirigés18h
- Génie logicielTravaux Pratique18h
Pré-requis obligatoires
UE Génie logiciel (L3 INFO)
UE Atelier de Génie Logiciel & Développement Formel (L3 INFO)
Contrôle des connaissances
session 1 : 100% contrôle continu : Évaluation d’un projet par étapes (compétences) + évaluation d’un projet de courte durée (4h)
session 2 : 100% oral
Compétences acquises
Compétences | Niveau d'acquisition | |
|---|---|---|
| Appui à la transformation en contexte professionnel | Analyser et modéliser du point de vue informatique un problème dans toute son étendue et dans des champs d'applications variés en lien avec les usagers | x |
| Prendre en compte les enjeux industriels, économiques et professionnels : compétitivité et productivité, innovation, propriété intellectuelle et industrielle, respect des procédures qualité, sécurité | x | |
| Conduire un projet (conception, pilotage, coordination d'équipe, mise en œuvre et gestion, évaluation, diffusion) pouvant mobiliser des compétences pluridisciplinaires dans un cadre collaboratif | x | |
| Communication spécialisée pour le transfert de connaissances | Identifier, sélectionner et analyser avec esprit critique diverses ressources dans son domaine de spécialité pour documenter un sujet et synthétiser ces données en vue de leur exploitation | x |
| Développement et intégration de savoirs hautement spécialisés | Maîtriser plusieurs paradigmes de modélisation et de programmation et être capable de s'adapter à de nouveaux langages | x |
| Proposer une architecture matérielle et logicielle permettant d'intégrer les données du problème et le résoudre | x | |
| Développer des applications informatiques sur des infrastructures variées (machines parallèles, environnement distribué, programmation Web…) | x | |
| Déployer des applications informatiques, gérer les phases de test et les évolutions | x | |
