Checking the Compliance of Timing Constraints in Software Applications

Abstract

Timing constraints play an important role in software development, particularly in real time systems. This paper proposes an approach for checking the compliance of execution of tasks in an application with their timing constraints. In this approach, timing constraints are specified by UML Timing Diagrams. Aspect Oriented Programming technology is used to observe the execution of the program and to check if the execution of tasks satisfies their timing constraint specification.The approach is illustrated by a case study of an Automatic Teller Machine system.