1. | | Principy operačních systémů pro řízení v reálném čase. |
2. | | Struktura operačních systémů pro řízení v reálném čase, příklady. |
3. | | Strukturovaný návrh řídicího systému pomocí SADT (System Analysis Design Technique). |
4. | | Koncepce návrhu systémů pomocí SART (SADT for Real-Time). |
5. | | Návrh řídicího systému pomocí SART. |
6. | | Komunikace jako integrální součást řídicího systému. Její vlastnosti v reálném čase. |
7. | | Analýza proveditelnosti řídicího algoritmu metodou RMA (Rate Monotonic Analysis). |
8. | | Modelování systémů reálného času. |
9. | | Principy verifikace systémů. |
10. | | Verifikace systémů pomocí konečných automatů. |
11. | | Postup při realizaci projektů (fáze záměru, specifikace, realizace, testování). |
12. | | Příklady návrhu systémů pro řízení pracovních mechanismů. |
13. | | Příklady návrhu systémů pro řízení pro řízení chemických procesů. |
14. | | Příklady návrhu systémů pro řízení systémů v energetice. |
1. | | Zakládání procesů, priority pod operačním systémem reálného času. |
2. | | Plánovač. |
3. | | Semafory. |
4. | | Fronty. |
5. | | Jádro OS reálného času. |
6. | | Modifikace jádra OS reálného času. |
7. | | Zadání a realizace projektu pomocí SART. |
8. | | Konzultace k projektu SART. |
9. | | Analýza pomocí RMA. |
10. | | Zadání projektu verifikace navrženého řídicího systému. |
11. | | Konzultace k projektu verifikace. |
12. | | Měření komunikačních parametrů systému. |
13. | | Vliv vlastností jednotlivých částí řídicího systému na jeho celkový výkon. |
14. | | Metody pro zvýšení celkového výkonu řídicího systému, zápočet. |