Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2019/2020

Real-time systems

Login to KOS for course enrollment Display time-table
Code Completion Credits Range Language
BI-SRC KZ 4 2P+2C Czech
Lecturer:
Hana Kubátová (guarantor)
Tutor:
Hana Kubátová (guarantor), Jaroslav Borecký
Supervisor:
Department of Digital Design
Synopsis:

Students obtain the basic knowledge in the Real-time theory and in the design methods for RT systems including the dependability issues. Thereticla knowledges from lectures will be experimentally verified on the practical labs of the Department of Digital Design. This subject is mainly based on embedded R-T systems, therefore the used design kits are the same as in BI-VES subject and FPGA.

Requirements:

Basic C programming knowledge necessary.

Syllabus of lectures:

1. Real-time systems properties.

2. Dependability issues.

3. Hard and soft RT- systems.

4. R-T systems models.

5. Schedulers.

6. Static scheduling

7. Priority scheduling

8. Resource access control.

9. R-T Operating systems.

10. Real-time communication.

11. Examples.

12. Programing languages for R-T applications.

13. Fault-tolerant and attack-resistent systems.

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:

LIU, Jane, W.S.: Real-Time Systems. Prentice-Hall, ISBN 0-13-099651-3

Kopetz, H.: Real-Time Systems. Springer, ISBN 978-1-4419-8236-0

Lavagno, L., Martin, G., Selic, B.: UML for Real. Design of Embedded Real-Time Systems. Kluwer Academic Publishers 2003, ISBN 1-4020-7501-4

Note:
Further information:
https://courses.fit.cvut.cz/BI-SRC/
Time-table for winter semester 2019/2020:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Mon
Tue
roomTH:A-942
Kubátová H.
09:15–10:45
(lecture parallel1)
Thákurova 7 (FSv-budova A)
Fri
Thu
roomTH:A-1048
Borecký J.
09:15–10:45
(lecture parallel1
parallel nr.101)

Thákurova 7 (FSv-budova A)
Servitova laborka
roomTH:A-1048
Borecký J.
11:00–12:30
(lecture parallel1
parallel nr.102)

Thákurova 7 (FSv-budova A)
Servitova laborka
Fri
Time-table for summer semester 2019/2020:
Time-table is not available yet
The course is a part of the following study plans:
Data valid to 2019-10-18
For updated information see http://bilakniha.cvut.cz/en/predmet1125706.html