Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2020/2021

Real-time systems

Předmět není vypsán Nerozvrhuje se
Kód Zakončení Kredity Rozsah Jazyk výuky
BIE-SRC.21 Z,ZK 5 2P+2C česky
Přednášející:
Cvičící:
Předmět zajišťuje:
katedra číslicového návrhu
Anotace:

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 department specialized 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 and FPGAs..

Požadavky:

Basic C programming knowledge necessary.

Osnova přednášek:

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.

Osnova cvičení:

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.

Cíle studia:

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.

Studijní materiály:

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

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

Poznámka:

Informace o předmětu a výukové materiály naleznete na https://courses.fit.cvut.cz/BI-SRC/

Další informace:
Pro tento předmět se rozvrh nepřipravuje
Předmět je součástí následujících studijních plánů:
Platnost dat k 18. 1. 2021
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet6583806.html