Systémy reálného času

Garant předmětu:

Hana Kubátová

Přednášející:

Hana Kubátová, Jiří Vyskočil

Cvičící:

Jaroslav Borecký, Hana Kubátová

Předmět zajišťuje:

katedra číslicového návrhu

Anotace:

Studenti se seznámí s teorií systémů pracujících v reálném čase (SRČ) a s prostředky pro návrh takových systémů. Předmět je zaměřen na návrh vestavných SRČ , proto se předmět zabývá i problematikou spolehlivosti, jejího zjišťování a zvyšování. Teoretické znalosti získané na přednáškách budou experimentálně ověřovány na praktických úlohách v laboratoři, kde se používají stejné přípravky jako v laboratořích předmětu BI-VES.

Požadavky:

Znalost základů programování v jazyce C.

Osnova přednášek:

1. Charakteristika systémů reálného času (SRČ).

2. Klasifikace systémů reálného času, „Hard a soft“ SRČ .

3. Modely SRČ.

4. Spolehlivost, poruchy v číslicových systémech, testování.

5. Plánování procesů (úloh) v SRČ.

6. Statické plánování.

7. Dynamické plánování.

8. Plánování podle priorit, závislé úlohy, řízení přístupu ke zdrojům.

9. Operační systémy pro SRČ.

10. Komunikace v reálném čase.

11. Příklady SRČ, návrh systémů odolných proti poruchám a útokům.

12. Programovací jazyky SRČ.

13. Verifikace.

Osnova cvičení:

1. Demonstrační příklad, struktura PIC24F.

2. Spolehlivost - výpočty, modely

3. Zadání úlohy 1 a její řešení na PIC24F.

4. Realizace a předvedení úlohy 1, zadání úlohy 2.

5. Modely R-T systémů.

6. Test 1. Realizace a předvedení úlohy 2.

7. Zadání úlohy 3 a návody pro řešení.

8. Řešení úlohy 3.

9. Zadání skupinové úlohy 4 a návody pro řešení.

10. Práce na úloze 4.

11. Kontrola řešení úlohy 4.

12. Závěrečný test.

13. Zápočet.

Cíle studia:

Cílem předmětu je poskytnout studentům základní znalosti z oblasti systémů reálného času se zaměřením na vestavné systémy a ukázat možnosti pro jejich praktickou realizaci.

Studijní materiály:

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.

Poznámka:

Další informace:

https://courses.fit.cvut.cz/BI-SRC/

Rozvrh na zimní semestr 2024/2025:

	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
Po	místnost TH:A-1242 Kubátová H. Vyskočil J. 14:30–16:00 (přednášková par. 1) Thákurova 7 (budova FSv)
Út
St
Čt	místnost TH:A-1048 Borecký J. 16:15–17:45 (přednášková par. 1 paralelka 101) Thákurova 7 (budova FSv) Servitova laborka
Pá	místnost TH:A-1048 Borecký J. 09:15–10:45 (přednášková par. 1 paralelka 102) Thákurova 7 (budova FSv) Servitova laborka

Rozvrh na letní semestr 2024/2025:

Rozvrh není připraven

Předmět je součástí následujících studijních plánů:

• Bc. specializace Informační bezpečnost, 2021 (volitelný předmět)
• Bc. specializace Manažerská informatika, 2021 (volitelný předmět)
• Bc. specializace Počítačová grafika, 2021 (volitelný předmět)
• Bc. specializace Počítačové inženýrství, 2021 (PS)
• Bc. program, pro fázi studia bez specializace, 2021 (VO)
• Bc. specializace Webové inženýrství, 2021 (volitelný předmět)
• Bc. specializace Umělá inteligence, 2021 (volitelný předmět)
• Bc. specializace Teoretická informatika, 2021 (volitelný předmět)
• Bc. specializace Softwarové inženýrství, 2021 (volitelný předmět)
• Bc. specializace Počítačové systémy a virtualizace, 2021 (volitelný předmět)
• Bc. specializace Počítačové sítě a Internet, 2021 (volitelný předmět)
• Bc. specializace Informační bezpečnost, 2024 (volitelný předmět)
• Bc. program, pro fázi studia bez specializace, 2024 (VO)
• Bc. specializace Manažerská informatika, 2024 (volitelný předmět)
• Bc. specializace Počítačová grafika, 2024 (volitelný předmět)
• Bc. specializace Softwarové inženýrství, 2024 (volitelný předmět)
• Bc. specializace Webové inženýrství, 2024 (volitelný předmět)
• Bc. specializace Počítačové sítě a Internet, 2024 (volitelný předmět)
• Bc. specializace Počítačové inženýrství, 2024 (PS)
• Bc. specializace Počítačové systémy a virtualizace, 2024 (volitelný předmět)
• Bc. specializace Umělá inteligence, 2024 (volitelný předmět)
• Bc. specializace Teoretická informatika, 2024 (volitelný předmět)