CAREER: Enabling Adaptable, Object Oriented, Real-time Systems

移动嵌入式系统中对实时保证的日益增长的需求带来了一系列独特的挑战，包括更改软件、即时(JIT)编译以及不同关键级别的应用程序之间的动态交互。该项目开发了一些技术来提供对软件系统的适应性，这些软件系统需要严格的正确性和时间保证。这项工作的新颖性在于开发了确保适配软件正确性和及时性的新技术，开发了减轻适配软件开发负担的新编程模型，并开发了适配软件执行平台。这项工作的影响将通过在传感、个性化医疗保健、指挥和控制以及汽车领域的移动应用程序中提供可预测的执行，以及为布法罗公立学区的教师提供移动编程主题的专业发展来感受到。此外，该奖项还支持对博士生的培训和将研究整合到教育材料中。该项目调查语言级别、编译器和运行时技术，以使自适应实时系统的构建成为可能。该项目开发了一种新颖的分区运行时，包括支持执行多个实时和非实时应用程序，具有具体可预测性保证的跨应用程序通信抽象，以及分区的虚拟机级服务，如JIT编译和垃圾收集。运行时具有足够的表现力来支持Android的API和执行模型，同时还提供了实时支持所需的可预测性保证。此外，该项目开发了一系列验证机制，以确保移动系统的实时保证，并构建了一个表达实时系统适应性的编程模型。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

The increasing need for real-time guarantees in mobile embedded systems poses a unique set of challenges, including changing software, just-in-time (JIT) compilation, and dynamic interactions between applications of differing criticality levels. This project develops techniques to provide adaptability to software systems that require stringent correctness and timing guarantees. The novelty of this work is in the development of new techniques to ensure the correctness and timeliness of adaptive software, new programming models to ease the development burden of adaptive software, and the development of an execution platform for adaptive software. The impacts of this work will be felt by providing predictable execution in mobile applications for sensing, personalized health care, command and control, and automotive domains, as well as providing professional development on the topic of mobile programming to teachers in the Buffalo Public School district. Additionally, this award supports the training of Ph.D. students and integration of research into educational materials.This project investigates language level, compiler, and run-time techniques that enable the construction of adaptive real-time systems. The project develops a novel, partitioned run-time, including support for executing multiple real-time and non real-time applications, cross application communication abstractions with concrete predictability guarantees, as well as partitioned virtual machine-level services, such as JIT compilation and garbage collection. The run-time is expressive enough to support Android's APIs and execution model, yet affords predictability guarantees necessary for real-time support. Furthermore, the project develops a series of validation mechanisms that ensure real-time guarantees for mobile systems, and constructs a programming model that expresses adaptability in real-time systems.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.