The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
Security attribute evaluation method: a cost-benefit approach
Proceedings of the 24th International Conference on Software Engineering
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Truth vs Knowledge: The Difference Between What a Component Does and What We Know It Does
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
ICSE 2003 workshop on software architectures for dependable systems
ACM SIGSOFT Software Engineering Notes
Self-Management: The Solution to Complexity or Just Another Problem?
IEEE Distributed Systems Online
Establishing recommendation trust relationships for internetwares
ACM SIGSOFT Software Engineering Notes
Autonomic resource provisioning for software business processes
Information and Software Technology
Self-healing systems - survey and synthesis
Decision Support Systems
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
A self-healing multipath routing protocol
Proceedings of the 3rd International Conference on Bio-Inspired Models of Network, Information and Computing Sytems
Component assessment and proactive model for support of dynamic integration in self adaptive system
ACM SIGSOFT Software Engineering Notes
A concise introduction to autonomic computing
Advanced Engineering Informatics
Measuring reactability of persistent computing systems
SC'07 Proceedings of the 6th international conference on Software composition
Synchronized architectures for adaptive systems
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Application of software health management techniques
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Deliberative, search-based mitigation strategies for model-based software health management
Innovations in Systems and Software Engineering
Hi-index | 0.00 |
Modern practical computing systems are much more complex than the simple programs on which we developed our models of dependability. These dependability models depend on precise specifications, but it is often impractical to obtain precise specifications of practical software-intensive systems. Furthermore, the criteria for acceptable behavior vary from time to time and from one user to another. When development methods are based on the classic models that assume precise specifications, the resulting systems are often brittle --- they are vulnerable to unexpected conditions and hard to tune to changing expectations. Practical systems would be better served by development models that recognize the variability and unpredictability of the environment in which the systems are used. Such development methods should pursue not the absolute criterion of correctness, but rather the goal of fitness for the intended task, or sufficient correctness. They should accommodate environmental unpredictability not only by reactive mechanisms, but also by design that produces resilience to environmental change, or homeostasis. In many cases, this resilience may be achievable by relaxing tolerances in the specifications, thereby enlarging the envelope of acceptable operation.