Teorie systémů

Garant předmětu:

Stefan Ratschan

Přednášející:

Stefan Ratschan

Cvičící:

Tomáš Kolárik, Stefan Ratschan

Předmět zajišťuje:

katedra číslicového návrhu

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.

Předmět je ekvivalentní s MI-TES

Požadavky:

Bez požadavků.

Osnova přednášek:

1. Úvod do teorie systémů.

2. Logické základy.

3. Systémy a automaty.

4. Interagující systémové komponenty.

5. Temporální logika.

6. Testování, omezené ověřování modelů.

7. Omezené ověřování modelů a Booleovská splnitelnost.

8. Neomezené ověřování modelů.

9. Petriho sítě.

10. Časované automaty.

11. Modelování fyzikálního okolí.

12. Pravděpodobnostní modely.

13. Simulace a řízení modelů systémů.

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:

1. Lee, E. A. - Seshia, S. A. : Introduction to Embedded Systems, A Cyber-Physical Systems Approach (2nd

Edition). MIT Press, 2017. ISBN 978-0-262-53381-2.

2. Clarke, E. M. - Henzinger, Th.A. - Veith, H. - Bloem, R. (Eds.) : Handbook of Model Checking. Springer,

2018. ISBN 978-3-319-10574-1.

3. Alur, R. : Principles of Cyber-Physical Systems. MIT Press, 2015. ISBN 978-0-262-02911-7.

Poznámka:

Předmět je ekvivalentní s MI-TES // Informace o předmětu a výukové materiály naleznete na https://moodle-vyuka.cvut.cz/course/view.php?id=2215

Další informace:

https://moodle-vyuka.cvut.cz/course/view.php?id=2215

Rozvrh na zimní semestr 2023/2024:

	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	místnost T9:347 Ratschan S. 12:45–14:15 (přednášková par. 1) Dejvice NBFIT učebnamístnost T9:301 Kolárik T. 16:15–17:45 LICHÝ TÝDEN (přednášková par. 1 paralelka 101) Dejvice NBFIT učebna
Čt
Pá

Rozvrh na letní semestr 2023/2024:

Rozvrh není připraven

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

• Mgr. specializace Počítačová bezpečnost, 2020 (volitelný předmět)
• Mgr. specializace Návrh a programování vestavných systémů, 2020 (PS)
• Mgr. specializace Počítačové systémy a sítě, 2020 (volitelný předmět)
• Mgr. specializace Manažerská informatika, 2020 (volitelný předmět)
• Mgr. specializace Softwarové inženýrství, 2020 (volitelný předmět)
• Mgr. specializace Systémové programování, verze od 2020 (volitelný předmět)
• Mgr. specializace Webové inženýrství, 2020 (volitelný předmět)
• Mgr. specializace Znalostní inženýrství, 2020 (volitelný předmět)
• Mgr. specializace Teoretická informatika, 2020 (volitelný předmět)
• Mgr. program, pro fázi studia bez specializace, ver. pro roky 2020 a vyšší (PS, VO)
• Master Specialization Digital Business Engineering, 2023 (VO)
• Mgr. specializace Systémové programování, verze od 2023 (volitelný předmět)
• Mgr. specializace Teoretická informatika, 2023 (volitelný předmět)