FI:IA158 Real Time Systems - Course Information

IA158 Real Time Systems

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)

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 10:00–11:50 G124

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

• Applied Informatics (programme FI, N-AP)
• Information Technology Security (programme FI, N-IN)
• Bioinformatics (programme FI, N-AP)
• Information Systems (programme FI, N-IN)
• Parallel and Distributed Systems (programme FI, N-IN)
• Computer Graphics (programme FI, N-IN)
• Computer Networks and Communication (programme FI, N-IN)
• Computer Systems (programme FI, N-IN)
• Embedded Systems (eng.) (programme FI, N-IN)
• Embedded Systems (programme FI, N-IN)
• Service Science, Management and Engineering (eng.) (programme FI, N-AP)
• Service Science, Management and Engineering (programme FI, N-AP)
• Social Informatics (programme FI, B-AP)
• Theoretical Informatics (programme FI, N-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, N-SS) (2)
• Artificial Intelligence and Natural Language Processing (programme FI, N-IN)
• Image Processing (programme FI, N-AP)

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.
• Performance analysis of real-time systems: performance measures for soft real-time systems, queueing networks.

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 2013, recent)
  
• Permalink: https://is.muni.cz/course/fi/spring2013/IA158