UE41

Compétences visées :

Être capable de :

- décrire à l’aide d’une technique formelle le comportement d’un système

- évaluer des caractéristiques de performance à partir de cette description

- pouvoir raisonner sur les modèles produits

Contenus :

• Concurrence et communications
• Théorie des files d’attente

Modélisation et validation des systèmes distribués

Modalités de mise en œuvre :

-        Chaines de Markov Temps Discret – Chaines de Markov en Temps Continu – Processus de naissance et de mort  –

-        Files d’attente : processus d’arrivée – Formule de Little – M/M/1/∞ – M/M/∞ M/M/s/s - M/M/s/∞

-        Techniques de description formelle

Algèbre de Processus – LOTOS – sémantique des opérateurs – relation de bisimulation – équivalence observationnelle - description et analyse