Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

EECE 353 -Real Time Systems Sherif Abdelwahed

Summary: EECE 353 - Real Time Systems
Sherif Abdelwahed
Institute for Software Integrated Systems
Vanderbilt University
Spring 2007
Part I
Introduction to Real Time Systems
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
reachability analysis.
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
temporal correctness.


Source: Abdelwahed, Sherif - Department of Electrical Engineering and Computer Science, Vanderbilt University


Collections: Engineering