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

> Formation > Cursus ingénieur

Formal models for time and parallelism - 4MMMFTP

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 : 8.25
    • Tutorials : 8.25
    ECTS : 1.5

Goals

Fundamental models of time and concurrency, for the understanding of both integrated numerical systems and real-time embedded software.

Contact Florence MARANINCHI

Content

1) Models of time and concurrency (synchronous, asynchronous, mixed), notions of real-time and distribution,
notions of test and verification, principles of the programming languages of the domain.
2) Programming embedded applications (languages for critical real-time applications).



Prerequisites

Digital circuit design, automata, sequential programming, operating systems and concurrent programming.

Tests

Final written examination (2h)(E).



N1=E1
N2=E2

Examen 1ère session : écrit, 2h
Examen 2ème session : écrit 1h

Additional Information

Curriculum->SLE.->Semester 4
Team->Programming and Software

Bibliography

Distributed Systems, principles and paradigms, A. Tanenbaum, Prentice-Hall
Real-Time Systems, Jane W.S. Liu, Prentice Hall, 2000

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