SBIR Phase I: Early Detection of Software and Hardware Flaws by Conformance Checking and Virtual Prototyping

SBIR 第一阶段：通过一致性检查和虚拟样机早期检测软件和硬件缺陷

• 批准号: 1315391
• 负责人: Kang Li
• 金额: $ 12.8万
• 依托单位: Virtual Device Technologies LLC
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-07-01 至 2013-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1315391&HistoricalAwards=false
• 关键词: SBIR; Phase; Early; Detection; Software

This Small Business Innovation Research Program (SBIR) Phase I project is to design and develop an automatic conformance checking solution that can quickly detect inconsistencies between virtual devices and hardware prototypes. Computer and consumer electronics manufacturers are facing increasingly complex hardware designs, and lengthy, painstaking software and hardware integration processes. To address tight time-to-market deadlines, many manufacturers develop software drivers over virtual devices before hardware is available. However, to realize the benefits of early software development, it is critical to ensure consistency between the virtual and physical devices, so that software developed over the virtual device will work on the physical device when it becomes available. This project will study and design tools to help discover and report inconsistencies to developers, with the goal of reducing testing and development effort, while improving product quality.The broader impact/commercial potential of this project is to provide software tools to ensure the effectiveness of early software development. Computer device manufacturers are targeting fast-evolving segments, such as the mobile market, and face intense competition. To remain competitive, manufacturers are eager to adopt new technologies, such as virtual prototyping, to enable early software development. Conformance checking helps detect the inconsistencies between virtual and physical hardware, and thus helps cut product time-to-market. This project will also benefit vendors that build virtual prototyping platforms by extending the current feature set with conformance checking. The addition of these features will enable the full power of early software development using virtual prototyping, and will encourage more users to use their products.

这个小型企业创新研究计划（SBIR）I阶段项目是设计和开发自动符合检查解决方案，该解决方案可以快速检测虚拟设备和硬件原型之间的矛盾。计算机和消费电子制造商正面临越来越复杂的硬件设计，以及冗长，艰苦的软件和硬件集成过程。 为了解决紧迫的市场截止日期，许多制造商在可用硬件之前在虚拟设备上开发软件驱动程序。但是，要实现早期软件开发的好处，至关重要的是要确保虚拟设备和物理设备之间的一致性，以便通过虚拟设备开发的软件在物理设备可用时可以在物理设备上工作。 该项目将研究和设计工具，以帮助开发人员发现和报告不一致之处，目的是减少测试和开发工作，同时提高产品质量。该项目的更广泛的影响/商业潜力是提供软件工具，以确保早期软件开发的有效性。 计算机设备制造商的目标是快速发展的细分市场，例如移动市场，并面临激烈的竞争。为了保持竞争力，制造商渴望采用新技术，例如虚拟原型制作，以实现早期软件开发。符合性检查有助于检测虚拟和物理硬件之间的不一致之处，从而有助于缩短产品时间的时间。该项目还将通过扩展具有符合性检查的当前功能设置来使供应商受益，以构建虚拟原型制作平台。这些功能的添加将使早期软件开发的全部功能使用虚拟原型制作，并鼓励更多用户使用其产品。