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

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

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.