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

这个小型企业创新研究（SBIR）第一阶段项目提出创建一个混合关键性Java虚拟机（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.