Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
Distributed systems (2nd Ed.)
Architecture of the space shuttle primary avionics software system
Communications of the ACM
A Low Latency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
Formal Specification of a Flight Guidance System
Formal Specification of a Flight Guidance System
An Introduction to Requirements Capture Using PVS: Specification of a Simple Autopilot
An Introduction to Requirements Capture Using PVS: Specification of a Simple Autopilot
M3W Proceedings of the 2001 international workshop on Multimedia middleware
An integrated experimental environment for distributed systems and networks
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
MEAD: support for Real-Time Fault-Tolerant CORBA: Research Articles
Concurrency and Computation: Practice & Experience - Foundations of Middleware Technologies
Architecting and implementing versatile dependability
Architecting Dependable Systems III
The design of the TAO real-time object request broker
Computer Communications
Addressing degraded service outcomes and exceptional modes of operation in behavioural models
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Dynamic planning and weaving of dependability concerns for self-adaptive ubiquitous services
Proceedings of the 2009 ACM symposium on Applied Computing
Hi-index | 0.00 |
Many distributed applications exhibit different types of system behaviors, or modes, during the course of their operation. Each such mode may have different functional and non-functional requirements (such as fault tolerance, availability, and security). A static software fault-tolerance solution can not cater to the needs of every mode, and also does not utilize system resources intelligently. A flexible architecture is required to provide dependability that can be tailored for such applications. We propose a novel mode-driven fault-tolerance approach that includes: (i) a generic framework to extend the specification of modes with fault-tolerance requirements, and (ii) a software architecture that uses this description to provide the appropriate fault tolerance for each mode at runtime. We also present a case study using a distributed multi-modal CORBA application to demonstrate the effectiveness of our approach.