1 option au choix parmi ces trois

L'objectif de ce cours est l'étude des méthodes et langages permettant de concevoir et valider des applications dans lesquelles un certain nombre d'activités ont lieu en parallèle et interagissent, éventuellement avec des contraintes de temps de réaction.

Le génie logiciel est un ensemble de méthodes et techniques permettant de réaliser des logiciels << corrects >>. Les méthodes formelles ont pour objectif de démontrer par des techniques mathématiquement fondées et vérifiables par ordinateur que les composants logiciels concernés répondent à leur spécification. L'objectif central de ce cours est d'apporter à l'étudiant une compréhension des composants de base d'un système formel au travers de deux formalismes de spécifications particuliers : la méthode B et les types abstraits algébriques.

• Spécifications orientées modèles
  • Introduction
  • Etude de la méthode B (état, machines abstraites, invariant, substitutions généralisées)
  • Raffinement et implémentation, modularité
  • Autres langages de spécifications par modèles : Z, VDM
• Spécifications axiomatiques
  • Introduction
  • Systèmes formels
  • Spécifications algébriques (syntaxe, sémantique, calcul)
  • Induction structurelle
  • Structuration modulaire et raffinement

Familiariser les étudiants avec les problématiques et les outils de simulation informatique, avec en particulier un focus sur la modélisation informatique de processus biologiques.

• Modélisation informatique et simulation
• Système dynamique discret
• Analyse numérique
• Modélisation et évaluation de performance / approche stochatique