Digitally evolving models for dynamically adaptive systems

Proceedings - ICSE 2007 Workshops: International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2007

Volumn , Issue , 2007, Pages

  Goldsby, Heather J ^a   Knoester, David B ^a   Cheng, Betty H C ^a   McKinley, Philip K ^a   Ofria, Charles A ^a  

^a Michigan State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING; MATHEMATICAL MODELS;

DIGITAL ORGANISMS; DYNAMICALLY ADAPTIVE SYSTEM (DAS); INSTRUCTION-LEVEL MUTATIONS; NATURAL SELECTION;

ADAPTIVE SYSTEMS;

EID: 36248955421     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEAMS.2007.6     Document Type: Conference Paper

References (36)

1. B. Ali, A. E. A. Almaini, and T. Kalganova. Evolutionary algorithms and their use in the design of sequential logic circuits. Genetic Programming and Evolvable Machines, 5(1): 11-29, March 2004.
2. R. Allen, R. Douence, and D. Garlan. Specifying and analyzing dynamic software architectures. Lecture Notes in Computer Science, 1382, 1998.
3. O. Babaoglu, G. Canright, A. Deutsch, G. A. D. Caro, F. Ducatelle, L. M. Gambardella, N. Ganguly, M. Jelasity, R. Montemanni, A. Montresor, and T. Urnes. Design patterns from biology for distributed computing. ACM Transactions on Autonomous and Adaptive Systems, 1(1):26-66, 2006.
4. D. Bradley, C. Ortega-Sanchez, and A. Tyrrell. Embryonics + immunotronics: A bio-inspired approach to fault tolerance. In J. Lohn, A. Stoica, and D. Keymeulen, editors, The Second NASA/DoD workshop on Evolvable Hardware, pages 205-224, Palo Alto, California, 13-15 2000. IEEE Computer Society.
5. D. W. Bradley and A. M. Tyrrell. Immunotronics - novel finite-state-machine architectures with built-in self-test using self-nonself differentiation. IEEE Trans. Evolutionary Computation, 6(3):227-238, 2002.
6. C. Canal, E. Pimentel, and J. M. Troya. Specification and refinement of dynamic software architectures. In P. Donohoe, editor, WICSA, volume 140 of IFIP Conference Proceedings, pages 107-126. Kluwer, 1999.
7. S. S. Chow, C. O. Wilke, C. Ofria, R. E. Lenski, and C. Adami. Adaptive radiation from resource competition in digital organisms. In Science, volume 305, pages 84-86, 2004.
8. M. S. Feather, S. Fickas, A. V. Lamsweerde, and C. Ponsard. Reconciling system requirements and runtime behavior. In IWSSD '98: Proceedings of the 9th International Workshop on Software Specification and Design, 1998.
9. S. Goings, J. Clune, C. Ofria, and R. T. Pennock. Kin selection: The rise and fall of kin-cheaters. In Proceedings of the Ninth International Conference on Artificial Life, pages 303-308, Boston, MA, USA, September 2004.
10. J. H. Holland. Adaptation in natural and artificial systems: An introductory analysis with applications to biology, control, and artificial intelligence. University of Michigan Press, 1975.
11. G. Holzmann. The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading, Massachusetts, 2004.
12. S. Johnson. Emergence: The Connected Lives of Ants, Brains, Cities, and Software. Scribner, 2002.
13. D. B. Knoester, P. K. McKinley, B. Beckmann, and C. A. Ofria. Evolution of leader election in populations of self-replicating digital organisms. Technical Report MSU-CSE-06-35, Computer Science and Engineering, Michigan State University, East Lansing, Michigan, December 2006.
14. D. B. Knoester, P. K. McKinley, and C. A. Ofria. Using group selection to evolve leadership in populations of self-replicating digital organisms. Technical Report MSU-CSE-07-7, Computer Science and Engineering, Michigan State University, East Lansing, Michigan, February 2007.
15. J. R. Koza, M. A. Keane, M. J. Streeter, W. Mydlowec, J. Yu, and G. Lanza. Genetic Programming IV: Routine Human-Competitive Machine Intelligence. Genetic Programming. Springer, 1st edition, 2005.
16. J. Kramer and J. Magee. The evolving philosophers problem: Dynamic change management. IEEE Transactions on Software Engineering, 16(11):1293-1306, 1990.
17. S. S. Kulkarni and K. N. Biyani. Correctness of component-based adaptation. In I. Crnkovic, J. A. Stafford, H. W. Schmidt, and K. C. Wallnau, editors, CBSE, volume 3054 of Lecture Notes in Computer Science, pages 48-58. Springer, 2004.
18. A. Lapouchnian, S. Liaskos, J. Mylopoulos, and Y. Yu. Towards requirements-driven autonomic systems design. In DEAS '05: Proceedings of the 2005 Workshop on Design and Evolution of Autonomic Application Software, pages 1-7, St. Louis, MO, USA, 2005.
19. R. E. Lenski, C. Ofria, T. C. Collier, and C. Adami. Genome complexity, robustness, and genetic interactions in digital organisms. In Nature, volume 400, pages 661-664, 1999.
20. R. E. Lenski, C. Ofria, R. T. Pennock, and C. Adami. The evolutionary origin of complex features. In Nature, volume 423, pages 139-144, 2003.
21. J. Lohn, G. S. Hornby, and D. Linden. Evolution, reevolution, and prototype of an x-band antenna for nasa's space technology 5 mission. In Sixth International Conference on Evolvable Systems: From Biology to Hardware, 2005.
22. A. Martinoli and F. Mondada. Collective and cooperative group behaviours: Biologically inspired experiments in robotics. In Proceedings of the Fourth Symposium on Experimental Robotics ISER-95, June 1995.
23. W. E. McUmber and B. H. C. Cheng. A general framework for formalizing UML with formal languages. In Proceedings of the IEEE International Conference on Software Engineering (ICSE01), Toronto, Canada, May 2001.
24. D. Misevic, R. E. Lenski, and C. Ofria. Sexual reproduction and muller's ratchet in digital organisms. In Ninth International Conference on Artificial Life, pages 340-345, Boston MA, 2004.
25. R. Neville, A. Sutcliffe, and W. Chang. Optimizing system requirements with genetic algorithms. In In IEEE World Congress on Computational Intelligence, pages 495-499, May 2003.
26. Object Management Group. http://www.omg.org, 2006.
27. C. Ofria and C. Adami. Evolution of genetic organization in digital organisms. In Proc. of DIMACS workshop Evolution as Computation, pages 167-175, Princeton, NJ, 1999.
28. C. Ofria, C. Adami, and T. Collier. Design of evolvable computer languages. In IEEE Transactions in Evolutionary Computation, volume 17, pages 528-532, 2002.
29. C. Ofria and C. O. Wilke. Avida: A software platform for research in computational evolutionary biology. In Journal of Artificial Life, volume 10, pages 191-229. International Society of Artificial Life (ISAL), March 2004.
30. M. Pagel. Encyclopedia of Evolution, pages E83-E92. Oxford University Press, New York, NY, USA, 2002.
31. R. Schoonderwoerd, J. L. Bruten, O. E. Holland, and L. J. M. Rothkrantz. Pheromone robotics. Autonomous Robots, 11(3):319-324, 2004.
32. J. Suzuki and T. Suda. A middleware platform for a biologically-inspired network architecture supporting autonomous and adaptive applications. In IEEE Journal on Selected Areas in Communications (JSAC), Special Issue on Intelligent Services and Applications in Next Generation Networks, February 2005.
33. P. Tonella. Evolutionary testing of classes. In Proceedings of the 2004 International Symposium on Software Testing and Analysis (ISSTA 2004), pages 119-128, New York, NY, USA, 2004. ACM Press.
34. W. Truszkowski, M. Hinchey, J. Rash, and C. Rouff. NASA's swarm missions:the challenge of building autonomous software. IT Professional, 06(5):47-52, 2004.
35. C. O. Wilke, J. L. Wang, C. Ofria, C. Adami, and R. E. Lenski. Evolution of digital organisms at high mutation rate leads to survival of the flattest. In Nature, volume 412, pages 331-333, 2001.
36. J. Zhang and B. H. C. Cheng. Model-based development of dynamically adaptive software. In ICSE '06: Proceeding of the 28th international conference on Software engineering, pages 371-380, New York, NY, USA, 2006. ACM Press.