CAREER: Real-Time Platform Virtualization in Multiprocessor Systems: Temporal Isolation and Allocation

实时嵌入式系统的标准平台体系结构已逐渐从单处理器平台转移到多处理器平台。 最近向多处理器平台架构的转变已经导致在共享处理平台上的多个子系统的增强的合并和集成，部分地由虚拟化执行环境（VEE）技术辅助。 子系统集成方法的潜在影响是集成系统的尺寸、重量和功率（SWaP）要求比非集成系统显著降低。 然而，更紧密的物理集成的子系统在一个共享的处理平台上引入了基本的问题，处理器的计算资源应如何有效地分配之间的偶然的子系统和实时子系统之间的时间隔离应如何实现。 这个NSF CAREER项目的总体目标是通过开发有效的实时调度算法，形式化分析和工具来支持多核VEE平台上子系统的可调时间隔离，从而获得上述问题的解决方案。该项目的具体研究目标是：有效的系统和子系统的实时调度算法的VEE框架，协议的子系统之间的资源共享，可扩展性分析，并实现一个VEE控制的实时机器人系统。 该项目的教育目标是通过以下方式提高对构建和验证时间正确系统的重要性的整体认识和理解：从代表性不足的人群中招募研究生和本科生参与嵌入式系统研究;开发嵌入式系统课程和推广培训计划;向K-12学生介绍通用嵌入式系统概念;并为学生、研究人员和教职员工开发在线实时系统库。

The standard platform architecture for real-time embedded systems has increasingly shifted away from single processor platforms to multiprocessor platforms. The recent shift towards multiprocessor platform architectures has resulted in increased consolidation and integration of multiple subsystems upon shared processing platforms, aided in part by virtualization execution environment (VEE) technologies. The potential impact of the subsystem-integration approach is a significant reduction in the size, weight, and power (SWaP) requirements of integrated systems over non-integrated systems. However, the tighter physical integration of subsystems upon a shared processing platform introduces fundamental questions on how the processor's computational resources should be effectively allocated among the contingent subsystems and how temporal isolation between real-time subsystems should be achieved. The overall objective of this NSF CAREER project is to obtain solutions to the above questions via development of effective real-time scheduling algorithms, formal analysis, and tools for supporting tunable temporal isolation of subsystems upon a multicore VEE platform. The specific research objectives of the project are: effective system and subsystem real-time scheduling algorithms for VEE frameworks, protocols for resource sharing between subsystems, schedulability analysis, and implementation of a VEE for controlling a real-time robotic system. The educational goal of the project is to increase overall awareness and understanding of the importance of building and verifying temporally correct systems by: recruiting graduate and undergraduate students from underrepresented populations into embedded systems research; developing embedded systems curriculum and outreach training program; introducing K-12 students to general embedded systems concepts; and developing online real-time systems repository for students, researchers, and faculty.