Timing errors in real-time systems and their detection

Abstract

Most real-time applications require a high degree of reliability. Past research efforts have not fully addressed issues peculiar to real-time systems. Recently much attention has been focused on formal methods to verify timing properties of real-time systems. Despite the contribution of these formal methods, the dynamic method for analyzing timing properties is still necessary because of the inherent limitations of formal methods and imperfect program execution environment. The authors present a dynamic timing analysis method for identifying the causes of timing errors in real-time systems. >