The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Using critics to analyze evolving architectures
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
Model checking
Towards architecture-based self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Model-based adaptation for self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
An Architecture-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Using resemblance to support component reuse and evolution
Proceedings of the 2006 conference on Specification and verification of component-based systems
Deployment and dynamic reconfiguration planning for distributed software systems
Software Quality Control
From goals to components: a combined approach to self-management
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
A Case Study in Goal-Driven Architectural Adaptation
Software Engineering for Self-Adaptive Systems
A rigorous architectural approach to adaptive software engineering
Journal of Computer Science and Technology
Exploiting non-functional preferences in architectural adaptation for self-managed systems
Proceedings of the 2010 ACM Symposium on Applied Computing
Synthesis of live behaviour models
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Architectural issues of adaptive pervasive systems
Graph transformations and model-driven engineering
Synthesis of live behaviour models for fallible domains
Proceedings of the 33rd International Conference on Software Engineering
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Dynamic reconfiguration in self-adaptive systems considering non-functional properties
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Synthesis of event-based controllers: a software engineering challenge
Proceedings of the 34th International Conference on Software Engineering
Synthesizing nonanomalous event-based controllers for liveness goals
ACM Transactions on Software Engineering and Methodology (TOSEM)
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Hi-index | 0.00 |
Autonomous systems operate in an unpredictable world, where communication with those people responsible for its software architecture may be infrequent or undesirable. If such a system is to continue reliable operation it must be able to derive and initiate adaptations to new circumstances on its own behalf. Much of the previous work on dynamic reconfigurations supposes that the programmer is able to express the possible adaptations before the system is deployed, or at least is able to add new adaptation strategies after deployment. We consider the challenges in providing an autonomous system with the capability to direct its own adaptation, and describe an initial implementation where change in the software architecture of an autonomous system is enacted as a result of executing a reactive plan.