CAREER: Unified Component-Based Framework for Fault-Tolerance

该项目的目标是为开发容错系统开发一个统一的框架；当容错系统的开发人员执行诸如设计、综合、测试、验证和细化等任务时，这个统一的框架将为他们提供结构上的连续性。统一的框架将基于两个容错组件的使用，即检测器和纠错器。Kulkarni博士认为，这两个组成部分是为丰富的系统增加容错能力的必要和充分条件。检测器和校正器的使用将允许有效的实现，因为应用规范的知识被用于计算所需组件的规范。此外，通过允许容错组件的可重用性，该框架将有助于缩短系统的开发周期。为了简化容错组件的重用，kulkarnii博士将开发一种组件模板语言，为常用组件指定模板，这些模板将由容错系统的开发人员实例化。库卡尼博士还将开发启发式方法，以降低自动化添加容错功能的复杂性。最后，这些启发式方法和组件模板将被用于开发一个自动化添加容错的工具。

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.