The course is also offered to the students of the fields other than those the course is directly associated with.
Fields of study the course is directly associated with
there are 18 fields of study the course is directly associated with, display
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 aspects of embedded systems; examples of real-time systems. Soft and hard real-time systems.
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.
ACETO, Luca, Anna INGOLFSDOTTIR, Kim Guldstrand LARSEN and Jiří SRBA. Reactive Systems: Modelling, Specification and Verification (Reactive Systems: Modelling, Specification and Verification). 1. vyd. Cambridge, UK: Cambridge University Press, 2007. 300 pp. Cambridge University Press. ISBN 978-0-521-87546-2. URLinfo