Real Time Systems
Code
3753
Academic unit
Faculdade de Ciências e Tecnologia
Department
Departamento de Engenharia Electrotécnica
Credits
6.0
Teacher in charge
Luís Manuel Camarinha de Matos
Weekly hours
5
Total hours
79
Teaching language
Português
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.
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.
Bibliography
Real Time Systems – summary of lectures (Course handouts)
Selected papers.
Teaching method
Theoretical part: Formal lectures.
Practical component: Development of lab assignments, with support by teaching staff.
Evaluation method
Mini-tests:
- MT1: 6 Nov (30%)
- MT2: 2 Dec (30%)
Lab works (in group):
- TG1: 13 Oct (15%)
- TG2: 17 Nov (15%)
- TG3: 8 Dec (10%)