FI:IA158 Real Time Systems - Informace o předmětu

IA158 Real Time Systems

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
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky

Rozvrh

Po 8:00–9:50 B130, Po 8:00–9:50 B410

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

• Aplikovaná informatika (program FI, N-AP)
• Bezpečnost informačních technologií (program FI, N-IN)
• Bioinformatika (program FI, N-AP)
• Informační systémy (program FI, N-IN)
• Informatika (program FI, N-IN)
• Paralelní a distribuované systémy (program FI, N-IN)
• Počítačová grafika (program FI, N-IN)
• Počítačové sítě a komunikace (program FI, N-IN)
• Počítačové systémy (program FI, N-IN)
• Programovatelné technické struktury (angl.) (program FI, N-IN)
• Programovatelné technické struktury (program FI, N-IN)
• Služby - výzkum, řízení a inovace (angl.) (program FI, N-AP)
• Služby - výzkum, řízení a inovace (program FI, N-AP)
• Sociální informatika (program FI, B-AP)
• Teoretická informatika (program FI, N-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, N-SS) (2)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
• Zpracování obrazu (program FI, N-AP)

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 2012, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2012/IA158