Claim up to $1,250 in flight credits!
Get up to $1,250 in flight credits or grants toward study or internship programs abroad when you apply by June 30, 2026. See our Official Rules for full details.
Real Time Systems
Engineering & Social Sciences Program
Madrid, Spain
Dates: 8/28/22 - 12/23/22
Real Time Systems
OVERVIEW
CEA CAPA Partner Institution: Universidad Carlos III de Madrid
Location: Madrid, Spain
Primary Subject Area: Biomedical Engineering
Instruction in: English
Course Code: 15762
Transcript Source: Partner Institution
Course Details: Level 400
Recommended Semester Credits: 3
Contact Hours: 42
Prerequisites: Operating Systems Design, Computer Architecture
DESCRIPTION
1. Introduction to real-time and embedded systems.
- Definition of control systems, real-time systems and embedded systems.
- Classification of real-time systems.
- Formalization of temporal requirements.
2. Real-time and embedded systems.
- Hardware architectures for embedded systems .
- Software frameworks for real-time and embedded systems.
- Real-time and embedded operating systems.
- Design of embedded architectures using microprocessors.
- Design of real-time and embedded systems.
3. Cyclic task scheduling.
- Cyclic systems and multitasking systems.
- Simple task model.
- Design of cyclic task schedulers.
4. Priority-based task scheduling.
- Design of Priority-based task schedulers.
- Priority inheritance protocol.
- Priority ceiling protocol.
- POSIX extensions for Priority-based task scheduling.
5. Dynamic task scheduling and quality of service.
- Soft real-time systems and multimedia systems.
- Resources management and quality of service.
- Dynamic resource scheduling.
6.- Certification and model-based development
- Certification standards (Ej: ECSS, DO-178C)
- Model-based development methodology.
7.- Control systems overview
- Definition of control systems, real-time systems and embedded systems.
- Classification of real-time systems.
- Formalization of temporal requirements.
2. Real-time and embedded systems.
- Hardware architectures for embedded systems .
- Software frameworks for real-time and embedded systems.
- Real-time and embedded operating systems.
- Design of embedded architectures using microprocessors.
- Design of real-time and embedded systems.
3. Cyclic task scheduling.
- Cyclic systems and multitasking systems.
- Simple task model.
- Design of cyclic task schedulers.
4. Priority-based task scheduling.
- Design of Priority-based task schedulers.
- Priority inheritance protocol.
- Priority ceiling protocol.
- POSIX extensions for Priority-based task scheduling.
5. Dynamic task scheduling and quality of service.
- Soft real-time systems and multimedia systems.
- Resources management and quality of service.
- Dynamic resource scheduling.
6.- Certification and model-based development
- Certification standards (Ej: ECSS, DO-178C)
- Model-based development methodology.
7.- Control systems overview