SHF: Large:Collaborative Research: PASS: Perpetually Available Software Systems

SHF：大型：协作研究：PASS：永久可用的软件系统

• 批准号: 0910883
• 负责人: Emery Berger
• 金额: $ 63.94万
• 依托单位: University of Massachusetts Amherst
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-08-01 至 2014-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0910883&HistoricalAwards=false
• 关键词: SHF; Large; Collaborative; Research; PASS

Despite heroic efforts in testing, static analysis, specification, and verification, all real-world software -- desktop applications, servers, and transportation systems---deploys with defects and missing functionality, costing the US economy billions and threatening our well-being. This project proposes a transformative paradigm shift to "perpetually available software systems" (PASS) that will make software more available and robust by directly addressing errors in deployed software. PASS innovations will (1) improve user experience by keeping real-world software running longer; (2) ensure good performance; (3) assist developers in fixing errors while allowing patches to be safely deployed on running software, to avoid downtime. The project will mine error reports in open source software repositories to derive error classes and test suites. It will evaluate system effectiveness by comparing with bug reports and patches in repositories. Innovations will include (1) detection and remediation elements that target common errors, (2) semantic foundations for remediation and on-line updating, and (3) integration of elements to exploit synergy among the components. The project will explore and analyze novel safe, probabilistically-safe, and extended-semantics remediations/updates. The project will develop both C/C++ and Java runtimes, because they are the most widely used languages and pose unique challenges. Methods will include combining dynamic, static, and remediation/update analysis and results. The project will train graduate, undergraduate, and post doctoral students, and participate in outreach to under-represented groups. The tools will be made publicly available, adding to the national research infrastructure.

尽管在测试，静态分析，规格和验证方面进行了英勇的努力，但所有现实世界中的所有软件 - 桌面应用程序，服务器和运输系统 - 部署缺陷和功能缺失，使美国经济造成数十亿美元的损失并威胁我们的福祉。 该项目提出了一个变革性的范式转移到“永久可用软件系统”（通行证），通过直接解决已部署软件中的错误，可以使软件更加可用和鲁棒。 通过创新将（1）通过保持实际软件运行更长的时间来改善用户体验； （2）确保表现良好； （3）协助开发人员解决错误，同时允许将补丁安全部署在运行软件上，以避免停机时间。该项目将在开源软件存储库中开采错误报告，以得出错误类和测试套件。它将通过与存储库中的错误报告和补丁进行比较来评估系统效率。 创新将包括（1）针对常见错误的检测和补救元素，（2）用于补救和在线更新的语义基础，以及（3）集成元素以利用组件之间的协同作用。 该项目将探索和分析新颖的安全，概率安全和扩展的修复/更新。该项目将同时开发C/C ++和Java Runtimes，因为它们是使用最广泛的语言，并带来了独特的挑战。方法将包括组合动态，静态和补救/更新分析和结果。 该项目将培训毕业生，本科生和博士后学生，并参加与代表性不足的小组的宣传。这些工具将公开可用，并增加国家研究基础设施。