FORMAL MODELS FOR TIME AND PARALLELISM - Grenoble INP - Ensimag
Search
FORMAL MODELS FOR TIME AND PARALLELISM
ECTS credits : 1.5
Hours
Lecture : 9
Tutorial : 9
Lecture : 9
Tutorial : 9
Objectives
Contact Florence MARANINCHI
Fundamental models of time and concurrency, for the understanding of both integrated numerical systems and real-time embedded software.
Contact Florence MARANINCHI
Content
Prerequisites
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.
Bibliography
Distributed Systems, principles and paradigms, A. Tanenbaum, Prentice-Hall
Real-Time Systems, Jane W.S. Liu, Prentice Hall, 2000
Assessment
Final written examination (2h)(E).
N1=E1
N2=E2
É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 Copyright Grenoble INP
681, rue de la passerelle - Domaine universitaire - BP 72 - 38402 SAINT MARTIN D'HERES Copyright Grenoble INP