SBIR Phase I: Secure Real-time For Medical Consumer Electronics

SBIR 第一阶段：医疗消费电子产品的安全实时

• 批准号: 1248583
• 负责人: Ethan Blanton
• 金额: $ 12.68万
• 依托单位: Fiji Systems LLC
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-01-01 至 2013-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1248583&HistoricalAwards=false
• 关键词: SBIR; Phase; Secure; Real; time

This Small Business Innovation Research (SBIR) Phase I project proposes the creation of a mixed-criticality Java virtual machine (VM) and native code hypervisor of unprecedented flexibility and capability. Current generation mixed-criticality systems rely on proprietary and expensive operating systems, limiting the adoption of such systems and their attendant benefits. Classic mixed-criticality approaches trade off expressivity and flexibility for safety and verifiability. As such, they are currently limited to specialized hard real-time market sectors, like avionics. Cutting edge research in compiler design, virtual machine scheduling, transactional memory, and mixed-criticality communication will be combined with an existing VM and traditional mixed-criticality hypervisor to create a nontraditional mixed-criticality hypervisor combining the best features of hard real-time Java, mixed-criticality systems, and flexible off-the-shelf software development capabilities. This research will address just in time compilation and runtime code insertion for hard real-time environments, flexible soft real-time time partitioning for virtual machine hypervisors, hard real time transactional memory protocols, and time- and space-partitioned hard real time communication mechanisms.The broader impact/commercial potential of this product is the great reduction of time and cost for development and increased reliability of mixed-criticality software systems. Embedded real-time software can be found in automobiles, aircraft, satellites, medical devices, and many other applications. Java-based mixed-criticality solutions offer to reduce development time and costs, while attaining high fidelity software with provable guarantees. By reducing time-to-market and costs, the technology in this proposal will enable faster innovation in a potentially large number of embedded software markets. More specifically, the cost-effective creation of the next generation of medical devices with provable guarantees ensuring both patient health and patient privacy, thereby enabling the further modernization of medicine, while adhering to regulatory guidelines set forth by government entities. In addition, the software developed in this proposal will be available free of charge as open-source software to be used by the academic and scientific communities for non-commercial purposes.

这个小型企业创新研究（SBIR）第一阶段项目建议创建一个混合关键的Java虚拟机（VM）和具有前所未有的灵活性和能力的本地代码管理程序。当前一代混合临界系统依赖于专有且昂贵的操作系统，限制了此类系统的采用及其附带的好处。经典的混合临界方法在安全性和可验证性方面牺牲了表现力和灵活性。因此，它们目前仅限于专门的硬实时市场领域，如航空电子设备。在编译器设计、虚拟机调度、事务性内存和混合临界通信方面的前沿研究将与现有的VM和传统的混合临界管理程序相结合，以创建一个结合硬实时Java、混合临界系统和灵活的现成软件开发能力的非传统混合临界管理程序。本研究将讨论硬实时环境的即时编译和运行时代码插入、虚拟机管理程序的灵活软实时分区、硬实时事务性内存协议以及时间和空间分区的硬实时通信机制。该产品更广泛的影响/商业潜力是大大减少了开发时间和成本，并提高了混合临界软件系统的可靠性。嵌入式实时软件可以在汽车、飞机、卫星、医疗设备和许多其他应用中找到。基于java的混合临界性解决方案可以减少开发时间和成本，同时获得具有可证明保证的高保真软件。通过缩短上市时间和成本，本提案中的技术将在潜在的大量嵌入式软件市场中实现更快的创新。更具体地说，创造具有成本效益的下一代医疗设备，并提供可证明的保障，确保患者健康和患者隐私，从而能够进一步实现医学现代化，同时遵守政府实体制定的监管准则。此外，本提案中开发的软件将作为开源软件免费提供，供学术界和科学界用于非商业目的。