“right move at the right time”
In computer science, real-time computing, or reactive computing describes hardware and software systems subject to a “real-time constraint”, for example from event to system response. Real-time programs must guarantee a response within specified time constraints, often referred to as “deadlines”
real-time systems have a dual notion of correctness:
- logical correctness - do the right thing
- temporal correctness - do it at the right time