Předmět je základní jednotka výuky, jejímž prostřednictvím si student osvojí ucelenou část souboru znalostí a dovedností, potřebnou pro zvládnutí studijního oboru/specializace. Za věcný obsah předmětu zodpovídá garant předmětu. Časovou náročnost předmětu zhruba vyjadřuje atribut předmětu rozsah kontaktní výuky. Například rozsah = 2+2 značí, že předmět bude mít týdně dvě hodiny přednášek a dvě hodiny cvičení týdně. Na závěr semestru musí vyučující provést vyhodnocení, nakolik si ten který student osvojil poznatky a dovednosti, kterých měl během výuky nabýt. Jakým způsobem toto hodnocení vyučující provedou určuje atribut způsob zakončení. U předmětu lze definovat, že předmět je zakončen pouze zápočtem(Z), klasifikovaným zápočtem(KZ), pouze zkouškou(ZK), nebo zápočtem a zkouškou(Z,ZK). Náročnost úspěšného absolvování předmětu je vyjádřena ECTS kreditními body. Výuka předmětu probíhá během semestru. Opakovaně se předmět vyučuje vždy v zimním(Z), nebo v letním(L) semestru každého akademického roku. Výjimečně může předmět být nabízen studentům v obou semestrech(Z,L). Za organizační zajištění výuky zodpovídá přiřazená katedra, která zejména vytvoří časový rozvrh předmětu a zajistí pro předmět vyučující. Někteří přednáší a zkouší, jiní vedou cvičení a udělují zápočty.
Obsahová náplň a další organizační informace, týkající se předmětu je popsána pomocí různých popisných textů(anotace, týdenní osnova, literatura, apod.)
$DODATEK_POPIS
| BI-SRC.21 | Systémy reálného času | Rozsah kontaktní výuky: | 2P+2C | ||
|---|---|---|---|---|---|
| Vyučující: | Kubátová H. | Způsob zakončení: | Z,ZK | ||
| Zodpovědná katedra: | 18103 | ECTS Kredity: | 5 | Semestr: | Z |
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.
Osnovy 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. |
Osnovy 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. |
Literatura:
| 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. |
Požadavky:
Znalost základů programování v jazyce C.
Předmět je zahrnut do těchto studijních plánů:
| Stránka vytvořena 28. 4. 2024, semestry: Z/2021-2, Z/2022-3, Z/2019-20, L/2022-3, Z/2023-4, L/2019-20, L/2021-2, Z/2020-1, L/2023-4, Z/2024-5, L/2020-1, připomínky k informační náplni zasílejte správci studijních plánů | Návrh a realizace: J. Novák, I. Halaška |