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)
doc. RNDr. Petr Novotný, Ph.D. (assistant)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable

Mon 16:00–17:50 A319

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.

Literature

recommended literature
• J.W.S. Liu: Real-Time Systems. Prentice-Hall, 2000

not specified
• CIBRARIO BERTOLOTTI, Ivan and Gabriele MANDUCHI. Real-time embedded systems : open-source operating systems perspective. Boca Raton, FL: CRC Press, 2012, xxvii, 506. ISBN 9781439841549. 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 2015, recent)
  
• Permalink: https://is.muni.cz/course/fi/spring2015/IA158