Using weaves for software construction and analysis
ICSE '91 Proceedings of the 13th international conference on Software engineering
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Facilitating the Construction of Specification Pattern-based Properties
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Architecture-based self-adaptation in the presence of multiple objectives
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Generating Hierarchical State Machines from Use Case Charts
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
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
Software development with imperfect information
Soft Computing - A Fusion of Foundations, Methodologies and Applications
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
Inferring meta-models for runtime system data from the clients of management APIs
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Search-based software engineering: Trends, techniques and applications
ACM Computing Surveys (CSUR)
Dynamic evolution of context-aware systems with models at runtime
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Sensitivity analysis in model-driven engineering
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Integration architecture synthesis for taming uncertainty in the digital space
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Simulating upgrades of complex systems: The case of Free and Open Source Software
Information and Software Technology
Hi-index | 0.00 |
Increasingly, high-assurance applications rely on dynamically adaptive systems (DASs) to respond to environmental changes, while satisfying functional requirements and non-functional preferences. Examples include critical infrastructure protection and transportation systems. A DAS comprises a collection of (non-adaptive) target systems (represented as UML models) and a set of adaptations that realize transitions among target systems. Two sources of uncertainty inherent to DASs are: (1) predicting the future execution environment, and (2) using functional and non-functional trade-offs to respond to the changing environment. To address this uncertainty, we are inspired by living organisms that are astonishingly adept at adapting to changing environmental conditions using evolution. In this paper, we describe a digital evolution-based approach to generating models that represent possible target systems suitable for different environmental conditions, enabling the developer to identify the functional and non-functional trade-offs between the models, and then assisting the developer in selecting target systems for the DAS.