Real-time systems

Login to KOS for course enrollment Display time-table
Code Completion Credits Range Language
BI-SRC.21 Z,ZK 5 2P+2C Czech
Garant předmětu:
Hana Kubátová
Hana Kubátová
Jaroslav Borecký, Hana Kubátová
Department of Digital Design

Students obtain the basic knowledge in the real-time (RT) system theory and in the design methods for RT systems including the dependability issues. Theoretical knowledge from lectures will be experimentally verified in computer labs. The course is mainly focused on embedded RT systems, therefore the design kits in the lab are the same as in the BIE-VES course.


Basic C-language programming principles knowledge.

Syllabus of lectures:

1. Real-time (RT) systems properties.

2. Classification of real time systems, „hard“ and „soft“ RT systems.

3. RT systems models.

4. Dependability issues, faults in digital systems, testing.

5. Process (task) scheduling.

6. Static scheduling.

7. Dynamic scheduling.

8. Priority scheduling, dependent tasks, resource access control.

9. RT operating systems.

10. RT communication.

11. Examples, fault-tolerant and attack-resistant system design.

12. Programming languages for RT applications.

13. Verification.

Syllabus of tutorials:

1. Demo example, PIC24F structure.

2. Dependability models and computations.

3. Task 1. Instruction and implementation on PIC24F.

4. Presentation of task 1. Task 2 instructions.

5. R-T models.

6, Test 1. Presentation of task 2 implementation.

7. Task 3. Instruction and methods to solve it.

8. Realization of task 3.

9. Multitask 4. Instruction and methods to solve it.

10. Task 4 solving.

11. Presentation of task 4 implementation.

12. Final test.

13. Assessment.

Study Objective:

The main aim of this subject is to cover basic knowledges from the real-time system area and to show their practical implementation for embedded applications.

Study materials:

1. Liu J. W.S. : Real-Time Systems. Prentice-Hall, 2000. ISBN 9780130996510.

2. Kopetz H. : Real-Time Systems. Design Principles for Distributed Embedded Applications. Springer, 2011. ISBN 978-1-4419-8237-7.

3. Lee E. A., Seshia S. A. : Introduction to Embedded Systems A Cyber-Physical Systems Approach (2nd Edition). MIT Press, 2017. ISBN 9780262533812.

Further information:
Time-table for winter semester 2024/2025:
Time-table is not available yet
Time-table for summer semester 2024/2025:
Time-table is not available yet
The course is a part of the following study plans:
Data valid to 2024-06-16
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet6575806.html