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.