|OFICIAL||Electrical and Computer Engineering|
|Responsible unit:||Department of Electrical and Computer Engineering|
|Course/CS Responsible:||Doctoral Program in Electrical and Computer Engineering|
|Acronym||No. of Students||Study Plan||Curricular Years||Credits UCN||Credits ECTS||Contact hours||Total Time|
|PDEEC||5||Syllabus since 2015/16||1||-||7,5||70||202,5|
|Luis Miguel Pinho de Almeida|
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.
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
basic concepts of multi-tasking operating systems
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.3- Inter process communication
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
- Rajeev Alur, David L. Dill: A Theory of Timed Automata. Theor. Comput. Sci. 126(2): 183-235 (1994)
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.
The students need to attend at least 8 course sessions to be evaluated.
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:
- Logical flow, slide quality, general verbal presentation,
analytical depth and breadth of review content
- summary, contribution, strong / weak aspects
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.