Go to:
Logótipo
Esta página em português Ajuda Autenticar-se
Acesso de teste: Harvard Business Publishing Collection
You are here: Start > PDEEC0078
Authentication




Site map
Edifício A (Administração) Edifício B (Aulas) - Bloco I Edifício B (Aulas) - Bloco II Edifício B (Aulas) - Bloco III Edifício B (Aulas) - Bloco IV Edifício C (Biblioteca) Edifício D (CICA) Edifício E (Química) Edifício F (Minas e Metalurgia) Edifício F (Minas e Metalurgia) Edifício G (Civil) Edifício H (Civil) Edifício I (Electrotecnia) Edifício J (Electrotecnia) Edifício K (Pavilhão FCNAUP) Edifício L (Mecânica) Edifício M (Mecânica) Edifício N (Garagem) Edifício O (Cafetaria) Edifício P (Cantina) Edifício Q (Central de Gases) Edifício R (Laboratório de Engenharia do Ambiente) Edifício S (INESC) Edifício T (Torre do INEGI) Edifício U (Nave do INEGI) Edifício X (Associação de Estudantes)

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 12 Syllabus since 2015/16 1 - 7,5 70 202,5

Teaching Staff - Responsibilities

Teacher Responsibility
Luis Miguel Pinho de Almeida

Teaching - Hours

Recitations: 3,00
Tutorial Supervision: 2,00
Type Teacher Classes Hour
Recitations Totals 1 3,00
Luis Miguel Pinho de Almeida 1,50
Mário Jorge Rodrigues de Sousa 1,50
Tutorial Supervision Totals 1 2,00
Luis Miguel Pinho de Almeida 1,00
Mário Jorge Rodrigues de Sousa 1,00

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.

Recommend this page Top
Copyright 1996-2019 © Faculdade de Engenharia da Universidade do Porto  I Terms and Conditions  I Accessibility  I Index A-Z  I Guest Book
Page generated on: 2019-03-22 at 21:17:58