SBIR Phase I: Automated Safety/Security Compliance Verification and Enforcement for Autonomous Vehicle Software

SBIR 第一阶段：自动驾驶汽车软件的安全/安保合规性验证和执行

• 批准号: 2015019
• 负责人: Zhuoqing Mao
• 金额: $ 22.5万
• 依托单位: TRUSTEDAVWARE LLC
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2020
• 资助国家: 美国
• 起止时间: 2020-10-01 至 2021-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2015019&HistoricalAwards=false
• 关键词: SBIR; Phase; Automated; Safety; Security

The broader impact of this Small Business Innovation Research (SBIR) Phase I project is to broaden autonomous vehicles (AV) adoption. This project will customize program analysis for the AV software domain to achieve automated safety/security compliance verification and enforcement. This Small Business Innovation Research (SBIR) Phase I project proposes to leverage novel static program analysis and formal verification techniques along with runtime safety/security enforcement to complement existing AV software testing with two major technologies to: i) correct safety compliance issues and enforce user-configurable safety requirements, ii) detect and mitigate common security vulnerabilities. Given the input of safety rules or vulnerability patterns, the proposed technology will provide strong guarantees of zero false negatives in compliance verification. This means that once compliance of a rule or security property is verified, it is guaranteed that no violations of that rule or security property exist in the software.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

小企业创新研究 (SBIR) 第一阶段项目的更广泛影响是扩大自动驾驶汽车 (AV) 的采用。 该项目将为 AV 软件领域定制程序分析，以实现自动化安全/安保合规性验证和执行。该小型企业创新研究 (SBIR) 第一阶段项目建议利用新颖的静态程序分析和形式验证技术以及运行时安全/安保实施，通过两项主要技术补充现有的 AV 软件测试，以：i) 纠正安全合规性问题并强制用户执行-可配置的安全要求，ii) 检测并缓解常见的安全漏洞。考虑到安全规则或漏洞模式的输入，所提出的技术将为合规性验证中的零漏报提供强有力的保证。这意味着，一旦验证了规则或安全属性的合规性，就可以保证软件中不存在违反该规则或安全属性的行为。该奖项反映了 NSF 的法定使命，并通过使用基金会的知识产权进行评估，被认为值得支持。优点和更广泛的影响审查标准。