TA-LTL: Specifying adaptation timing properties in autonomic systems

Proceedings - Third IEEE International Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2006

Volumn 2006, Issue , 2006, Pages 109-118

  Zhou, Zhinan ^a   Zhang, Ji ^a   McKinley, Philip K ^a   Cheng, Betty H C ^a  

^a Michigan State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTATION TIMING PROPERTIES; AUDIO STREAMING SOFTWARE; AUTONOMIC SYSTEMS; TEMPORAL LOGIC;

ACOUSTIC STREAMING; ADAPTIVE SYSTEMS; COMPUTER SOFTWARE; DYNAMIC PROGRAMMING; FORMAL LOGIC; INTERACTIVE COMPUTER SYSTEMS;

AUTONOMOUS AGENTS;

EID: 33750961252     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EASE.2006.14     Document Type: Conference Paper

References (28)

1. R. Alur and T. A. Henzinger. A really temporal logic. Journal of the ACM, 41(1): 181-203, 1994.
2. P. Bellini, R. Mattolini, and P. Nesi. Temporal logics for real-time system specification. ACM Computing Surveys, 32(1): 12-12, 2000.
3. D. M. Berry, B. H. Cheng, and J. Zhang. The four levels of requirements engineering for and in dynamic adaptive systems. In Proceedings of the 11th International Workshop on Requirements Engineering: Foundation for Software Quality, Porto, Portugal, June 2005.
4. J.-C. Bolot and A. Vega-Garcia. Control mechanisms for packet audio in Internet. In Proceedings of IEEE INFO COM'96, pages 232-239, San Francisco, California, April 1996.
5. C. E. Cuesta, P. de la Fuente, and M. Barrio-Solarzano. Dynamic coordination architecture through the use of reflection. In Proceedings of the 2001 ACM Symposium on Applied Computing, pages 134-140, New York, NY, USA, 2001. ACM Press.
6. J. Degener and C. Bormann. The GSM 06.10 lossy speech compression library and its applications, 2000. available at http://kbs.cs.tu-berlin.de/jutta/ toast.html.
7. J. Appavoo et al. Enabling autonomic behavior in systems software with hot swapping. IBM Systems Journal, Special Issue on Autonomic Computing, 42(1), 2003.
8. F. Jahanian and A. K. Mok. Safety analysis of timing properties in real-time systems. IEEE Transaction of Software Engineering, 12(9):890-904, 1986.
9. J. O. Kephart and D. M. Chess. The vision of autonomic computing. IEEE Computer, 36(1):41-50, 2003.
10. F. Kon, M. Roman, P. Liu, J. Mao, T. Yamane, L. C. Magalhães, and R. H. Campbell. Monitoring, security, and dynamic configuration with the dynamicTAO reflective ORB. In Proceedings of the IFIP/ACM International Conference on Distributed. Systems Platforms and Open Distributed Processing, number 1795 in LNCS, pages 121-143, New York, April 2000. Springer-Verlag.
11. R. Koymans. Specifying real-time properties with metric temporal logic. Real-Time Systems, 2(4):255-299, 1990.
12. J. Kramer and J. Magee. The evolving philosophers problem: Dynamic change management. IEEE Transactions on Software Engineering, 16(11): 1293-1306, 1990.
13. J. Kramer, J. Magee, and M. Sloman. Configuring distributed systems. In Proceedings of the 5th Workshop on ACM SIGOPS European, pages 1-5, New York, NY, USA, 1992. ACM Press.
14. S. S. Kulkarni and K. N. Biyani. Correctness of component-based adaptation. In Proceedings of the 7th International Symposium on Component-Based Software Engineering, pages 48-58, 2004.
15. P. K. McKinley, S. M. Sadjadi, E. P. Kasten, and B. H. C. Cheng. Composing adaptive software. IEEE Computer, 37(7):56-64, 2004.
16. J. Ostroff and W. Wonham. Modeling and verifying real-time embedded computer systems. In Proceedings of the IEEE Real-Time Systems Symposium, pages 124-132, 1987.
17. P. P. Pal, J. Loyall, R. E. Schantz, J. A. Zinky, and F. Webber. Open implementation toolkit for building survivable applications. In Proceedings of the DARPA Information Sur vivability Conference and Exposition, Hilton Head Island, January 2000.
18. A. Pnueli. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium Foundations of Computer Science (FOCS 1977), pages 46-57, 1977.
19. L. Rizzo. Effective erasure codes for reliable computer communication protocols. ACM Computer Communication Review, April 1997.
20. J. Rosenberg, L. Qiu, and H. Schulzrinne. Integrating packet FEC into adaptive voice playout buffer algorithms on the Internet. In Proceedings of IEEE INFOCOM 2000, pages 1705-1714, 2000.
21. R. Rosner and A. Pnueli. A choppy logic. In Proceedings of Symposium on Logic in Computer Science, pages 306-313, Cambridge, Massachusetts, USA, 1986.
22. S. M. Sadjadi and P. K. McKinley. ACT: An adaptive CORBA template to support unanticipated adaptation. In Proceedings of the 24th IEEE International Conference on Distributed Computing Systems (ICDCS), Tokyo, Japan, March 2004.
23. S. M. Sadjadi, P. K. McKinley, and E. P. Kasten. Architecture and operation of an adaptable communication substrate. In Proceedings of the Ninth IEEE International Workshop on Future Trends in Distributed Computing, San Juan, Puerto Rico, May 2003.
24. F. Wang, A. Mok, and E. A. Emerson. Formal specification of asynchronous distributed real-time systems by APTL. In Proceedings of the 14th International Conference on Software Engineering, pages 188-198, New York, NY, USA, 1992. ACM Press.
25. J. Zhang and B. H. Cheng. Model-based development of dynamically adaptive software. In Proceedings of the 28th Annual International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006. to appear.
26. J. Zhang and B. H. C. Cheng. Specifying adaptation semantics. In Proceedings of the 2005 Workshop on Architecting Dependable Systems, pages 1-7, New York, NY, USA, 2005. ACM Press.
27. J. Zhang, Z. Yang, B. H. Cheng, and P. K. McKinley. Adding safeness to dynamic adaptation techniques. In Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems, Edinburgh, Scotland, May 2004.
28. Z. Zhou, P. K. McKinley, and S. M. Sadjadi. On quality-of-service and energy consumption tradeoffs in FEC-enabled audio streaming. In Proceedings of the 12th IEEE International Workshop on Quality of Service (IWQoS 2004), Montreal, Canada, June 2004.