Accès direct au contenu
Direct Access to menu
Fundamental models of time and concurrency, for the understanding of both integrated numerical systems and real-time embedded software.
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).
Digital circuit design, automata, sequential programming, operating systems and concurrent programming.
Distributed Systems, principles and paradigms, A. Tanenbaum, Prentice-Hall
Real-Time Systems, Jane W.S. Liu, Prentice Hall, 2000
Final written examination (2h)(E).