Master 2 : Modélisation et validation des systèmes informatiques

Suite à l’évolution des nouvelles technologies, le champ d’application des logiciels est de plus en plus varié (l'aéronautique, le spatial, les transports, le commerce ...). Les logiciels sont difficiles à maîtriser tant au niveau de leur développement que de leur maintenance ; ils sont déployés dans des environnement variés (systèmes embarqués, systèmes distribués par exemple) et doivent satisfaire des contraintes critiques (temps réel, robustesse, évolutivité). Pour répondre à ces nouvelles exigences que l’on attend d’eux, les méthodes de modélisation et de validation, basées pour la plupart sur des approches formelles ou semi-formelles, sont de plus en plus utilisées.
Après deux années apportant aux étudiants les fondements de leur futur métier, le Master 2 ISI propose à parts égales une spécialisation de haut niveau et les outils d’ouverture nécessaires à une insertion professionnelle rapide et optimale, abordant aussi bien les méthodes, techniques et outils de modélisation et de validation que les aspects de droit, gestion et autres compléments indispensables à tout projet qu’ils auront à mener dans un contexte national ou international.
Cette formation, de niveau Bac+5, est destinée aux étudiants souhaitant acquérir de fortes compétences dans ces domaines. Elle fait une large place à des spécialistes issus du monde industriel et des laboratoires de recherche de la région Midi-Pyrénées collaborant dans des projets nationaux ou internationaux, qui interviennent dans 60% des enseignements pour présenter leurs expériences.

Consultez ce site selon votre année

• L3
• M1
• M2