Université Bordeaux 1 - Master S&T Informatique

A Google translation in an English version

Habilitation 2007-2011

Les différents parcours Ingénierie des Systèmes Critiques

Le contexte de la formation

Un système est dit complexe et/ou critique lorsque :

L'ingénierie de tels systèmes intègre de plus en plus dans son cycle de vie des moyens rigoureux afin d'augmenter, par une meilleure connaissance d'un modèle, la confiance dans une conception et/ou une réalisation d'un système.

Contenu de la formation

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

Les UEs de la thématiqueLe cours AMF_Vérif. GL_Vérif. GL_SdF
Conceptions FormellesINF 420 XX
Formalismes de Description de SystèmesLa page de l'UE XXX
Logiques ComportementalesLa page de l'UE XX
Qualité et Fiabilité du LogicielIT306 et IT347 X
Modèles Stochastiques et Sûreté de FonctionnementLa page de l'UE X
Technologies de la vérificationLa page de l'UE XX

Déroulement du semestre 4 (Orientation professionnelle / Orientation recherche)

Dans le cadre de ces parcours, les étudiants peuvent choisir entre une orientation professionnelle et une orientation recherche.

Master Professionnel Master Recherche

Les débouchés

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 :

mais également autour du métier d'ingénieur en Recherche et Développement dans les entreprises qui développent les outils pour les ingénieurs. Esterel technologies, ARBoost Technologies, Telelogics, Trusted Logics ... étant des exemples réussis de start-up proposant des outils issus de la recherche académique.

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 :

Contacts

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.