Collaborative Research: CSR---EHS: Semantic Domain Integration for Embedded and Hybrid Systems

摘要提案：0615341 PI姓名：Gill，ChristopherWashington University“CSR-EHS：嵌入式和混合系统的语义域集成”社会越来越依赖于复杂的关键任务工程系统，例如，用于电网管理。这些系统的潜在故障，正如最近北美和欧洲电网中断所看到的那样，将危及国家重大利益的安全，健康和经济问题。为了保护这些重要利益，这些工程系统必须严格控制物理特性，例如功率流的路由和质量。为了控制这些物理特性，管理这些工程系统的系统软件必须监视、评估和响应物理系统中的变化，同时还要协调异构和时变应用需求中的计算、通信、传感和驱动资源。然而，目前缺乏以下系统域之间的集成限制了系统开发人员施加这种精确控制的能力：（1）特定于应用的服务质量（QoS）语义;（2）用于实现应用的系统软件组件的QoS语义;（3）严格的资源管理以确保可以满足应用级QoS需求;（4）高保真控制所需的系统软件和物理系统行为的精确信息。本研究采用了一种新的方法来集成这些系统域，迄今为止这些系统域已经被分开处理，通过在每个系统域中开发相互一致的形式化和可验证的模型，设计新颖的策略和机制，用于跨系统域进行精确的运行时控制，并支持有效和及时地收集和分发详细的行为信息，以提高运行时控制的保真度。这些系统域的严格集成将在系统域的语义之间实现更大的对应性，为复杂任务关键工程系统的系统精度和可靠性的革命性改进奠定基础。在这样做的过程中，这项研究将推进工程系统的最新技术水平，并提高系统开发人员解决关键电流挑战的能力，例如防止（或至少减轻）级联电网系统故障。

ABSTRACTProposal:0615341 PI Name:Gill, ChristopherWashington University"CSR-EHS: Semantic Domain Integration for Embedded and Hybrid Systems" Society is increasingly dependent on complex mission-critical engineered systems, e.g., for power grid management. The potential failure of these systems, as was seen in the recent North American and European power grid outages, puts safety, health, and economic concerns of vital national interest in jeopardy. To protect these vital interests, it is crucial that these engineered systems maintain rigorous control over physical properties such as the routing and quality of power flows. To control these physical properties, the system software that manages these engineered systems must monitor, evaluate, and respond to changes in the physical system, while also coordinatingcomputation, communication, sensing and actuation resources across heterogeneous and time-varying application requirements. However, a current lack of integration among the following system domains limits the ability of system developers to exert such precise control: (1) application-specific quality of service (QoS) semantics; (2) the QoS semantics of the system software components used to implement the application;(3) rigorous resource management to ensure application-level QoS requirements can be met; and (4) precise information about the behavior of the system software and the physical system needed for high fidelity control.This research takes a novel approach to integrating these system domains, which so far have been addressed disjointly, by developing mutually consistent formal and verifiable models in each system domain, designing novel policies and mechanisms for exerting precise run-time control across system domains, and supporting efficient and timely collection and dissemination of detailed behavioral information to improve run-timecontrol fidelity. The rigorous integration of these system domains will achieve a much greater correspondence among the system domains' semantics, establishing a foundation for revolutionary improvements in system accuracy and reliability in complex mission-critical engineered systems. In doing so, this research will advance the state of the art in engineered systems and increase system developers' ability to address keycurrent challenges, such as preventing (or at least mitigating) cascading power grid system failures.