Real Time Systems
Objectives
1) Knowledge: a) Fundamental concepts of real time systems and concurrent programming. b) Design and analysis of discret embedded systems.
2) Know how: a) Real time and embedded systems modeling capacity. b) Concurrent systems programming and physical systems interfacing capacity. c) Show creativity regarding real time and distributed systems cases.
3) Transferrable skills: a) Team work capacity. b) Time management and deadlines fulfillment capacity.
General characterization
Code
3753
Credits
6.0
Responsible teacher
Filipa Alexandra Moreira Ferrada, Luís Manuel Camarinha de Matos
Hours
Weekly - 4
Total - 65
Teaching language
Português
Prerequisites
Basic programming skills.
Bibliography
Real Time Systems – summary of lectures (Course handouts)
Selected papers.
Teaching method
Theoretical-Practical Component: Formal lectures with the presentation of material and the completion of exercises.
Practical Component: Development of lab assignments, with support by teaching staff.
Evaluation method
The evaluation is composed of:
-
Theoretical Component:
- Completion of 2 tests
- Theoretical Grade (NT) = 0.5*T1 + 0.5*T2
- NT must be ≥ 9.5
-
Practical Component:
- Completion of 3 practical assignments
- Practical Grade (NP) = p1*TP1 + p2*TP2 + p3*TP3
- The weights (p1, p2, p3) are indicated at the beginning of the course
- Submission of all practical assignments is mandatory
- NP must be ≥ 9.5
-
Final Grade (NF) = 0.6*NT + 0.4*NP
Subject matter
Base concepts and motivation: processes, events, concurrency, synchronization, exclusivity, comunication. Examples of real time systems.
Support mechanisms: semaphores, mailboxes, ports, remote procedure calls, etc..
Kernels and embedded systems.
Modeling and analysis of concurrent systems.
Petri nets: base concepts, methods of analysis, types of networks - "normal", with capacities and weights, limited, with inhibit arc, timed , colored, continuous and hybrid.
Concurrent programming languages.
Introduction to PLCs.
Applications to the control of discrete event systems.