Safety Critical Computer Systems
Safety Critical Computer Systems
High-Integrity System Specification and Design
High-Integrity System Specification and Design
Dependability: Basic Concepts and Terminology
Dependability: Basic Concepts and Terminology
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
A Contract-Based Approach of Resource-Constrained Software Deployment
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Designing Distributed Component-Based Systems With DCL
ICECCS '01 Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems
Computing optimal self-repair actions: damage minimization versus repair time
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Developing safety-critical real-time systems with SDL design patterns and components
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Developing safety-critical real-time systems with SDL design patterns and components
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Modeling and verification of cooperative self-adaptive mechatronic systems
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
A pattern-based approach for modeling and analyzing error recovery
Architecting dependable systems IV
Model-based failure management for distributed reactive systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Enforcing S&D pattern design in RCES with modeling and formal approaches
Proceedings of the 14th international conference on Model driven engineering languages and systems
Model-driven development of reconfigurable mechatronic systems with MECHATRNOIC UML
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Hi-index | 0.00 |
The development of dependable software systems is a costly undertaking. Fault tolerance techniques as well as self-repair capabilities usually result in additional system complexity which can even spoil the intended improvement with respect to dependability. We therefore present a pattern-based approach for the design of service-based systems which enables self-managing capabilities by reusing proven fault tolerance techniques in form of Fault Tolerance Patterns. The pattern specification consists of a service-based architectural design and deployment restrictions in form of UML deployment diagrams for the different architectural services. The architectural design is reused when designing the system architecture. The deployment restrictions are employed to determine valid deployment scenarios for an application. During run-time the same restrictions are at first used to automatically map additional services on suitable nodes. If node crashes are detected, we secondly employ the restrictions to guide the self-repair of the system in such a way that only suitable repair decisions are made.