Architecture-based approach to reliability assessment of software systems
Performance Evaluation
Modern Control Systems
Feedback Control Theory
Reliability prediction for component-based software architectures
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Feedback Control of Computing Systems
Feedback Control of Computing Systems
Self-Managing Systems: A Control Theory Foundation
LCN '04 Proceedings of the 29th Annual IEEE International Conference on Local Computer Networks
A framework for adaptive algorithm selection in STAPL
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Dynamic online reconfiguration for customizable and self-optimizing operating systems
Proceedings of the 5th ACM international conference on Embedded software
Processor Power Reduction Via Single-ISA Heterogeneous Multi-Core Architectures
IEEE Computer Architecture Letters
Performance and environment monitoring for continuous program optimization
IBM Journal of Research and Development
Feedback Control Architecture and Design Methodology for Service Delay Guarantees in Web Servers
IEEE Transactions on Parallel and Distributed Systems
K42: building a complete operating system
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Core fusion: accommodating software diversity in chip multiprocessors
Proceedings of the 34th annual international symposium on Computer architecture
Designing controllable computer systems
HOTOS'05 Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
A User-Oriented Software Reliability Model
IEEE Transactions on Software Engineering
Eon: a language and runtime system for perpetual systems
Proceedings of the 5th international conference on Embedded networked sensor systems
Early prediction of software component reliability
Proceedings of the 30th international conference on Software engineering
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
LPV Model and Its Application in Web Server Performance Control
CSSE '08 Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Volume 03
What does control theory bring to systems research?
ACM SIGOPS Operating Systems Review
Accelerating critical section execution with asymmetric multi-core architectures
Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Proceedings of the 41st annual IEEE/ACM International Symposium on Microarchitecture
PetaBricks: a language and compiler for algorithmic choice
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
Probabilistic Reachability for Parametric Markov Models
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Computer
ACM SIGMETRICS Performance Evaluation Review
Green: a framework for supporting energy-conscious programming using controlled approximation
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
From Data Center Resource Allocation to Control Theory and Back
CLOUD '10 Proceedings of the 2010 IEEE 3rd International Conference on Cloud Computing
The disappearing boundary between development-time and run-time
Proceedings of the FSE/SDP workshop on Future of software engineering research
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
Reliability analysis of component-based systems with multiple failure modes
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
A survey of formal methods in self-adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Dynamic adaptive search based software engineering
Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement
High-quality specification of self-adaptive software systems
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Iterative test suites refinement for elastic computing systems
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Claims and evidence for architecture-based self-adaptation: a systematic literature review
ECSA'13 Proceedings of the 7th European conference on Software Architecture
A journey through SMScom: self-managing situational computing
Computer Science - Research and Development
Hi-index | 0.00 |
This paper investigates a novel approach to derive self-adaptive software by automatically modifying the model of the application using a control-theoretical approach. Self adaptation is achieved at the model level to assure that the model -- which lives alongside the application at run-time --continues to satisfy its reliability requirements, despite changes in the environment that might lead to a violation. We assume that the model is given in terms of a Discrete Time Markov Chain (DTMC). DTMCs can express reliability concerns by modeling possible failures through transitions to failure states. Reliability requirements may be expressed as reachability properties that constrain the probability to reach certain states, denoted as failure states.