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

职业：实现适应性强、面向对象的实时系统

• 批准号: 1749539
• 负责人: Lukasz Ziarek
• 金额: $ 50万
• 依托单位: SUNY at Buffalo
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-03-01 至 2024-02-29
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1749539&HistoricalAwards=false
• 关键词: CAREER; Enabling; Adaptable; Object; Oriented

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.

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

项目成果

RTMLton: An SML Runtime for Real-Time Systems

RTMLton：实时系统的 SML 运行时

• DOI: 10.1007/978-3-030-39197-3_8
• 发表时间: 2020
• 期刊: International Symposium on Practical Aspects of Declarative Languages
• 作者: Bhargav Shivkumar, Jeffrey Murphy

Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness

• DOI: 10.1145/3289257
• 发表时间: 2019-01
• 期刊: ACM Transactions on Embedded Computing Systems (TECS)
• 作者: Yin Yan;G. Gokul;Karthik Dantu;Steven Y. Ko;Lukasz Ziarek;J. Vitek

Synchronous Message-Passing with Priority

带优先级的同步消息传递

• DOI: 10.1007/978-3-030-67438-0_3
• 发表时间: 2021
• 期刊: Practical Aspects of Declarative Languages. PADL 2021
• 作者: Chuang, CE.;Iraci, G.;Ziarek, L.
• 通讯作者: Ziarek, L.

Developing a Zen Click Fraud Detection Framework Using Smart Contracts

使用智能合约开发 Zen Click 欺诈检测框架

• DOI: 10.24251/hicss.2022.888
• 发表时间: 2022
• 期刊: Proceedings of the Annual Hawaii International Conference on System Sciences
• 作者: Sanders, Sean;Ziarek, Luke
• 通讯作者: Ziarek, Luke

Understanding Bounding Functions in Safety-Critical UAV Software

了解安全关键型无人机软件中的边界功能

• DOI: 10.1109/icse43902.2021.00119
• 发表时间: 2021
• 期刊: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE
• 作者: Liang, Xiaozhou;Burns, John Henry;Sanchez, Joseph;Dantu, Karthik;Ziarek, Lukasz;Liu, Yu David
• 通讯作者: Liu, Yu David