Run Time Detection of Timing Errors in Real-Time Systems

Real-time systems comprise a class of computing systems whose functionality is interrelated to the timing constraints of the system, which are normally specified by deadlines. In order to guarantee that the deadlines of the system are going to be met during the runtime execution of the system, real-time systems often use feasibility analysis to test if the system meets all its deadlines. One crucial phase in the development of a real-time system, required for the feasibility analysis, is the derivation of the upper bounds of executions times for the threads in the system. This execution time upper bound is commonly known as the Worst-Case Execution Time (WCET).