HDCCSR: Scalable Dependability in Componentized Software via Self-Stabilization

HDCCSR：通过自稳定实现组件化软件的可扩展可靠性

• 批准号: 0341703
• 负责人: Anish Arora
• 金额: $ 48.01万
• 依托单位: Ohio State University Research Foundation -DO NOT USE
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2003
• 资助国家: 美国
• 起止时间: 2003-09-15 至 2007-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0341703&HistoricalAwards=false
• 关键词: HDCCSR; Scalable; Dependability; Componentized; Software

----------------------Scalable Dependability in Componentized Software via Self-StabilizationPI: Anish Arora, Professor, CIS, The Ohio State UniversityThis proposal addresses the problem of unanticipated software faults, which inevitably occur in large-scale software systems, including those used by the United States space program for missions such as the International Space Station, by developing tools and frameworksfor self-stabilization, i.e., for restoring system behavior if it deviates from its intended one by detecting and correcting state predicates.Extant techniques for designing/composing stabilizing systems do notscale well. The proposed research addresses complexity as follows.- A component is typically simpler than the system as a whole. Hencestabilization will be added per component and then they will be composed into a stabilizing system, taking into account issues of dependency and interference.- A component's specification is usually simpler than the component itself.hence stabilization will be added per component with respect to only the component specification, The proposed research will demonstrate that the software tools and frameworks resulting from these ideas measurably and predictably improve dependability in a NASA system. The techniques and tools will provide for the first time the ability to make large systems tolerant to unanticipated faults. Besides space craft, they can also be used with critical systems such as aircraft control,medical instruments, the telephone network, etc.

------------------------通过自动化软件中的可伸缩性可靠性：Anish Arora，教授，顺式教授，顺式，俄亥俄州立大学，解决意外软件故障的问题，不可避免地发生在大型软件系统中，这些软件在我们的国际空间中，包括在国际空间中使用诸如国际空间的范围内的大型软件系统，包括I. Space for Infortial I.通过检测和纠正状态谓词来偏离其预期的偏离。设计/组成稳定系统的扩展技术效果不佳。所提出的研究解决了以下内容的复杂性。-组件通常比整个系统更简单。考虑到依赖性和干扰问题，将添加每个组件，然后将它们组成到稳定系统中。-组件的规范通常比组件本身更简单。因此，每个组件将仅在组件中添加稳定，仅在组件规范中，该构成的研究将证明软件工具和框架可以依赖于这些IDES，并且可以预测这些IDES的依赖性。这些技术和工具将首次提供使大型系统耐心的故障的能力。除了太空飞行器外，它们还可以与关键系统一起使用，例如飞机控制，医疗工具，电话网络等。