Parallel program design: a foundation
Parallel program design: a foundation
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Component Based Design of Multitolerant Systems
IEEE Transactions on Software Engineering
Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance
IEEE Transactions on Software Engineering
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Specware: Formal Support for Composing Software
MPC '95 Mathematics of Program Construction
Once-and-for all management protocol (OFMP)
ICNP '97 Proceedings of the 1997 International Conference on Network Protocols (ICNP '97)
Component based design of fault-tolerance
Component based design of fault-tolerance
Formal methods for specification and analysis of communication protocols
IEEE Communications Surveys & Tutorials
Hi-index | 0.00 |
Component-based software engineering is increasingly being adopted in developing a wide range of applications that have high dependability requirements. Continuing along with our ongoing efforts in developing a framework integrating the concepts of component-based design for fault-tolerance and category-theory-based modular composition, in this paper, we present a component-based design of a fault-tolerant multimedia protocol and composition of resulting components through correct-by-construction approach. Essentially, we show how a fault-intolerant program is transformed into a fault-tolerant program with components providing for dependability, namely, detectors and correctors. We first show the correctness of the fault-tolerant program, and then to achieve a rigorous composition out of the fault-intolerant program and fault-tolerant components, we utilize concepts of category theory to develop component-based fault-tolerant program. We illustrate the overall development of a fault-tolerant program with a case study of the label distribution protocol (LDP). The compositional specification and its correctness for the FT-LDP has been realized through a mechanized formal tool called Specware.