ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
Proceedings of the 24th International Conference on Software Engineering
A Basic Model of Typed Components
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
One.world: Experiences with a Pervasive Computing Architecture
IEEE Pervasive Computing
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Exception handling in the development of dependable component-based systems
Software—Practice & Experience - Research Articles
Software—Practice & Experience
Software Architecture: Foundations, Theory, and Practice
Software Architecture: Foundations, Theory, and Practice
Archface: a contract place where architectural design and code meet together
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Towards On-line Adaptation of Fault Tolerance Mechanisms
EDCC '10 Proceedings of the 2010 European Dependable Computing Conference
Proceedings of the 33rd International Conference on Software Engineering
Architecting resilient computing systems: overall approach and open issues
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
QoS contract-aware reconfiguration of component architectures using e-graphs
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
A component-based middleware platform for reconfigurable service-oriented architectures
Software—Practice & Experience
Proceedings of the 34th International Conference on Software Engineering
Reusable and Extensible Fault Tolerance for RESTful Applications
TRUSTCOM '12 Proceedings of the 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications
From Design for Adaptation to Component-Based Resilient Computing
PRDC '12 Proceedings of the 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing
Toward a Tool-Based Development Methodology for Pervasive Computing Applications
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
Resilient computing is defined as the ability of a system to stay dependable when facing changes. To mitigate faults at runtime, dependable systems are augmented with fault tolerance mechanisms such as replication techniques. These mechanisms have to be systematically and rigorously applied in order to guarantee the conformance between the application runtime behavior and its dependability requirements. The main contribution of this paper is to propose a design-driven development methodology for resilient computing systems. Our approach consists of refining the design with specifications dedicated to the dependability concerns. This design is then leveraged to support the development of the application while ensuring the traceability of the dependability requirements along the application life-cycle, including runtime adaptation.