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

嵌入式设备的激增和无线网络技术的显著进步导致了开放式、分布式、实时和嵌入式(ODRE)系统和应用的出现，进一步扩大了我们社会的数字主干。这些应用涉及越来越多的小型动态并发对象，这些对象必须一起满足多种类型的服务质量要求。因此，需要一种新的范例来降低复杂性并简化这些系统的开发。将ODRE系统视为协调和并发计算的组合，可以分离这两个关注点，并允许更高级别的抽象。然而，只有在满足以下基本要求的情况下，这些优势才能充分实现。首先，必须有一个关注于服务质量约束下的协调的、分散的、外生的、可扩展的、稳定的协调模型；其次，为了对服务质量约束进行推理，必须提供一个统一表示这些不同类型约束的形式化模型。第三，必须提供支持协调抽象的工具，以促进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.