A component-based design of a fault-tolerant multimedia communication protocol

摘要

We present component-based design of a fault-tolerant (FT) multimedia communication protocol. Specifically, we show how a fault-intolerant multimedia protocol can be transformed to be able to handle certain fault cases by composing it with FT components, thereby providing dependability attributes in the resulting FT version of the protocol. We present the design of the FT components, namely correctors and detectors, and then show their correctness as well as that of the final FT protocol. Utilizing the concepts of category theory, we elucidate the overall composition of FT components and the fault-intolerant program to result in a FT program. The proposed methodology is illustrated by transforming the label distribution protocol into its FT version considering specific failure scenarios.