The coreworld: emergence and evolution of cooperative structures in a computational chemistry
CNLS '89 Proceedings of the ninth annual international conference of the Center for Nonlinear Studies on Self-organizing, Collective, and Cooperative Phenomena in Natural and Artificial Computing Networks on Emergent computation
The Unified Modeling Language user guide
The Unified Modeling Language user guide
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Genetic Programming IV: Routine Human-Competitive Machine Intelligence
Genetic Programming IV: Routine Human-Competitive Machine Intelligence
Computer
Goal-Oriented Requirements Animation
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Formal Verification of Requirements using SPIN: A Case Study on Web Services
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
UML-based service robot software development: a case study
Proceedings of the 28th international conference on Software engineering
Generating Hierarchical State Machines from Use Case Charts
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Visualizing Requirements in UML Models
REV '06 Proceedings of the 1st international workshop on Requirements Engineering Visualization
Optimizations for LTL Synthesis
FMCAD '06 Proceedings of the Formal Methods in Computer Aided Design
Behaviour Model Synthesis from Properties and Scenarios
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A more bio-plausible approach to the evolutionary inference of finite state machines
Proceedings of the 9th annual conference companion on Genetic and evolutionary computation
Computer
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Digital Evolution of Behavioral Models for Autonomic Systems
ICAC '08 Proceedings of the 2008 International Conference on Autonomic Computing
Synthesis revisited: generating statechart models from scenario-based requirements
Formal Methods in Software and Systems Modeling
On synchronized evolution of the network of automata
IEEE Transactions on Evolutionary Computation
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
Survey: A survey on search-based software design
Computer Science Review
Search-based software engineering: Trends, techniques and applications
ACM Computing Surveys (CSUR)
Proceedings of the 2013 International Conference on Software Engineering
Contrasting meta-learning and hyper-heuristic research: the role of evolutionary algorithms
Genetic Programming and Evolvable Machines
| Hi-index | 0.00 |
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic systems makes it difficult for developers to identify and model resilient autonomic behavior prior to deployment. In this paper, we propose Avida-MDE, a digital evolution approach to the generation of behavioral models (i.e., a set of interacting finite state machines) that capture autonomic system behavior that is potentially resilient to a variety of environmental conditions. We use an evolving population of digital organisms to generate behavioral models, where the organisms are subjected to natural selection and are rewarded for generating behavioral models that meet developer requirements. To illustrate this approach, we successfully applied it to the generation of behavioral models describing the navigation behavior of an autonomous robot.