Aller au contenu  Aller au menu Aller à la recherche

accès rapides, services personnalisés

Rechercher

Recherche détaillée

Contact

Jacqueline Collet-Narboni
Responsable administrative

courriel : jacqueline.collet-narboni@upmc.fr

Cette page est la page de garde du site consacré à l' unité d'enseignement « Spécification des systèmes (4I407) »

Ressources annuelles

Responsable de l'UE : Dutheillet, claude



Description de l'UE :

La conception et la vérification de systèmes répartis passe par leur description dans un formalisme adapté aux outils existants. Cette UE, de la thématique SC, présente plusieurs de ces formalismes, que l'on peut ranger dans deux catégories :

- Les modèles formels à base de systèmes de transitions. Nous présenterons notamment les automates et les réseaux de Petri, ainsi que les mécanismes de composition qui leur sont associés, et qui rendent possible la conception modulaire de systèmes répartis.

- Les logiques, qui peuvent permettre à la fois de synthétiser des modèles corrects par construction et d'exprimer les propriétés attendues d'un système. Nous montrerons en particulier comment décrire des propriétés des états d'un système ou de ses exécutions, à l'aide des logiques temporelles.