Checking the Compliance of Timing Constraints in Software Applications

  • Authors:
  • Thanh-Binh Trinh;Tuan-Anh Do;Ninh-Thuan Truong;Viet-Ha Nguyen

  • Affiliations:
  • -;-;-;-

  • Venue:
  • KSE '09 Proceedings of the 2009 International Conference on Knowledge and Systems Engineering
  • Year:
  • 2009

Quantified Score

Hi-index 0.01

Visualization

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.