Formal specification of fault-tolerance and its relation to computer security
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Specifying Graceful Degradation
IEEE Transactions on Parallel and Distributed Systems
A Product Family Approach to Graceful Degradation
DIPES '00 Proceedings of the IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems: Architecture and Design of Distributed Embedded Systems
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
Improving system dependability by enforcing architectural intent
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
An algebra of product families
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
System-wide graceful degradation may be a viable approach to improving dependability in computer systems. In order to evaluate and improve system-wide graceful degradation we present a system model that will explicitly define graceful degradation as a system property, and measure how well a system gracefully degrades in the presence of multiple combinations of component failures. The system's software architecture plays a major role in this model, because the interface and component specifications embody the architecture's abstraction principle. We use the architecture to group components into subsystems that enable reasoning about overall system utility. We apply this model to an extensive example of a distributed embedded control system architecture to specify the relative utility of all valid system configurations. We then simulate working system configurations and compare their abihty to provide functionality to the utility measures predicted by our model.