Number of hours
- Lectures 2.0
- Projects 0
- Tutorials 0
- Internship 0
- Laboratory works 12.0
- Written tests -
ECTS
ECTS 1.0
Goal(s)
Fundamental models of time and concurrency, for the understanding of both integrated numerical systems and real-time embedded software.
Contact Florence MARANINCHIFlorence 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.
Final written examination (2h)(E).
E1 note d'examen écrit session 1
TP évaluation du travail sur les TPs libres
E2 note d'examen écrit session 2
N1= E1 + (entre 0 et 2 points de bonus sur les TPs)
N2=E2
Examen 1ère session : écrit, 2h (en présentiel ou à distance)
Examen 2ème session : écrit 1h (en présentiel ou à distance)
The course exists in the following branches:
- Curriculum - Embedded Systems & Connect. Devices - Semester 8