Course detail
Real-Time Systems (in English)
FIT-RTSaAcad. year: 2019/2020
Lectures of the course do present the problem of
developing a real-time system complexly, in its full breadth and depth. They
pay a special attention to comprehensibility and practical applicability of presented
topics as well as to linking fundamental knowledge together. The topics are
supported by case studies of real-time systems from various application domains
(automotive, avionics, defense, vision, robotics, power and energy etc.), case
studies of timed development means (specification and verification means and
tools, platforms, programming languages, operating systems) as well as problems,
their causes and solutions. Students will become acquainted with fundamentals
and complexity of such a development and will be able to cope with typical
development problems. Dedicated exercises allow students to gain basic skills
to solve such problems. Students can deepen their skills further, through the semestral
project.
Supervisor
Department
Nabízen zahradničním studentům
Všech fakult
Learning outcomes of the course unit
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.
Prerequisites
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.
Co-requisites
Not applicable.
Recommended optional programme components
Not applicable.
Recommended or required reading
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.
Planned learning activities and teaching methods
Not applicable.
Assesment methods and criteria linked to learning outcomes
- 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.
Exam prerequisites:
No conditions are applied.
Language of instruction
English
Work placements
Not applicable.
Aims
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.
Specification of controlled education, way of implementation and compensation for absences
- 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.
Classification of course in study plans
- 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
Type of course unit
Lecture
26 hours, optionally
Teacher / Lecturer
Syllabus
- Introduction to real-time systems. Motivation to study, organization stuff.
- Real-time support in standards, languages and tools.
- Modeling, analysis, design and validation of real-time systems. Formal specification and verification of real-time systems.
- Hardware, software and computational aspects of real-time systems.
- Time, clocks and orders. Time measurement and bases, clock synchronization.
- Real-time model. Event-driven and time-triggered concepts.
- Temporal relations in systems.
- Dependability concepts. Load and fault hypotheses, anomalies and robustness of real-time systems.
- Real-time communication. Multi/many-core and distributed real-time systems.
- Real-time kernels and operating systems.
- Scheduling and synchronization of real-time tasks.
- Power and energy awareness in real-time systems.
- Challenges, open problems, trends and visions in the area of real-time systems. Summary and conclusion.
Exercise in computer lab
10 hours, compulsory
Teacher / Lecturer
Syllabus
- Acquaintance with available hardware and software equipment.
- Practice in modeling and analysis of real-time systems; specification and verification of timed systems.
- Practice in time measurement, clock synchronization and real-time system overheads on a particular hardware.
- Constructing and analyzing a simple real-time system in time triggered and event driven manners.
- Constructing, analyzing and testing a complex real-time system by means of a real-time operating system.
Project
16 hours, compulsory
Teacher / Lecturer
Syllabus
- An individual or a group project.