logo Insalogo Insa

Concurrent and real time system

Presentation

PSM (System programming and multithreading): The notion of multi–programmation (processes), communication

mechanisms (IPC) and signals are presented. An introduction

on parallel processing is done. This is applied to threads programming using synchronisation, and scheduling functions.

 

MSC (model for concurrents systems) : This lesson introduces basic formalisms dedicated to the modelling of concurrent or reactive systems: Petri nets and Communicating

automata. The main properties of these models are presented

and also an introduction of their associated analysis techniques.

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


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