Parcours IL / Orientation MFLS
Ce module vise à mettre en pratique les principes, techniques, technologies et méthodologies étudiés dans les modules fondamentaux et d’approfondissement de l’orientation MFLS, concernant notamment la logique, les preuves, la modélisation et la vérification de systèmes informatiques, le génie logiciel, la sécurité des logiciels et des systèmes et les nouveaux modèles de calcul. Il permet d’aborder les méthodologies de recherche et développement en méthodes formelles.
Il conduira à l’étude d’un cadre logique général ou plus spécifique, par exemple la logique linéaire, la logique temporelle ou la logique de séparation et à une étude, incluant une analyse bibliographique la plus complète possible, de ce cadre au travers des différentes thématiques ci-dessus abordées dans les différents modules. Ce travail d’analyse et d’intégration sera fait par l’ensemble des étudiants avec des sous-groupes affectés aux diverses tâches (thématiques) et un étudiant coordinateur veillant à la réalisation et à la coordination des tâches
Le produit final sera un article scientifique de synthèse, complet et rédigé en anglais, sur le sujet proposé dont les versions préliminaires seront l’objet de présentations et discussions.
Prérequis
- Bonnes connaissances des thématiques en méthodes formelles de MFLS.
Acquis d’apprentissage
- Lecture et analyse d’articles scientifiques relevant du sujet proposé.
- Synthèse de résultats et présentations orales et/ou écrites de ces résultats.
- Coordination et interactions entre les différentes thématiques abordées.
- Rédaction collective d’un article scientifique de synthèse sur un sujet intégrant les thématiques abordées dans MFLS.
Compétences visées
- Concevoir et développer des systèmes logiciels sûrs et sécurisés.
- Intégrer des méthodes et techniques formelles de modélisation, d’analyse, de vérification et de validation dans le processus de développement de logiciels critiques.
- Travailler en équipe et aussi en autonomie sur un sujet scientifique intégrant différents aspects fondamentaux et applicatifs.
- Lecture et analyse d’articles scientifiques.
- Gérer et maîtriser les étapes d’une étude scientifique approfondie et de sa rédaction.