Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
Definition
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