Examples related to communication protocols and real time systems are given to illustrate these formalisms.

The PTR (realtime programming) part of the course addresses: the specification and design of real time systems, an introduction to main real-time operating systems services, method to program and to test a real-time application.

Organisation:

- PSM: 12,5h of lectures, 6,25h of directed works, 11h of labworks

- MSC: 15h of lectures, 13,75h of labworks, 1,25h for an exam

- PTR: 11, 25h of lectures, 13,75h of labworks

Objectives

This module deals with specification, modelling and realisation of parallel, communicating and synchronised systems under time constraints.

Needed prerequisite

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...