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

合作研究：CSR---EHS：嵌入式和混合系统的语义域集成

• 批准号: 0615035
• 负责人: Douglas Niehaus
• 金额: $ 10万
• 依托单位: University of Kansas Center for Research Inc
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-09-15 至 2010-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0615035&HistoricalAwards=false
• 关键词: Collaborative; Research; CSR; EHS; Semantic

ABSTRACTProposal: 0615035 Douglas NiehausUniversity of Kansas"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 coordinating computation, 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.

摘要Propopal：0615035堪萨斯州的Douglas Niehausuniversity“ CSR-EHS：嵌入式和混合系统的语义域集成”社会越来越依赖于复杂的关键任务临界工程系统，例如用于电网的复杂任务至关重要的系统。正如最近的北美和欧洲电力电网中断所示，这些系统的潜在失败使安全，健康和经济关注对危险至关重要。为了保护这些重要利益，至关重要的是，这些工程系统保持对物理特性（例如电力流的路由和质量）的严格控制。为了控制这些物理属性，管理这些工程系统的系统软件必须监视，评估和响应物理系统的变化，同时还可以协调跨异构和随时间变化的应用程序要求的计算，通信，传感和驱动资源。但是，当前在以下系统域之间缺乏集成，限制了系统开发人员进行如此精确控制的能力：（1）特定于应用程序的服务质量（QOS）语义； （2）用于实现应用程序的系统软件组件的QoS语义； （3）严格的资源管理，以确保可以满足应用级的QoS要求； （4）通过在每个系统领域中开发相互一致的形式和可验证的模型，在每个系统域中开发相互一致的形式和可验证的模型，在每个系统领域中开发相互一致的形式和可验证的策略和机制来跨越精确的行为控制，并在跨度的行为上启动了详细的归因，并启用了详细的归因性，并且在范围内进行了跨越的归因，从而使系统域相互一致，并在范围内进行跨越的富有成效的控制，从而使这些系统的正式模型和机制相互融合，从而使这些系统范围毫无相关地构成了既定的，又可以在范围内弥补，从而使这些系统既定的富有成索，否则将进行精确的归因，并促进精确的影响力，并将其置于详细的归因性，并将其置于跨度的行为上运行式timecontrol保真度。这些系统域的严格集成将在系统域的语义之间实现更大的对应关系，从而为复杂的关键任务工程系统中的系统准确性和可靠性革命性改善提供了基础。在此过程中，这项研究将推进工程系统中的最新技术，并提高系统开发人员应对关键挑战的能力，例如防止（或至少减轻）级联电网系统故障。