The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control and Artificial Intelligence
Autonomous Robots
Collective and Cooperative Group Behaviors: Biologically Inspired Experiments in Robotics
The 4th International Symposium on Experimental Robotics IV
Specification and Refinement of Dynamic Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Embryonics + Immunotronics: A Bio-Inspired Approach to Fault Tolerance
EH '00 Proceedings of the 2nd NASA/DoD workshop on Evolvable Hardware
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Genetic Programming IV: Routine Human-Competitive Machine Intelligence
Genetic Programming IV: Routine Human-Competitive Machine Intelligence
Evolutionary Algorithms and Theirs Use in the Design of Sequential Logic Circuits
Genetic Programming and Evolvable Machines
Evolutionary testing of classes
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Towards requirements-driven autonomic systems design
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Design patterns from biology for distributed computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Evolution, re-evolution, and prototype of an x-band antenna for NASA’s space technology 5 mission
ICES'05 Proceedings of the 6th international conference on Evolvable Systems: from Biology to Hardware
IEEE Transactions on Evolutionary Computation
Design of evolvable computer languages
IEEE Transactions on Evolutionary Computation
IEEE Journal on Selected Areas in Communications
AMOEBA-RT: Run-Time Verification of Adaptive Software
Models in Software Engineering
Hi-index | 0.00 |
Developing a Dynamically Adaptive System (DAS) requires a developer to identify viable target systems that can be adopted by the DAS at runtime in response to specific environmental conditions, while satisfying critical properties. This paper describes a preliminary investigation into using digital evolution to automatically generate models of viable target systems. In digital evolution, a population of selfreplicating computer programs exists in a user-defined computational environment and is subject to instruction-level mutations and natural selection. These "digital organisms" have no built-in ability to generate a model - each population begins with a single organism that only has the ability to self-replicate. In a case study, we demonstrate that digital evolution can be used to evolve known state diagrams and to further evolve these diagrams to satisfy system critical properties. This result shows that digital evolution can be used to aid in the discovery of the viable target systems of a DAS.