12-11-2017, 09:13 AM
The term scheduling analysis in real-time computing includes the analysis and testing of the scheduler system and the algorithms used in real-time applications. In computer science, testing and verification is also known as model checking.