FI:IA158 Real Time Systems - Course Information
IA158 Real Time Systems
Faculty of InformaticsSpring 2014
- Extent and Intensity
- 2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
- Teacher(s)
- doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
doc. RNDr. Petr Novotný, Ph.D. (assistant) - Guaranteed by
- prof. Ing. Václav Přenosil, CSc.
Department of Machine Learning and Data Processing – Faculty of Informatics
Supplier department: Department of Machine Learning and Data Processing – Faculty of Informatics - Timetable
- Wed 16:00–17:50 G101
- Course Enrolment Limitations
- The course is also offered to the students of the fields other than those the course is directly associated with.
- fields of study / plans the course is directly associated with
- there are 18 fields of study the course is directly associated with, display
- Course objectives
- 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.
- Syllabus
- 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.
- Literature
- J.W.S. Liu: Real-Time Systems. Prentice-Hall, 2000
- ACETO, Luca, Anna INGOLFSDOTTIR, Kim Guldstrand LARSEN and Jiří SRBA. Reactive Systems: Modelling, Specification and Verification. 1st ed. Cambridge, UK: Cambridge University Press, 2007, 300 pp. Cambridge University Press. ISBN 978-0-521-87546-2. URL info
- Teaching methods
- lectures
- Assessment methods
- homework exercises, oral exam
- Language of instruction
- English
- Further Comments
- Study Materials
The course is taught annually.
- Enrolment Statistics (Spring 2014, recent)
- Permalink: https://is.muni.cz/course/fi/spring2014/IA158