The Vision of Autonomic Computing
Computer
Model-Based Reconfiguration: Diagnosis and Recovery
Model-Based Reconfiguration: Diagnosis and Recovery
Using Architecture Models for Runtime Adaptability
IEEE Software
Model-based runtime analysis of distributed reactive systems
ASWEC '06 Proceedings of the Australian Software Engineering Conference
Quantitative verification: models techniques and tools
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Time-bounded adaptation for automotive system software
Proceedings of the 30th international conference on Software engineering
A survey of autonomic computing—degrees, models, and applications
ACM Computing Surveys (CSUR)
Performance Model Estimation and Tracking Using Optimal Filters
IEEE Transactions on Software Engineering
Run-Time Monitoring of Electronic Contracts
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Runtime Verification
Self-adaptive software: Landscape and research challenges
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Flexible decision control in an autonomous trading agent
Electronic Commerce Research and Applications
CADS*: Computer-Aided Development of Self-* Systems
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Using quantitative analysis to implement autonomic IT systems
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Synthesizing adapters for conversational web-services from their WSDL interface
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Using observation ageing to improve markovian model learning in QoS engineering
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
Dynamic QoS Management and Optimization in Service-Based Systems
IEEE Transactions on Software Engineering
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Incremental quantitative verification for Markov decision processes
DSN '11 Proceedings of the 2011 IEEE/IFIP 41st International Conference on Dependable Systems&Networks
PSL model checking and run-time verification via testers
FM'06 Proceedings of the 14th international conference on Formal Methods
Hi-index | 0.00 |
Two classes of software that are notoriously difficult to develop on their own are rapidly merging into one. This will affect every key service that we rely upon in modern society, yet a successful merge is unlikely to be achievable using software development techniques specific to either class. This paper explains the growing demand for software capable of both self-adaptation and high integrity, and advocates the use of a collection of "@runtime" techniques for its development, operation and management. We summarise early research into the development of such techniques, and discuss the remaining work required to overcome the great challenge of self-adaptive high-integrity software.