Brise

-- -- 실시간 시스템이란, 논리적인 정확성 뿐만 아니라 시간적인 정확성 또한 갖춰야 하는 시스템을 말한다. Real-time system은 - Logical Correctness - Temporal Correctness를 모두 만족해야한다. 일반적인 Non Real-time System과 다른점을 이해하기 쉬운 예를 들어 살펴보자. Non Real-time System은 시간제한 없이 퀴즈를 맞히는 것이라고 생각할 수 있다. 정답을 말해야 하는 것은 당연하지만, 언제까지라는 시간제한은 없다. 만약 퀴즈를 맞히는 사람이 머리가 좋다면, 조금 더 빨리 퀴즈를 맞힐 수 있을 것이다. 이와 다르게 Real-time System은 시간제한이 있는 스피드 퀴즈를 맞히는 것이라고 볼 수 있다. 정답을 말해야하는 ..