Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Applying Digital Evolution to the Development of Self-Adaptive ULS Systems
ULS '07 Proceedings of the International Workshop on Software Technologies for Ultra-Large-Scale Systems
Hi-index | 0.00 |
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be properly addressed without precisely specifying the requirements for adaptation. In many situation, 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 of interactive audio streaming software is used to illustrate timed temporal logic.