a computer system that must satisfy bounded-response time constraints
a computer system that must satisfy bounded-response time constraints
a system who's correctness depends on both logical results and the time in which those results are produced.