Université Bordeaux 1 - Master S&T Informatique |
A Google translation in |
Un système est dit complexe et/ou critique lorsque :
La spécialité ISC de la précédente habilitation a disparu au profit de trois parcours (AMF_Vérification, GL_Vérification et GL_Sûreté_de_Fonctionnement) intégrés dans deux spécialités distinctes, afin de mieux différencier les métiers visés.
Les UEs de la thématique | Le cours | AMF_Vérif. | GL_Vérif. | GL_SdF |
---|---|---|---|---|
Conceptions Formelles | INF 420 | X | X | |
Formalismes de Description de Systèmes | La page de l'UE | X | X | X |
Logiques Comportementales | La page de l'UE | X | X | |
Qualité et Fiabilité du Logiciel | IT306 et IT347 | X | ||
Modèles Stochastiques et Sûreté de Fonctionnement | La page de l'UE | X | ||
Technologies de la vérification | La page de l'UE | X | X |
Master Professionnel | Master Recherche |
---|---|
|
Les débouchés auxquels mène naturellement les parcours Ingénierie des Systèmes Critiques orientation professionnelle s'articulent naturellement autour du métier d'ingénieur concepteur de systèmes à hauts risques. Les domaines demandeurs étant :
Les étudiants ayant choisi l'orientation recherche peuvent poursuivre leurs études par un doctorat (nombreuses possibilités de thèse CIFRE) et accéder ainsi aux métiers de la recherche :
Responsable | Alain Griffault |
Secrétariat | Fabienne Clairand |
Adresse postale | Secrétariat du Master S&T Mention Informatique |
Université Bordeaux 1, Bâtiment A30 | |
351, cours de la libération | |
33405 TALENCE Cedex |
Veuillez reporter toute erreur ou omission à Alain Griffault.
Dernière mise à jour effectuée le 30 octobre 2008.