angličtina

Všech fakult

Znalost základních principů z oblasti informačních technologií. Pokročilé počítačové dovednosti a schopnosti, středně pokročilé komunikační a samostudijní dovednosti v anglickém jazyce, základní schopnosti v oblasti abstraktního, analytického, logického a kritického myšlení, základní schopnosti pro řešení problémů, základní dovednosti v oblasti programování.

Představit a prověřit pojmy, principy, metody, nástroje a problémy související s vývojem systémů pracujících v reálném čase, od jejich specifikací po jejich nasazení v praxi. Poskytnout studentům teoretické základy a umožnit jim vypořádat se s praktickými inženýrskými problémy z oblasti vývoje systémů pracujících v reálném čase. Podpořit vyučovaná témata případovými studiemi z reálného světa, motivovat studenty k porozumění příčinám problémů a k diskuzi jejich řešení. Vybavit studenty znalostmi, schopnostmi a dovednostmi k vývoji systémů pracujících v reálném čase a umožnit studentům uplatnit nabyté znalosti v rámci specializovaných cvičení a témat projektů.
Studenti získají obecný přehled z oblastí systémů pracujících v reálném čase, jejich vývoje a rozšíření konvenčních, typicky nečasovaných, vývojových prostředků. Studenti budou schopni specifikovat požadavky kladené na systém pracující v reálném čase, modelovat takový systém a ověřit jeho vlastnosti, zkonstruovat systém reálného času vhodnými prostředky (hardware, operační systém atd.) a otestovat jej v provozních podmínkách. Studenti porozumí principům a složitosti vývoje (číslicového) systému splňujícího omezení kladené na (spojitý) reálný čas.
Studenti budou schopni vypořádat se s vývojovým cyklem skutečných, obvykle skrytých vestavných kyber-fyzikálních, systémů (např. pro řízení motoru či ABS v automobilu, řízení silničních a železničních uzlů a přejezdů či řízení autonomních, adaptivních, kooperativních a/nebo kolaborativních systémů), s nimiž se mohou setkat ve svém každodenním životě. Studenti propojí, prohloubí a rozšíří své znalosti, schopnosti a dovednosti nabyté v jiných, typicky izolovaných, oblastech informačních technologií (např. modelování a analýza, hardware, software, spolehlivost, operační systémy a jazyky) a budou schopni vidět tyto oblasti z nových hledisek.

Alur, R.: Principles of Cyber-Physical Systems. MIT Press, 2015. 446 p., ISBN 978-0-262-02911-7.
Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, 2008, 975 p., ISBN 978-0-262-02649-9.
Butazzo, G.: Hard Real-Time Computing Systems, Predictable Scheduling Algorithms and Applications. Springer, 2011, 524 p., ISBN 978-1-4614-0675-4.
Cottet, F., Delacroix, J., Kaiser, C., Mammeri, Z.: Scheduling in Real-Time Systems. John Wiley & Sons, 2002, 266 p., ISBN 0-470-84766-2.
Cheng, A. M. K.: Real-Time Systems: Scheduling, Analysis, and Verification. Wiley, 2002, 552 p., ISBN 0-471-18406-3.
Kopetz, H.: Real-Time Systems, Design Principles for Distributed Embedded Applications. Springer, 2011, 378 p., ISBN 978-1-4419-8236-0.
Laplante, P. A.: Real-Time Systems Design and Analysis. Wiley-IEEE Press, 2004, 528 p., ISBN 0-471-22855-9.

Behrmann G., David A., Larsen K.G.: A Tutorial on Uppaal. In: Lecture Notes in Computer Science, vol 3185. Springer, Berlin, Heidelberg. SFM-RT, pp. 397-415, 2004. ISBN 978-3-540-23068-7.
Butazzo, G.: Hard Real-Time Computing Systems, Predictable Scheduling Algorithms and Applications. Springer, 2011, 524 p., ISBN 978-1-4614-0675-4.
David, A., Larsen, K.G., Legay, A. et al. Uppaal SMC Tutorial: In International Journal on Software Tools for Technology Transfer, 2015, Vol. 17, pp. 397-415. ISSN 1433-2787.
Lecture slides/notes available electronically - přednáškové materiály dostupné v elektronické podobě.
Olderog, E.-R., Dierks, H.: Real-Time Systems Formal Specification and Automatic Verification. Cambridge University Press, 2008, 344 p., ISBN 978-0521883337.

Wang, J.: Real-Time Embedded Systems. John Wiley & Sons, 2017, 310 p., ISBN 978-1118116173.
Williams, R.: Real-Time Systems Development. Butterworth-Heinemann, 2006, 320 p., ISBN 978-0-7506-6471-4.