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. RNDr. Tomáš Brázdil, Ph.D. (přednášející)
doc. RNDr. Petr Novotný, Ph.D. (pomocník)

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

St 16:00–17:50 G101

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

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)
• 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.

Osnova

• Real-time aspects of embedded systems; examples of real-time systems. Soft and hard real-time systems.
• Real-time scheduling: periodic and aperiodic tasks, priority-driven scheduling, resource access control.
• Basic information about real-time operating systems and programming.
• Verification of real-time systems: timed automata, 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

Metody hodnocení

homework exercises, oral exam

Vyučovací jazyk

Angličtina

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

• Statistika zápisu (jaro 2014, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2014/IA158