CAREER: Unified Component-Based Framework for Fault-Tolerance

点击翻译按钮获取中文摘要

The goal of this project is to develop a unified framework fordeveloping fault-tolerant systems; this unified framework will providethe structural continuity to developers of fault-tolerant systemswhile they perform several tasks such as design, synthesis, testing,verification, and refinement. The unified framework will be based onthe use of two fault-tolerance components, namely detectors andcorrectors. Dr. Kulkarni has identified these two components as beingnecessary and sufficient for adding fault-tolerance to a rich class ofsystems. The use of detectors and correctors will permit efficientimplementation as the knowledge of application-specification is usedin computing the specification of the required components. Also, bypermitting the reusability of fault-tolerance components, theframework will help in reducing the development cycle for a system.To simplify the reuse of the fault-tolerance components, Dr. Kulkarniwill develop a component-template language to specify templates--which will be instantiated by the developers of fault-tolerantsystems-- for commonly used components. Dr. Kulkarni will alsodevelop heuristics to reduce the complexity of automating the additionof fault-tolerance. Finally, these heuristics and thecomponent-templates will be used to develop a tool for automating theaddition of fault-tolerance.