Embebbed Real-Time Systems

Code:

PDEEC0078

Acronym:

SETR

Keywords
Classification	Keyword
OFICIAL	Electrical and Computer Engineering

Instance: 2018/2019 - 1S

Active?	Yes
Responsible unit:	Department of Electrical and Computer Engineering
Course/CS Responsible:	Doctoral Program in Electrical and Computer Engineering

Cycles of Study/Courses

Acronym	No. of Students	Study Plan	Curricular Years	Credits UCN	Credits ECTS	Contact hours	Total Time
PDEEC	13	Syllabus	1	-	7,5	70	202,5

Teaching language

English

Objectives

The objective of this course is to provide in-depth knowledge of the state of the art
in the areas of Real-Time Scheduling and Real-Time Operating Systems (RTOSs),
after a brief introduction to Specification and Modeling of Real-Time Systems.

The competences to be acquired by the students are:
- Ability to search for related information in the field of Real-Time Systems scientific research
- Understanding of the specific features of RTOSs and capacity to classify them
- Ability to identify the situations in which RTOSs are particularly useful
- Capacity to relate and use the most common tools for specification and modeling of RT systems
- Ability to select adequate RT scheduling criteria and apply the associated timing analysis

The expected results are that the students acquire the competences
referred above and become capable of identifying open research issues in
the current state of the art in RTS research.

Learning outcomes and competences

Expected results, capacity to:

- derive timing constraints

- model applications with timed concurrent tasks

- apply real-time analytical techniques

- select and use real-time operating systems

 

Working method

Presencial

Pre-requirements (prior knowledge) and co-requirements (common knowledge)

basic concepts of multi-tasking operating systems

Program

1- Introduction to Real-Time Embedded Systems

2- Real-time scheduling
2.1- The recurrent task model and constraints
2.2- Periodic task scheduling
2.3- Accessing shared resources
2.4- Aperiodic task scheduling
** Primary textbooks
- Buttazzo, G., “Hard RealTime Computing Systems: Predictable Scheduling Algorithms and Applications”,2nd Ed., Springer, 2004

3- Real-time operating systems
3.1- OS/RTOS basics
3.2- Approaches
3.3- Inter process communication
3.4- Concurrency
3.5- Memory management
3.6- Multiprocessor issues
** Primary textbooks
- Modern Operating Systems (3rd Edition) Andrew Tannenbaum, Prentice Hall.

4- Brief Overview of Formal Specification and Modeling
** Primary textbooks/literature
- http://www.uppaal.com/
- Rajeev Alur, David L. Dill: A Theory of Timed Automata. Theor. Comput. Sci. 126(2): 183-235 (1994)

Mandatory literature

Giorgio C. Buttazzo; Hard real-time computing systems. ISBN: 0-387-23137-4
Andrew S. Tanenbaum; Modern operating systems. ISBN: 0-13-813459-6

Teaching methods and learning activities

The course will be essentially based on lecturing plus seminars in which the students will be asked to search for recent research papers in given topics and present them to the class. The lectures will follow an interactive style.

keywords

Technological sciences > Technology > Computer technology > Software technology
Technological sciences > Engineering > Computer engineering

Evaluation Type

Distributed evaluation without final exam

Assessment Components

Designation	Weight (%)
Participação presencial	10,00
Prova oral	30,00
Trabalho escrito	60,00
Total:	100,00

Eligibility for exams

The students need to attend at least 8 course sessions to be evaluated.

Calculation formula of final grade

Two written critiques of two recent research papers (2*30%), oral presentation of another paper (30%), participationin discussion (10%).

The criteria for evaluation of each fo these components are:

Oral presentations
- Logical flow, slide quality, general verbal presentation,
analytical depth and breadth of review content
Written critiques
- summary, contribution, strong / weak aspects

Examinations or Special Assignments

none

Internship work/project

none

Special assessment (TE, DA, ...)

NA

Classification improvement

The final grade can be improved applying for a special exam "Recurso" that covers all the course contents and delivering a presentation on a proposed topic, equivalent to those carried out in the seminars.