SBIR Phase II: RV-Embedded: Runtime Verification for Embedded Systems

SBIR 第二阶段：RV 嵌入式：嵌入式系统的运行时验证

• 批准号: 1660186
• 负责人: Patrick MacKay
• 金额: $ 75万
• 依托单位: Runtime Verification, Inc.
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-03-15 至 2022-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1660186&HistoricalAwards=false
• 关键词: SBIR; Phase; II; RV; Embedded

The broader impact/commercial potential of this Small Business Innovation Research (SBIR) Phase II project is that the proposed runtime verification technology will lead to a more robust definition of and architecture for ensuring safety in automobiles, medical devices, and aerospace and defense systems. Through this, these forms of safety-critical infrastructure will be more resilient to attack and catastrophic failure resulting from both critical system failures and malicious attacks. As a result, the technology will help to address a slew of recent problems with software failures, security compromises, and other unintentional software behaviors that inevitably occur as systems become more complex, potentially saving lives and making millions of safety-critical embedded systems safer, easier to upgrade, and better tested.This Small Business Innovation Research (SBIR) Phase II project will commercialize a first-of-its-kind complete solution for runtime verification and software analysis specifically tailored for embedded systems. From automobiles that connect to each other and drive autonomously, to control systems that run ever increasing networks that power our utilities, cities, and many other aspects of our daily lives, it is clear that embedded systems are here to stay in the most safety critical domains. A growing problem in embedded systems is how to ensure they behave correctly; a good case study for this is automobiles, in which several high profile hacks and recalls have called into question the security and integrity of vehicles. The proposed solution will fill this market niche with a suite of related analysis tools/modules, built on a common novel and formally rigorous runtime verification technology infrastructure, each module implementing unique instrumentation and analysis functionality. These tools/modules together provide what is needed to develop safe embedded systems.

这个小型企业创新研究（SBIR）第二阶段项目的更广泛的影响/商业潜力是，拟议的运行时验证技术将导致更强大的定义和架构，以确保汽车，医疗设备，航空航天和国防系统的安全。 通过这种方式，这些形式的安全关键基础设施将更能抵御由关键系统故障和恶意攻击引起的攻击和灾难性故障。 因此，该技术将有助于解决软件故障，安全妥协和其他无意的软件行为的一系列问题，这些问题随着系统变得越来越复杂而不可避免地发生，可能会挽救生命，并使数百万安全关键嵌入式系统更安全，更容易升级，更好的测试。这个小企业创新研究（SBIR）第二阶段项目将商业化的第一个-这是一种专为嵌入式系统定制的运行时验证和软件分析的完整解决方案。 从相互连接并自动驾驶的汽车，到运行不断增长的网络的控制系统，这些网络为我们的公用事业，城市和我们日常生活的许多其他方面提供动力，很明显，嵌入式系统将留在最安全的关键领域。 嵌入式系统中越来越多的问题是如何确保它们的正确行为;这方面的一个很好的案例是汽车，其中几次备受瞩目的黑客攻击和召回已经对车辆的安全性和完整性提出了质疑。 拟议的解决方案将填补这一市场利基与一套相关的分析工具/模块，建立在一个共同的新颖的和正式严格的运行时验证技术基础设施，每个模块实现独特的仪器和分析功能。 这些工具/模块共同提供了开发安全嵌入式系统所需的内容。