Summary: EECE 353 - Real Time Systems
Institute for Software Integrated Systems
Introduction to Real Time Systems
Real-time systems are those in which the correctness of the system
depends not only on the logical results of the computation but also
on the time at which the results are produced
Logical Correctness: Produces correct sequence of outputs for
a given set of inputs. Can by checked, for example, by
Temporal Correctness: Produces outputs at the right time.
Can be checked also by reachability analysis (formal
verification) or timing analysis (scheduling theory).
This course focuses primely on techniques for checking