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

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

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.