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.