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.