Real-time systems “Lecture outline”

Mathieu Delalandre François-Rabelais University, Tours city, France [email protected]

1

Lecture outline (1) •

Topics A. Real-time systems: concepts B. Real-time systems: use-case with RTLinux A B

M. Delalandre B. Donnette

CM 10 4 14 h

TD/g TP/g 10 6 6 22 h

•

Parts A: Lectures and practical works downloadable from http://mathieu.delalandre.free.fr/teachings/realtime.html

•

Calendar

Part A

11th of September to 6th of October (final exam)

Part B

Starting November

CC

CT 0,5

0,5

2

Lecture outline (2) •

Lecture goals: to introduce (detail) concepts, techniques and algorithms for real-time operating systems.

Operating systems - concept & design

Embbeded systems

Real time sytems

Hardware & software design

Formal methods

D2I3 D2I4 D2I5

3

Lecture outline (3) Bibliography (SCD) 1. A. Tanenbaum. Modern Operating Systems. Prentice Hall, 2007, (ISBN-13: 978-0136006633). 2. A. Silberschatz and al. Operating Systems Concepts. John Wiley and soon, 2008, (ISBN-13: 978-0470128725). 3. G.C. Buttazo. Hard real-time computing systems. Springer, 2010 (ISBN-13: 978-1441935786). 4. F. Cottet and al. Scheduling in real time systems. Hardcover editions, 2002 (ISBN-13: 978-0470847664)

4

Lecture outline (4) Part A. Real-time systems: concepts “M. Delalandre” 1. Introduction to real-time systems 2. Real-time operating systems without resource sharing 2.1. Foundation of operating systems 2.2. Real-time scheduling of independent tasks 3. Real-time operating systems with resource sharing 3.1. Foundation in synchronization and resource management 3.2. Resource management in real-time systems 4. Software environment and case studies Part B. Real-time systems: use-case with RTLinux “B. Donnette” At the corner. dynamic priority servers, handling overload, kernel design, real-time and multicore, real-time and distributed systems, etc. 5