Runtime Monitoring of Duration Calculus Assertions for Real-Time Applications

Abstract An open question which is commonly,asked in software development is whether the implemented artefact follows the requirements specified. From the early days of computing, a number of projects, ideas and techniques have been proposed to prove software correctness. One of these techniques is validation, which verifies the system during execution. Duration Calculus is a powerful logic notation that evaluates property satisfaction