Modélisation formelles pour le génie logiciel

Vous êtes ici :

Modélisation formelles pour le génie logicielCode de l'UE : HMIN308

Présentation

Une partie de ce module s'intéresse aux spécifications des systèmes réactifs. Les systèmes logiciels ou à composante logicielle intègrent des aspects comportementaux. Ce sont souvent des systèmes réactifs (en interaction constante avec leur environnement, à une vitesse imposée par l'environnement) et parallèles. Ils doivent accepter certaines opérations dans certaines circonstances (vivacité), mais, pour des raisons de sûreté, en refuser à d'autres moments. Ce module s'intéresse à la modélisation de tels systèmes, en phases de spécification puis de conception. Il s'intéresse également à la vérification des modèles obtenus.
La seconde partie de ce module variera en fonction des intervenants extérieurs et abordera des thèmes comme la vérification de l'assemblage de composants, l'usage de l'Analyse Formelle de Concepts en génie logiciel, etc

Volume horaire

  • CM : 13
  • TD : 26
  • TP : 0
Diplômes intégrant cette UE

En bref

Crédits ECTS 5

Période de l'année
S3