Sciweavers

ISSE
2007

Specifying real-time properties in autonomic systems

13 years 11 months ago
Specifying real-time properties in autonomic systems
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the requirements for adaptation. In many situations, these requirements involve absolute time, in addition to a logical ordering of events. This paper introduces an approach to formally specifying such timing requirements for adaptive software. We introduce TA-LTL, a timed adaptation-based extension to linear temporal logic, and use this logic to specify three timing properties associated with the adaptation process: safety, liveness, and stability. A dynamic adaptation scenario involving interactive audio streaming software is used to illustrate the timed temporal logic. Keywords Autonomic Systems · Adaptation · Timing Properties · Temporal Logic · Model Checking
Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2007
Where ISSE
Authors Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley
Comments (0)