Teorie systémů
Kód | Zakončení | Kredity | Rozsah | Jazyk výuky |
---|---|---|---|---|
MI-TES.1 | ZK | 3 | 2+0 | česky |
- Předmět nesmí být zapsán současně s:
- Teorie systémů (MI-TES)
- Předmět je náhradou za:
- Teorie systémů (MI-TES)
- Přednášející:
- Petr Moos (gar.), Zdeněk Lokaj
- Cvičící:
- Petr Moos (gar.), Zdeněk Lokaj
- Předmět zajišťuje:
- katedra teoretické informatiky
- Anotace:
-
Lidstvo dnes má schopnost konstruovat systémy neuvěřitelné složitosti (např. vlaky, mikroprocesory, letadla). Náklady pro zvládání této složitosti a pro zajištění správného fungování jsou ale stále kritičtější. Důležitá metoda pro zvládání této složitosti je používání modelů, které popisují výhradně ty aspekty daného sytému, které jsou potřeba pro daný úkol. Dalším důležitým prvkem pro snížení nákladů na vývoj je automatizace analýzy takovýchto modelů. Teorie a algoritmy pro modelování a analýzu složitých systémů je obsahem tohoto předmětu.
- Požadavky:
- Osnova přednášek:
-
1. Automatové modely
2. Temporální logika
3. Testování, omezené ověřování modelů
4. Omezené ověřování modelů a Booleovská splnitelnost
5. Neomezené ověřování modelů
6. Datové struktury pro ověřování modelů
7. Petriho sítě
8. Časované automaty
9. Modelování fyzikálního okolí
10. Simulace
11. Pravděpodobnostní modely
- Osnova cvičení:
-
Praktické procvičování aktuálně přednášených témat.
- Cíle studia:
-
Studenti budou mít schopnost používat několik důležitých formalizmů pro modelování složitých systémů. Budou umět techniky pro automatickou analýzu takových modelů.
- Studijní materiály:
-
Edward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach, http://LeeSeshia.org, ISBN 978-0-557-70857-4, 2011.
Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking. MIT Press, 1999.
- Poznámka:
- Rozvrh na zimní semestr 2011/2012:
-
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 Út St Čt Pá - Rozvrh na letní semestr 2011/2012:
- Rozvrh není připraven
- Předmět je součástí následujících studijních plánů:
-
- Společný plán před přiřazením do oboru, verze pro ty, kteří se zapsali v roce 2011 (povinný předmět programu)
- Zaměření Informační systémy a management - verze pro ty, kteří se zapsali v roce 2011 (povinný předmět programu)
- Zaměření Softwarové inženýrství - verze pro ty, kteří se zapsali v roce 2011 (povinný předmět programu)
- Zaměření Webové inženýrství - verze pro ty, kteří se zapsali v roce 2011 (povinný předmět programu)
- Znalostní inženýrství - verze pro ty, kteří se zapsali v roce 2011 (povinný předmět programu)
- Počítačová bezpečnost - verze pro ty, kteří se zapsali v roce 2011 (povinný předmět programu)
- Projektování číslicových systémů - verze pro ty, kteří se zapsali v roce 2011 (povinný předmět programu)
- Počítačové systémy a sítě - verze pro ty, kteří se zapsali v roce 2011 (povinný předmět programu)
- Zaměření Systémové programování - verze pro ty, kteří se zapsali v roce 2011 (povinný předmět programu)
- Zaměření Teoretická informatika - verze pro ty, kteří se zapsali v roce 2011 (povinný předmět programu)