FI:IA158 Real Time Systems - Informace o předmětu
IA158 Real Time Systems
Fakulta informatikyjaro 2010
- Rozsah
- 2/0. 2 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- doc. Mgr. Radek Pelánek, Ph.D. (přednášející)
- Garance
- prof. Ing. Václav Přenosil, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky - Rozvrh
- Čt 12:00–13:50 B130, Čt 12:00–13:50 C511
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 24 stud.
Momentální stav registrace a zápisu: zapsáno: 0/24, pouze zareg.: 0/24, pouze zareg. s předností (mateřské obory): 0/24 - Mateřské obory/plány
- předmět má 18 mateřských oborů, zobrazit
- Cíle předmětu
- At the end of the course students should: know specific aspects of real time systems; understand main problems of the design of real time systems and know some solutions; be able to use formal reasoning about real time systems; have a practical experience with a real time system.
- Osnova
- Real time aspects of embedded systems; examples of real time systems. Soft and hard real time systems.
- Real time scheduling: aperiodic tasks, periodic tasks, priority-driven scheduling, resource access control.
- Real time programming, real time operating systems, POSIX.
- Lego Mindstorms project.
- Verification of real time systems: timed automata, timed logics, verification with the Uppaal tool, case studies.
- Literatura
- J.W.S. Liu: Real-Time Systems. Prentice-Hall, 2000
- ACETO, Luca, Anna INGOLFSDOTTIR, Kim Guldstrand LARSEN a Jiří SRBA. Reactive Systems: Modelling, Specification and Verification. 1. vyd. Cambridge, UK: Cambridge University Press, 2007, 300 s. Cambridge University Press. ISBN 978-0-521-87546-2. URL info
- Výukové metody
- lectures, lab sessions, team project (Lego Mindstorms)
- Metody hodnocení
- 50% written exam, 50% homework exercises and projects
- Vyučovací jazyk
- Angličtina
- Informace učitele
- http://www.fi.muni.cz/~xpelanek/IA158/
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
- Statistika zápisu (jaro 2010, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2010/IA158