logo Insalogo Insa

Concurrent and real time system


At the end of this module, the student will have understood and be able to explain
(main concepts):
How to specify, modelling and design parallel, communicating and synchronised systems.
The student will be able to:
- Use and program the system on mono- and multiprocessor machines

Needed prerequisite

PSM : Introduction to operating system, language C, machine language
MSC : graph theory
PTR : language C

Form of assessment

The evaluation of outcome prior learning is made as a continuous training during the semester. According ot the teaching, the assessment will be different: as a written exam, an oral exam, a record, a written report, peers review...