Table des matières - Pequan - LIP6
Table des matières - Pequan - LIP6
Table des matières - Pequan - LIP6
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Masters<br />
- langage Lustre, compilation en automates (machines de Mealy), structures de Kripke,<br />
- propriétés de sûreté et de vivacité, logiques temporelles, observateurs,<br />
- algorithmes de model-checking, métho<strong>des</strong> symboliques et abstractions,<br />
- systèmes temporisés.<br />
Des travaux sur machines sont prévus pour illustrer ces métho<strong>des</strong>, avec différents outils (par exemple lustre/xlesar,<br />
Uppaal, etc.). Des applications de ces métho<strong>des</strong> à la vérification de systèmes matériels et de propriétés de sécurité<br />
pourront être présentées.<br />
M2S4<br />
Nom : Stage de fin d’étu<strong>des</strong><br />
Acronyme : Stage<br />
Porteurs :<br />
Descriptif :<br />
Le stage de fin d’étu<strong>des</strong> s’étend sur tout le second semestre et peut s’effectuer dans un laboratoire de recherche ou<br />
dans une entreprise.<br />
Annexe de la spécialité SESI<br />
Equipe pédagogique de la spécialité SESI<br />
Vague D : campagne d’évaluation 2012-2013 Février 2012<br />
38