A Methodology for Adapting to Patterns of Faults (1994)
| Venue: | G. Koob (ed), Foundation of Ultradependebility |
| Citations: | 16 - 4 self |
BibTeX
@INPROCEEDINGS{Agha94amethodology,
author = {Gul Agha and Daniel C. Sturman},
title = {A Methodology for Adapting to Patterns of Faults},
booktitle = {G. Koob (ed), Foundation of Ultradependebility},
year = {1994},
pages = {23--60},
publisher = {Kluwer Academic Publishers}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper, we present a language framework for describing dependable systems. Our framework emphasizes modularity and composition. The dependability and functionality aspects of an application may be described independently, providing separation of design concerns. Furthermore, the dependability protocols of an application may be constructed bottom-up as simple protocols that are composed into more complex protocols. Composition makes it easier to reason about the behavior of complex protocols and supports the construction of generic reusable dependability schemes. A significant aspect of our language framework is that dependability protocols may be loaded into a running application and installed dynamically. Dynamic installation makes it possible to impose additional dependability protocols on a server as clients with new dependability demands are integrated into a system. Similarly, if a given dependability protocol is only necessary during some particular phase of execution it m...
