Software Engineering for Self-Adaptive Systems: A Research Road Map (Draft Version)

Dagstuhl Seminar Proceedings

Volumn 8031, Issue , 2008, Pages

  Cheng, Betty H C ^a   de Lemos, Rogério ^a   Giese, Holger ^a   Inverardi, Paola ^a   Magee, Jeff ^a   Andersson, Jesper ^a   Becker, Basil ^a   Bencomo, Nelly ^a   Brun, Yuriy ^a   Cukic, Bojan ^a   Di Marzo Serugendo, Giovanna ^a   Dustdar, Schahram ^a   Finkelstein, Anthony ^a   Gacek, Cristina ^a   Geihs, Kurt ^a   Grassi, Vincenzo ^a   Karsai, Gabor ^a   Kienle, Holger ^a   Kramer, Jeff ^a   Litoiu, Marin ^a   Malek, Sam ^a   Mirandola, Raffaela ^a   Müller, Hausi ^a   Park, Sooyong ^a   Shaw, Mary ^a   Tichy, Matthias ^a   Tivoli, Massimo ^a   Weyns, Danny ^a   Whittle, Jon ^a   more..

^a NONE

Author keywords

assurances; evolution; modelling; requirements engineering; self adaptability; self management; self organization; Software engineering

Indexed keywords

ADAPTIVE SYSTEMS; MAPS; REQUIREMENTS ENGINEERING;

ASSURANCE; EVOLUTION; MODELING; REQUIREMENT ENGINEERING; ROADMAP; RUNTIMES; SELF MANAGEMENT; SELF ORGANIZATIONS; SELF-ADAPTABILITY; SELF-ADAPTIVE SYSTEM;

SOFTWARE ENGINEERING;

EID: 84892276141     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (53)

1. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1(1):11–33, January-March 2004.
2. Ö. Babaoglu, M. Jelasity, A. Montresor, C. Fetzer, S. Leonardi, and A. P. A. van Moorsel. The self-star vision. In O. Babaoglu, M. Jelasity, A. Montresor, C. Fetzer, S. Leonardi, and A. van Moorsel, editors, Proceedings Conference on Self-Star Properties in Complex Information Systems, volume 3460 of Lecture Notes in Computer Science, pages 1–20, 2005.
3. Y. Brun and N. Medvidovic. An architectural style for solving computationally intensive problems on large networks. In Proceedings of Software Engineering for Adaptive and Self-Managing Systems (SEAMS07), Minneapolis, MN, USA, May 2007.
4. Y. Brun and N. Medvidovic. Fault and adversary tolerance as an emergent property of distributed systems’ software architectures. In Proceedings of the 2nd International Workshop on Engineering Fault Tolerant Systems (EFTS07), pages 38–43, Dubrovnik, Croatia, September 2007.
5. S. Burmester, H. Giese, E. Münch, O. Oberschelp, F. Klein, and P. Scheideler. Tool support for the design of self-optimizing mechatronic multi-agent systems. International Journal on Software Tools for Technology Transfer (STTT), 10, 2008. (to appear).
6. R. Burns. Advanced Control Engineering. Butterworth-Heinemann, 2001.
7. B. H. C. Cheng and J. M. Atlee. Research directions in requirements engineering. In FOSE’07: 2007 Future of Software Engineering, pages 285–303. IEEE Computer Society, Minneapolis, MN, USA, May 2007.
8. S.-W. Cheng, D. Garlan, and B. Schmerl. Making self-adaptation an engineering reality. In Proceedings Conference on Self-Star Properties in Complex Information Systems, volume 3460 of Lecture Notes in Computer Science, pages 158–173, 2005.
9. I. Corporation. An architectural blueprint for autonomic computing. White Paper 4th Ed., IBM Corporation, June 2006. http://www-03.ibm.com/autonomic/pdfs/AC_BlueprintWhite_Paper_4th.pdf.
10. G. Coulson, G. Blair, P. Grace, A. Joolia, K. Lee, and J. Ueyama. A generic component model for building systems software. ACM Transactions on Computer Systems, February 2008.
11. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal directed requirements acquisition. In Selected Papers of the Sixth International Workshop on Software Specification and Design (IWSSD), pages 3 – 50, 1993.
12. G. Di Marzo-Serugendo, J. Fitzgerald, A. Romanovsky, and N. Guelfi. A generic framework for the engineering of self-adaptive and self-organising systems. Technical report, School of Computing Science, University of Newcastle, Newcastle, UK, 2007.
13. G. Di Marzo-Serugendo, M.-P. Gleizes, and A. Karageorgos. Self-organisation in mas. Knowledge Engineering Review, 20(2):165–189, 2005.
14. S. Dobson, S. Denazis, A. Fernández, D. Gaïti, E. Gelenbe, F. Massacci, P. Nixon, F. Saffre, N. Schmidt, and F. Zambonelli. A survey of autonomic communications. ACM Transactions Autonomous Adaptive Systems (TAAS), 1(2):223–259, December 2006.
15. th edition, 2005.
16. G. Dumont and M. Huzmezan. Concepts, methods and techniques in adaptive control. In Proceedings American Control Conference (ACC 2002), volume 2, pages 1137–1150, Anchorage, AK, USA, 2002.
17. S. Easterbrook and M. Chechik. A framework for multi-valued reasoning over inconsistent viewpoints. In Proceedings of International Conference on Software Engineering (ICSE’01), pages 411–420, 2001.
18. P. Feiler, R. P. Gabriel, J. Goodenough, R. Linger, T. Longstaff, R. Kazman, M. Klein, L. Northrop, D. Schmidt, K. Sullivan, and K. Wallnau. Ultra-large-scale systems: The software challenge of the future. Technical report, Software Engineering Institute, July 2006. http://www.sei.cmu.edu/uls/.
19. S. Fickas and M. S. Feather. Requirements monitoring in dynamic environments. In IEEE International Symposium on Requirements Engineering (RE95), pages 140 – 147, 1995.
20. A. Finkelstein. Requirements reflection. Dagstuhl Presentation, 2008.
21. D. Garlan, S.-W. Cheng, and B. Schmerl. Increasing system dependability through architecture-based self-repair. In R. D. Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems. Springer-Verlag, 2003.
22. H. J. Goldsby, P. Sawyer, N. Bencomo, D. Hughes, and B. H.C.Cheng. Goal-based modeling of dynamically adaptive system requirements. In 15th Annual IEEE International Conference on the Engineering of Computer Based Systems (ECBS), 2008.
23. J. J. Hageman, M. S. Smith, and S. Stachowiak. Integration of online parameter identification and neural network for in-flight adaptive control. Technical Report NASA/TM-2003-212028, NASA, 2003.
24. D. Harel and R. Marelly. Come Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, 2005.
25. C. Kaner. Software liability. Software QA, 4(6), 1997.
26. M. M. Kokar, K. Baclawski, and Y. A. Eracar. Control theory-based foundations of self-controlling software. IEEE Intelligent Systems, 14(3):37–45, 1999.
27. F. Kon, F. Costa, G. Blair, and R. H. Campbell. The case for reflective middleware. Communications of the ACM, 45(6):33–38, 2002.
28. J. Kramer and J. Magee. Self-managed systems: an architectural challenge. In FOSE’07: 2007 Future of Software Engineering, pages 259–268, Minneapolis, MN, USA, May 2007. IEEE Computer Society.
29. A. Lapouchnian, Y. Yu, S. Liaskos, and J. Mylopoulos. Requirements-driven design of autonomic application software. In CASCON’06: Proceedings of the 2006 Conference of the Center for Advanced Studies on Collaborative Research, page 7, New York, NY, USA, 2006. ACM.
30. M. M. Lehman. Software’s future: Managing evolution. IEEE Software, 15(1):40–44, 1998.
31. S. Liaskos, A. Lapouchnian, Y. Wang, Y. Yu, and S. Easterbrook. Configuring common personal software: a requirements-driven approach. In 13th IEEE International Conference on Requirements Engineering (RE05), pages 9–18. IEEE Computer Society, 2005.
32. S. Lightstone. Seven software engineering principles for autonomic computing development. Innovations in Systems and Software Engineering, 3(1):71–74, March 2007.
33. Y. Liu, B. Cukic, E. Fuller, S. Yerramalla, and S. Gururajan. Monitoring techniques for an online neuro-adaptive controller. Journal of Systems and Software (JSS), 79(11):1527–1540, 2006.
34. P. Maes. Computional reflection. PhD thesis, Vrije Universiteit, 1987.
35. P. K. McKinley, M. Sadjadi, E. P. Kasten, and B. H. Cheng. Composing adaptive software. IEEE Computer, 37(7):56–64, July 2004.
36. H. A. Müller, M. Pezzè, and M. Shaw. Visibility of control in adaptive systems. In Second International Workshop on Ultra-Large-Scale Software-Intensive Systems (ULSSIS 2008), ICSE 2008 Workshop, May 2008.
37. C. Perrow. Normal Accidents: Living with High-Risk Technologies. Princeton University Press, 1999.
38. W. Robinson. A requirements monitoring framework for enterprise systems. Requirements engineering, 11:17–4, 2006.
39. W. N. Robinson. Monitoring web service requirements. In Proceedings of International Requirements Engineering Conference (RE03), pages 65–74, 2003.
40. M. Sabetzadeh and S. Easterbrook. View merging in the presence of incompleteness and inconsistency. Requirements Engineering Journal, 11(3):174–193, 2006.
41. S. Sackmann, J. Strüker, and R. Accorsi. Personalization in privacy-aware highly dynamic systems. Communications of the ACM (CACM), 49(9):32–38, September 2006.
42. T. Savor and R. Seviora. An approach to automatic detection of software failures in realtime systems. In IEEE Real-Time Technology and Applications Symposium, pages 136–147, 1997.
43. Schloss Dagstuhl Seminar 08031, Wadern, Germany. Software Engineering for Self-Adaptive Systems, January 2008. http://www.dagstuhl.de/08031/.
44. G. Seetharaman, A. Lakhotia, and E. P. Blasch. Unmanned Vehicles Come of Age: The DARPA Grand Challenge. Computer, 39(12):26–29, 2006.
45. M. Shaw. Beyond objects. ACM SIGSOFT Software Engineering Notes (SEN), 20(1):27–38, January 1995.
46. H. A. Simon. The Sciences of the Artificial. MIT Press. Cambridge, MA, USA, 1981.
47. A. Sutcliffe, S. Fickas, and M. M. Sohlberg. PC-RE a method for personal and context requirements engineering with some experience. Requirements Engineering Journal, 11(3):1–17, 2006.
48. M. Svahnberg, J. van Gurp, and J. Bosch. A taxonomy of variability realization techniques. Software: Practice and Experience, 35(8):705 – 754, 2005.
49. J. A. Tanner. Feedback control in living prototypes: A new vista in control engineering. Medical and Biological Engineering and Computing, 1(3):333–351, August 1963. http://www.springerlink.com/content/rh7wx0675k5mx544/.
50. D. Weyns. An architecture-centric approach for software engineering with situated multiagent systems. PhD thesis, Department of Computer Science, K.U. Leuven, Leuven, Belgium, October 2006.
51. E. S. K. Yu. Towards modeling and reasoning support for early-phase requirements engineering. In 3rd IEEE International Symposium on Requirements Engineering (REŠ97), page 226, Washington, DC, USA, 1997.
52. J. Zhang and B. H. C. Cheng. Model-based development of dynamically adaptive software. In Proceedings of International Conference on Software Engineering (ICSE’06), Shanghai,China, May 2006.
53. J. Zhang and B. H. C. Cheng. Using temporal logic to specify adaptive program semantics. Journal of Systems and Software (JSS), Architecting Dependable Systems, 79(10):1361–1369, 2006.