Ing. Josef Strnadel, Ph.D.

Department of Computer Systems (UPSY)

Všech fakult

Students will get a general overview in the area of real-time systems and their development as well as in the area of real-time extensions of conventional, typically untimed, development means. Students will be able to specify requirements imposed on a real-time system, to model it and check its properties, to construct such a system by appropriate means (a hardware platform, operating system etc.) and to test it in operating conditions. Students will understand the principles and complexity of developing a (digital) system which meets the requirements for (continuous) real-time.
The students will be able to cope with the development cycle of real, typically hidden embedded cyber-physical, systems (such as engine or ABS control in a car, control of road/railway junctions and crossings, control of autonomous, adaptive, cooperative and/or collaborative systems) they may encounter in their everyday life. The students will link, deepen and extend their knowledge and skills from various, typically isolated, information technology areas (such as modeling and analysis, hardware, software, dependability, operating systems and languages) and will be able to see the areas from new perspectives.

Knowledge of the basic principles of information technology. Advanced computer skills, intermediate communication and self-study skills in English; basic abstract, adaptive, analytical, logical and critical thinking skills, basic problem solving skills, basic programming skills.

Not applicable.

Not applicable.

Přednáškové materiály dostupné v elektronické podobě.
Cottet, F., Delacroix, J., Kaiser, C., Mammeri, Z.: Scheduling in Real-Time Systems. John Wiley & Sons, 2002, 266 p., ISBN 0-470-84766-2.
Joseph, M.: Real-Time Systems Specification, Verification and Analysis. Prentice Hall, 1996, 278 p., ISBN 0-13-455297-0.
Laplante, P. A.: Real-Time Systems Design and Analysis. Wiley-IEEE Press, 2004, 528 p., ISBN 0-471-22855-9.
Wang, J.: Real-Time Embedded Systems. John Wiley & Sons, 2017, 310 p., ISBN 978-1118116173.
Alur, R.: Principles of Cyber-Physical Systems. MIT Press, 2015. 446 p., ISBN 978-0-262-02911-7.
Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, 2008, 975 p., ISBN 978-0-262-02649-9.
Butazzo, G.: Hard Real-Time Computing Systems, Predictable Scheduling Algorithms and Applications. Springer, 2011, 524 p., ISBN 978-1-4614-0675-4.
Cheng, A. M. K.: Real-Time Systems: Scheduling, Analysis, and Verification. Wiley, 2002, 552 p., ISBN 0-471-18406-3.
Kopetz, H.: Real-Time Systems, Design Principles for Distributed Embedded Applications. Springer, 2011, 378 p., ISBN 978-1-4419-8236-0.
Olderog, E.-R., Dierks, H.: Real-Time Systems Formal Specification and Automatic Verification. Cambridge University Press, 2008, 344 p., ISBN 978-0521883337.
Williams, R.: Real-Time Systems Development. Butterworth-Heinemann, 2006, 320 p., ISBN 978-0-7506-6471-4.

Not applicable.

• 4 short-range reports summarizing the solutions of 4 partial tasks (12 points max).
• Written mid-term test (15 points max).
• Project with defense and due-date submission of its solution (18 points max).
• All works have to be submitted by their deadlines; late submissions will be evaluated by 0 points.

English

Not applicable.

To introduce and explore concepts, principles, methods and instruments as well as problems related to development of real-time systems, from their specification to their practical application. To provide students with a theoretical background and an understanding of the practical engineering issues raised by the development of real-time systems. To support the taught facts by real-world case studies, to motivate students to understand causes of problems and to discuss solutions of the problems. To give students knowledge and skills to develop a real-time system by practicing the gained knowledge during dedicated exercises and project topics.

• Following activities are monitored: the attendance and activity during lectures, exercises and the progress of project-related works.
• A prospective reimbursement of absences caused by an obstacle in the study is going to be realized according to the nature of the obstacle and lessons involved, e.g. by setting a substitute term or assigning a separate (homework) task. A solution to other kind of absence is not arranged herein, i.e., it is neither excluded nor guaranteed.

• Programme IT-MGR-2 Master's

  branch MBI , any year of study, winter semester, 5 credits, elective
  branch MPV , any year of study, winter semester, 5 credits, elective
  branch MGM , any year of study, winter semester, 5 credits, elective
  

• Programme IT-MGR-2 Master's

  branch MGMe , any year of study, winter semester, 5 credits, compulsory-optional
  

• Programme IT-MGR-2 Master's

  branch MSK , any year of study, winter semester, 5 credits, compulsory-optional
  branch MBS , any year of study, winter semester, 5 credits, elective
  branch MIN , any year of study, winter semester, 5 credits, elective
  branch MMI , any year of study, winter semester, 5 credits, compulsory-optional
  branch MMM , any year of study, winter semester, 5 credits, elective
  

• Programme MITAI Master's

  specialization NADE , any year of study, winter semester, 5 credits, elective
  specialization NBIO , any year of study, winter semester, 5 credits, elective
  specialization NGRI , any year of study, winter semester, 5 credits, elective
  specialization NNET , any year of study, winter semester, 5 credits, elective
  specialization NVIZ , any year of study, winter semester, 5 credits, elective
  specialization NCPS , any year of study, winter semester, 5 credits, elective
  specialization NSEC , any year of study, winter semester, 5 credits, elective
  specialization NEMB , any year of study, winter semester, 5 credits, elective
  specialization NHPC , any year of study, winter semester, 5 credits, elective
  specialization NISD , any year of study, winter semester, 5 credits, elective
  specialization NIDE , any year of study, winter semester, 5 credits, elective
  specialization NISY , any year of study, winter semester, 5 credits, elective
  specialization NMAL , any year of study, winter semester, 5 credits, elective
  specialization NMAT , any year of study, winter semester, 5 credits, elective
  specialization NSEN , any year of study, winter semester, 5 credits, elective
  specialization NVER , any year of study, winter semester, 5 credits, elective
  specialization NSPE , any year of study, winter semester, 5 credits, elective
  

• Programme IT-MGR-1H Master's

  branch MGH , any year of study, winter semester, 5 credits, recommended
  

• Programme IT-MGR-2 Master's

  branch MIS , 2. year of study, winter semester, 5 credits, elective
  

16 hours, compulsory

Ing. Josef Strnadel, Ph.D.

• An individual or a group project.