Detail předmětu
Real-time operační systémy
ROS Ak. rok 2007/2008 zimní semestr 5 kreditů
Studie konceptů, technik a standardů pro vestavěné operační systémy včetně vestavěných operačních systémů reálného času. Předmět pokrývá následující problematiku: Základní koncepty reálného času. Specifikace a návrh systémů reálného času. Jádra. Komunikace a synchronizace. Správa paměti. Analýza a optimalizace výkonnosti. Fronty. Spolehlivost a odolnost proti poruchám. Multiprocesorové systémy. Integrace hardware a software. Studie operačních systémů Windows CE a RT-Linux.
Garant předmětu
Jazyk výuky
Zakončení
Rozsah
- 26 hod. přednášky
- 10 hod. pc laboratoře
- 16 hod. projekty
Zajišťuje ústav
Získané dovednosti, znalosti a kompetence z předmětu
Teoretický základ a praktická znalost operačních systémů pracujících v reálném čase. Po absolvování předmětu studenti budou schopni využít víceúlohové možnosti real-time operačních systémů, porozumí základním principům z oblasti real-time systémů, seznámí se s vlastnostmi, strukturou a konkrétními implementacemi těchto systémů a s faktory, které mají podstatný vliv na vlastnosti těchto systémů.
Pokročilá znalost operačních systémů pro práci v reálném čase.
Cíle předmětu
Cílem předmětu je seznámit studenta se základními principy v oblasti real-time operačních systémů a obohatit studenta o teoretické znalosti a praktické zkušenosti s aplikacemi operačních systémů reálného času v oblasti vestavěných systémů.
Požadované prerekvizitní znalosti a dovednosti
Znalost principů operačních systémů (OS): přehled architektur OS, klasifikace OS, znalost struktury jádra OS UNIX a principů volání služeb jádra, shell. Pojmy přepínání kontextu, multitasking. Souborové systémy, správa procesů, virtuální paměť. Znalost programování v jazyce C.
Literatura studijní
-
Cottet, F., Delacroix, J., Kaiser, C., Mammeri, Z.: Scheduling in Real-Time Systems. John Wiley & Sons, 2002, 266 s., ISBN 0-470-84766-2.
- Labrosse, J. J.: MicroC OS II: The Real Time Kernel. Newnes, 2nd ed., 2002, 648 s., ISBN 978-1578201037.
- Laplante, P. A.: Real-Time Systems Design and Analysis. Wiley-IEEE Press, 2004, 528 s., ISBN 0-471-22855-9.
- Strnadel, J.: Studijní opora k předmětu ROS. FIT VUT v Brně, Brno, 2006, 120 s.
- Strnadel, J.: Návrh časově kritických systémů I: specifikace a verifikace, Automa, roč. 2010, č. 10, CZ, s. 42-44, ISSN 1210-9592
- Strnadel, J.: Návrh časově kritických systémů II: úlohy reálného času, Automa, roč. 2010, č. 12, CZ, s. 18-19, ISSN 1210-9592
- Strnadel, J.: Návrh časově kritických systémů III: priorita úloh, Automa, roč. 2011, č. 2, CZ, s. 50-52, ISSN 1210-9592
- Strnadel, J.: Návrh časově kritických systémů IV: realizace prostředky RTOS, Automa, roč. 2011, č. 4, CZ, s. 58-60, ISSN 1210-9592
- Strnadel, J.: Plánování úloh v systémech RT - I: závislé úlohy, Automa, roč. 18, č. 10, 2012, CZ, s. 42-45, ISSN 1210-9592
- Strnadel, J.: Plánování úloh v systémech RT - II: neperiodické úlohy, Automa, roč. 18, č. 11, 2012, CZ, s. 44-46, ISSN 1210-9592
- Strnadel, J.: Plánování úloh v systémech RT - III: přetížení systému, Automa, roč. 18, č. 12, 2012, CZ, s. 44-47, ISSN 1210-9592
- Strnadel, J.: Plánování úloh v systémech RT - IV: víceprocesorové prostředí, Automa, roč. 19, č. 1, 2013, CZ, s. 44-46, ISSN 1210-9592
- Strnadel, J.: Plánování úloh v systémech RT - V: zvyšování provozuschopnosti systémů, Automa, roč. 19, č. 2, 2013, CZ, s. 46-49, ISSN 1210-9592
Literatura referenční
- Cheng, A. M. K.: Real-Time Systems: Scheduling, Analysis, and Verification. Wiley, 2002, 552 s., ISBN 0-471-18406-3.
-
Cottet, F., Delacroix, J., Kaiser, C., Mammeri, Z.: Scheduling in Real-Time Systems. John Wiley & Sons, 2002, 266 s., ISBN 0-470-84766-2.
- Horovčák, P.: Systémy reálneho času. Elfa, Košice, 2002, 141 s., ISBN 80-89066-29-1 (brož.).
- Joseph, M.: Real-Time Systems Specification, Verification and Analysis. Prentice Hall, 1996, 278 s., ISBN 0-13-455297-0.
- Krishna, C. M., Shin, K. G.: Real-Time Systems. McGraw-Hill, 1997, 448 s., ISBN 0-07-114243-6.
- Labrosse, J. J.: MicroC OS II: The Real Time Kernel. Newnes, 2nd ed., 2002, 648 s., ISBN 978-1578201037.
- Laplante, P. A.: Real-Time Systems Design and Analysis. Wiley-IEEE Press, 2004, 528 s., ISBN 0-471-22855-9.
- Levi, S. T., Agrawala, A. K.: Real-Time System Design. McGraw-Hill, 1990, 299 s., ISBN 0-07037-491-0.
- Li, Q., Yao, C.: Real-Time Concepts for Embedded Systems. CMP Books, 1st Edition, 2003, 294 s., ISBN 1-57820-124-1.
- Srovnal, V.: Operační systémy pro řízení v reálném čase. VŠB TU, Ostrava, 1. vydání, 2003, 218 s., ISBN 80-248-0503-0 (brož.).
- Strnadel, J.: Studijní opora k předmětu ROS. FIT VUT v Brně, Brno, 2006, 120 s.
Osnova přednášek
- Úvod do konceptů, technik a standardů pro vestavěné operační systémy.
- Vestavěné operační systémy reálného času.
- Základní koncepty reálného času.
- Specifikace a návrh systémů reálného času.
- Jádra.
- Komunikace a synchronizace.
- Správa paměti.
- Analýza a optimalizace výkonnosti.
- Fronty.
- Spolehlivost a odolnost proti poruchám.
- Multiprocesorové systémy.
- Integrace hardware a software.
- Případové studie: Windows CE, RT-Linux.
Osnova počítačových cvičení
- Kompilátor, linker, make, konvence volání procedur.
- Programování aplikací pracujících v reálném čase.
- Multitasking a plánovací algoritmy.
- Příklad systému s RTOS pracujícího v reálném čase.
Průběžná kontrola studia
Hodnocení studia je založeno na bodovacím systému. Pro úspěšné absolvování předmětu je nutno dosáhnout 50 bodů.
Kontrolovaná výuka
Vypracování projektu, protokolu z počítačových laboratorních úloh, polosemestrální písemná zkouška.