Ensimag Rubrique Formation 2022

Formal models for time and parallelism - 4MMMFTP

  • Number of hours

    • Lectures 8.25
    • Tutorials 8.25

    ECTS

    ECTS 1.5

Goal(s)

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

Contact Florence MARANINCHI

Content(s)

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.

Test

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