HDCCSR: Scalable Dependability in Componentized Software via Self-Stabilization

- 通过自稳定PI实现可扩展的可靠性：Anish Arora，教授，CIS，俄亥俄州州立大学该提案解决了意外软件故障的问题，这不可避免地发生在大型软件系统中，包括美国太空计划用于国际空间站等任务的软件系统，by developing发展tools工具and frameworks框架for self-自我stabilization稳定，i.e.，通过检测和纠正状态谓词来恢复系统行为，如果它偏离了预期的行为。现有的设计/组成稳定系统的技术没有很好地扩展。拟议的研究解决复杂性如下。组件通常比整个系统简单。Hencestabilization将被添加到每个组件，然后它们将被组成一个稳定系统，考虑到依赖性和干扰的问题。一个组件的规格通常比组件本身简单。因此，稳定性将增加每个组件相对于只有组件规格，拟议的研究将表明，软件工具和框架，从这些想法产生的可测量和可预测的提高可靠性在NASA系统。这些技术和工具将首次提供使大型系统耐受意外故障的能力。除航天器外，它们还可用于飞机控制、医疗仪器、电话网络等关键系统。

----------------------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.