Aller au menu Aller au contenu
Une voie, plusieurs choix
Informatique et Mathématiques appliquées
Une voie, plusieurs choix

> Formation > Cursus ingénieur

Modeling and verification of concurrent and real time systems - 5MMMVSCT

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In
  • Number of hours

    • Lectures : 18.0
    ECTS : 1.75

Goals

This lecture presents methods and tools for the correct design of systems consisting of agents (or processes) running asynchronously in parallel, possibly subject to real-time constraints. These methods and tools respond to the needs of telecoms (telecommunication protocols), software (distributed algorithms, cloud computing, ...), embedded systems, and hardware (multiprocessor architectures, arbitration protocols, cache coherency protocols, asynchronous circuits, GALS architectures, ...). The methods rely on a formal description of the system in an appropriate language, which can be automatically validated by tools implementing verification techniques, such as model checking or equivalence checking.

Contact Claudia RONCANCIO

Content

Basic concepts of asynchronous concurrency and real-time
Formal models: communicating automata, timed automata, process algebras
Formal verification techniques (model checking, equivalence checking)
Temporal logic



Prerequisites

Some knowledge of programming languages.

Tests

Written examination, TP



Si participation à la SESSION DE RATTRAPAGE, la note finale est la note de l'examen de la SESSION DE RATTRAPAGE.
Sinon, la note finale est la note de l'examen de la SESSION NORMALE.

Additional Information

Curriculum->Information Systems Engineering->Semester 5
Team->Programming and Software

Bibliography

H. Garavel. Défense et illustration des algèbres de processus. In Zoubir Mammeri (Ed), Actes de l'Ecole d'été Temps Réel ETR 2003 (Toulouse, France), Institut de Recherche en Informatique de Toulouse, septembre 2003.
http://www.inrialpes.fr/vasy/Publications/Garavel-03.html

S. Merz and N. Navet (Eds). Modeling and Verification of Real-Time Systems. Wiley, 2008.

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In

Date of update January 15, 2017

French
Grenoble INP - Ensimag
École nationale supérieure d'informatique et de mathématiques appliquées
681, rue de la passerelle - Domaine universitaire - BP 72
38402 SAINT MARTIN D'HERES
 
 
République Française         Groupe INP
    Université Grenoble Alpes