Aller au contenu  Aller au menu Aller à la recherche

accès rapides, services personnalisés

Rechercher

Recherche détaillée

Contact

Valérie Chantin
Responsable administrative

courriel : master.info@upmc.fr

Cette page est la page de garde du site consacré à l' unité d'enseignement « Sécurité et Fiabilité (5I454) »

Ressources annuelles

Responsable de l'UE : SZNAJDER, nathalie


Site de l'UE

Description de l'UE :

La conception de systèmes critiques nécessite l'usage de méthodes formelles pour garantir des propriétés de bon fonctionnement ou de sécurité. Cette UE présente différentes méthodes de vérification.

Les points abordés sont les suivants : 1. Algorithmes explicites de model checking pour les logiques temporelles 2. Propriétés structurelles des réseaux de Petri avec un projet portant sur les réseaux de Petri colorés 3. Structures de données et algorithmes symboliques 4. Un second projet portera sur la programmation d'un model checker Une dernière partie, variable selon les années, sera consacrée soit plus spécifiquement aux propriétés de sécurité, soit à des extensions quantitatives des méthodes de vérification.