CAREER: Language Features for Robust Software

职业：健壮软件的语言特性

• 批准号: 0846195
• 负责人: Brian Demsky
• 金额: $ 45万
• 依托单位: University of California-Irvine
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-08-01 至 2015-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0846195&HistoricalAwards=false
• 关键词: CAREER; Language; Features; Robust; Software

Developing reliable software systems is a key challenge for oursociety. Despite many years of effort, software systems still sufferfrom catastrophic failures. All too often, software failures arecaused by the propagation of errors through critical components of thesystem. Unfortunately, current software development tools andpractices actually encourage the introduction of unnecessarydependencies that serve to propagate errors between conceptuallyunrelated components.The goal of this research is to explore a new approach for creatingsoftware systems that are robust against failures. The approachexposes the high-level structure of a software system to the compilerand run-time environment to enable the automatic application of techniques thatappropriately manage error propagation to make software systems moreresilient. The foundation of this approach is a specificationlanguage that allows the developer to identify tasks and describe whentasks should be invoked and how each task changes the conceptualstates of objects. A set of techniques use this information tomonitor and analyze task execution to eliminate unnecessarydependencies. The broader impact of this research is the potential tomitigate the effects of software faults.

开发可靠的软件系统是我们社会面临的一个关键挑战。 尽管经过多年的努力，软件系统仍然遭受灾难性的失败。 通常，软件故障是由于错误通过软件的关键组件传播而引起的。 不幸的是，当前的软件开发工具和实践实际上鼓励引入不必要的依赖关系，这些依赖关系有助于在概念上不相关的组件之间传播错误。本研究的目标是探索一种新的方法来创建对故障具有鲁棒性的软件系统。 该方法将软件系统的高级结构暴露给编译器和运行时环境，以使适当管理错误传播的技术能够自动应用，从而使软件系统更具弹性。 这种方法的基础是一种规范语言，它允许开发人员识别任务并描述何时应该调用任务以及每个任务如何改变对象的概念状态。 一组技术使用这些信息来监视和分析任务执行，以消除不必要的依赖关系。 这项研究的更广泛的影响是潜在的tomitigate软件故障的影响。