AER650 - Conception et ingénierie des systèmes basées sur le modèle

Au terme de ce cours, l’étudiant sera en mesure de : expliquer comment spécifier un système en utilisant une combinaison de texte et de modèles, identifier le modèle le plus adapté au contexte des exigences qu’il souhaite représenter, décrire les atouts et les limites des formats de modèle qu’il a choisis, modéliser et spécifier des systèmes complexes à l’aide de modèles de différents types et d’éléments textuels correctement formatés, comprendre et utiliser les modèles pour spécifier un système, mais aussi pour le tester et en extraire des crédits de certification, expliquer les enjeux liés à la spécification informelle et son impact sur les coûts et les délais de développement et de certification.

Aspects fondamentaux du développement de système basé sur le modèle, les éléments principaux qui sous-tendent les contraintes de la spécification système, les besoins de simulation, les principes de preuve formelle, génération de code et traçabilité, modélisation de systèmes logiciels, les crédits de certification liés à l’utilisation des modèles formels.