CAREER: Behavior-Based Coordination for Open Distributed Real-Time and Embedded Computing

嵌入式设备的激增和无线网络技术的显著进步导致了开放分布式实时和嵌入式（ODRE）系统和应用的出现，这进一步扩展了我们社会的数字骨干。 这些应用程序涉及越来越多的小型动态并发对象，必须一起满足多种类型的QoS要求。 因此，需要一个新的范例，以减少这些系统的复杂性和方便的开发正在增长。将ODRE系统视为协调和并发计算的组合物，这两个关注点，并允许更高层次的抽象。 然而，只有满足以下基本要求，才能充分实现这些优点。首先，它是必不可少的，有一个协调模型，专注于QoS约束下的协调，是分散的，外生的，可扩展的和稳定的。其次，为了推理QoS约束，一个正式的模型，统一表示这些不同类型的约束必须提供。第三，必须提供支持协调抽象的工具，以促进ODRE应用程序的开发。 该项目致力于满足这些要求。与行业和实验室合作，并在现实世界的应用环境中逐步评估研究成果是该项目的两个额外的关键方面。 这确保了结果是相关的，可用于提高关键软件的鲁棒性。 此外，来自行业的合作和榜样丰富了学生？学习环境，并为他们提供在实时嵌入式计算领域取得成功所需的支持。

The proliferation of embedded devices and significant advances of wireless network technologies have led to the emergence of Open Distributed Real-time and Embedded (ODRE) systems and applications which further the expansion of our society's digital backbone. These applications involve an increasingly large number of small dynamic concurrent objects that must together satisfy multiple types of QoS requirements. As such, the need for a new paradigm to reduce the complexity and ease the development of these systems is growing.Viewing ODRE systems as compositions of coordination and concurrent computation decouples the two concerns and allows higher levels of abstractions. However, these advantages can only be fully realized if the following fundamental requirements are met. First, it is essential to have a coordination model that focuses on coordination under QoS constraints, and is decentralized, exogenous, scalable and stable.Second, in order to reason about QoS constraints, a formal model that uniformly represents these different types of constraints must be provided. Third, tools that support coordination abstractions must be available to facilitate the development of ODRE applications. This project is devoted to meeting these requirements.Collaborating with industry and laboratories and progressively evaluating research results in real-world application settings are two additional key facets of this project. This ensures that the results are relevant and usable in improving the robustness of critical software. In addition, the collaboration and role models from industry enrich the students? learning environment and provide them the support needed for successful careers in real-time embedded computing.