Real-time systems

Course guarantor:

Lecturer:

Tutor:

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/

No time-table has been prepared for this course

The course is a part of the following study plans:

• Bachelor program Informatics, unspecified branch, in Czech, 2015-2020 (VO)
• Bachelor branch Security and Information Technology, in Czech, 2015-2020 (elective course)
• Bachelor branch Computer Science, in Czech, 2015-2020 (elective course)
• Bachelor branch Computer Engineering, in Czech, 2015-2020 (compulsory course of the specialization)
• Bachelor branch Information Systems and Management, in Czech, 2015-2020 (elective course)
• Bachelor branch Web and Software Engineering, spec. Software Engineering, in Czech, 2015-2020 (elective course)
• Bachelor branch Web and Software Engineering, spec. Web Engineering, in Czech, 2015-2020 (elective course)
• Bachelor branch Web and Software Engineering, spec. Computer Graphics, in Czech, 2015-2020 (elective course)
• Bachelor branch Knowledge Engineering, in Czech, 2018-2020 (elective course)