|
Real
Time
Systems
|
|
|
|
Course schedule
This is a preliminary schedule, which will be further specified during the
semester. Classes marked as "lab" will take place in computer room and will
focus on exercises with a specific software. Slides will be updated during the
semester.
| Date | Where | Subject | Content | Slides |
| week 1 | class | Introduction | what are RT
system?, examples of RT systems, terminology, context; course
overview | intro.pdf |
| week 2 | class | RT scheduling - basics |
basic model, release time, deadlines, constraints,
schedules | concepts.pdf |
| week 3 | class | RT scheduling - aperiodic
tasks | scheduling of aperiodic tasks (problem statement,
algorithms) | aperiodic.pdf |
| week 4 | class | RT scheduling - periodic
tasks | scheduling for periodic tasks (rate monotonic, EDF, deadline
monotonic), periodic + aperiodic tasks, fixed priority
servers | periodic.pdf |
| week 5 | class | RT scheduling - resource access
control | mutual exclusion algorithms (classical protocols, real time
protocols), priority inversion problem, priority inheritance
protocol | resources.pdf |
| week 6 | lab | RT programming |
specific aspects of RT programming, concurrency issues, communication,
messages, timers; support for RT in programming languages, overview, real time
programming with C, POSIX; RT operating systems; real time programming with C,
POSIX - exercises
| programming-concepts.pdf,
programming-languages.pdf
|
| week 7 | class | RT programming - system
construction | introduction to Lego Mindstorms, illustration of
previously studied concepts on the Mindstorms architecture, construction of a
simple real time system with Lego Mindstorms |
lego.pdf |
| week 8 | homework | Easter | - | - |
| week 9 | class | RT verification - formal
verification | introduction to formal verification and model checking,
extended finite state machines (syntax, semantics), examples (mutex,
protocols) |
verification.pdf
|
| week 10 | class | RT verification - timed
automata | timed automata (syntax, semantics, examples), symbolic
semantics, algorithms for verification |
timed-automata.pdf |
| week 11 | lab | RT verification - Uppaal I |
verification with the Uppaal tool, basics, simple
models | uppaal.pdf |
| week 12 | lab | RT verification - Uppaal and protocols
| exercises with the Uppaal tool, mixed with case studies,
communication protocols | |
| week 13 | lab | RT verification - Uppaal and protocols II
(lab) | exercises with the Uppaal tool, mixed with case studies,
communication protocols | |
|