2009 International Conference on Knowledge and Systems Engineering Checking the Compliance of Timing Constraints in Software Applications Hanoi October 13-October 17 ISBN: 978-0-7695-3846-4
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/KSE.2009.38
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.
Citation:
Thanh-Binh Trinh, Tuan-Anh Do, Ninh-Thuan Truong, Viet-Ha Nguyen, "Checking the Compliance of Timing Constraints in Software Applications," kse, pp.220-225, 2009 International Conference on Knowledge and Systems Engineering, 2009 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb