Université Bordeaux 1 - Master S&T Informatique

A Google translation in an English version

Habilitation 2003-2007

Spécialité 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.

Les Unités d'Enseignement (UE) proposées reposent principalement sur les compétences de l'équipe de recherche Modélisation, Vérification et Tests de systèmes informatisés du LaBRI.

Les promotions

2007-20082006-20072005-20062004-20052003-2004
Les étudiants Les étudiants Les étudiants Les étudiants Les étudiants
Les projets Les projets Les projets Les projets Les projets
Les stages et mémoires Les stages et mémoires Les stages et mémoires Les stages et mémoires Les stages et mémoires
L'emploi du temps : (html) (pdf) (ps.gz) L'emploi du temps : (html) (pdf) (ps.gz) L'emploi du temps : (html) (pdf) (ps.gz) L'emploi du temps : (html) (pdf) (ps.gz) L'emploi du temps : (html) (pdf) (ps.gz)
Le planning CC Le planning CC Le planning CC Le planning CC Le planning CC
Les notes(accès restreint) Les notes(accès restreint) Les notes(accès restreint) Les notes(accès restreint) Les notes(accès restreint)

Contenu de la formation

Déroulement du premier semestre

Les étudiants doivent suivre cinq unités d'enseignement.

1 UE obligatoire
3 UE optionnelles parmi
1 UE libre (6 ECTS)

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

Dans le cadre de ce 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 le 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 et accéder ainsi aux métiers de la recherche dans le domaine des méthodes formelles. Parmi les laboratoires français reconnus du domaine, on peut citer : Le LaBRI à Bordeaux, le LSV à l'ENS Cachan, Verimag à Grenoble, le LIP6 à Paris 6, le LIAFA à Paris 7, l'IRISA à Rennes, le LORIA à Nancy et Sophia à Nice.

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.