Collaborative Research: CPS: Medium: Co-Designed Control and Scheduling Adaptation for Assured Cyber-Physical System Safety and Performance

协作研究：CPS：中：共同设计控制和调度适应，以确保网络物理系统的安全和性能

• 批准号: 2229290
• 负责人: Christopher Gill
• 金额: $ 59.76万
• 依托单位: Washington University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-04-15 至 2026-03-31
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2229290&HistoricalAwards=false
• 关键词: Collaborative; Research; CPS; Medium; Co

The safety and performance of cyber-physical systems (CPS) depend crucially on control and scheduling decisions that often are fixed at design time, which significantly restricts the conditions under which a system can operate both safely and with suitable performance. Going beyond prior work that has explored different control and scheduling adaptations in individual system designs, this project will conduct more general and in-depth investigations, into how cyber-physical systems’ control and scheduling can be co-designed to adapt jointly, automatically, dynamically, safely, and effectively even in response to rapid, large, and diverse changes in: (1) the system’s controlled behavior; (2) its environment; (3) its physical components; and (4) its platform software and hardware. Our project will immerse multiple graduate students in cross-disciplinary research, with extensive education, training, and mentoring spanning computer science, control theory, natural hazards engineering, structural engineering, mechanical engineering, and computer engineering. We will also involve undergraduate students via summer REU supplements and in-semester mentored independent study projects for academic credit, and will leverage our existing initiatives and relationships with partner organizations for K-12 outreach. As we have done in each of our previous collaborations, our multi-university team will recruit, mentor, and retain participants from groups traditionally under-represented in science and technology fields, leveraging effective and established outreach programs at our institutions. In this cross-disciplinary research project we will develop new formal models, analyses, system infrastructure, and evaluation metrics, to explicitly represent, respect, and even exploit control and scheduling inter-dependencies, to ensure that systems’ behaviors remain safe while enabling significant improvements in performance. The novel co-design approach we propose will enable radically improved cyber-physical system performance capabilities while respecting safety constraints that may cross-cut cyber and physical components and the system’s environment. For example, it will enable more extreme (but safely realizable) stress testing and adaptive management of mechanical systems and civil structures, to gauge and maintain resilience to significant (potentially adverse) changes to conditions in a system and its environment, and to enact adaptive mitigating responses accordingly.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

网络物理系统（CPS）的安全性和性能完全取决于通常在设计时固定的控制和调度决策，这极大地限制了系统可以安全地操作并具有适当性能的条件。超越了探索各个系统设计中不同控制和计划适应的先前工作，该项目将对网络物理系统的控制和调整如何进行共同设计，以共同，自动，动态，安全，安全，即使对快速，大型，大型，大型，大型，大型，大型和潜水系统的响应; （2）环境； （3）其物理成分； （4）其平台软件和硬件。我们的项目将通过广泛的教育，培训和心理跨越计算机科学，控制理论，自然危害工程，结构性工程，机械工程和计算机工程进行广泛的教育，培训和心理，将多个研究生浸入跨学科研究中。我们还将通过夏季REU补充剂和学期指导的独立研究项目来参与本科生，以获得学分，并利用我们现有的计划和与合作伙伴组织的K-12外展活动的关系。正如我们在以前的每个合作中所做的那样，我们的多元大学团队将招募，导师和留住参与者，传统上在科学和技术领域的人数不足，利用机构的有效和建立的外展计划。在这个跨学科研究项目中，我们将开发新的正式模型，分析，系统基础架构和评估指标，以明确表示，尊重，甚至利用控制和调度相互依存关系，以确保系统的行为保持安全，同时启用绩效的重大改进。我们提出的新型共同设计方法将实现从根本上改善的网络物理系统性能功能，同时尊重安全限制，这些安全限制可能会跨切割网络和物理组件以及系统的环境。例如，它将使机械系统和民用结构的更极端（但可以安全地实现）的压力测试和适应性管理，以衡量和保持对系统及其环境条件的重大（潜在不利）变化的韧性，并相应地进行自适应缓解的反应，以反映NSF的诚实依据，这表明了NSF的稳定范围，并具有诚实的支持。 标准。

项目成果

The Computational Complexity of Feasibility Analysis for Conditional DAG Tasks

• DOI: 10.1145/3606342
• 发表时间: 2023-07
• 期刊: ACM Transactions on Parallel Computing
• 影响因子: 1.6
• 作者: Sanjoy Baruah;A. Marchetti-Spaccamela

Elastic Scheduling for Fixed-Priority Constrained-Deadline Tasks

• DOI: 10.1109/isorc58943.2023.00014
• 发表时间: 2023-05
• 期刊: 2023 IEEE 26th International Symposium on Real-Time Distributed Computing (ISORC)
• 作者: M. Sudvarg;Sanjoy Baruah;Chris Gill

Improved Uniprocessor Scheduling of Systems of Sporadic Constrained-Deadline Elastic Tasks

零星约束期限弹性任务系统的改进单处理器调度

• DOI: 10.1145/3575757.3575759
• 发表时间: 2023
• 期刊: Proceedings of the 31st International Conference on Real-Time and Network Systems (RTNS
• 作者: Baruah, Sanjoy

Multi-Model Specifications and their Application to Classification Systems

• DOI: 10.1145/3575757.3575760
• 发表时间: 2023-06
• 期刊: Proceedings of the 31st International Conference on Real-Time Networks and Systems
• 作者: Alan Burns;Sanjoy Baruah

Parameterized Workload Adaptation for Fork-Join Tasks with Dynamic Workloads and Deadlines

• DOI: 10.1109/rtcsa58653.2023.00035
• 发表时间: 2023-08
• 期刊: 2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
• 作者: M. Sudvarg;Jeremy Buhler;R. Chamberlain;Christopher D. Gill;James H. Buckley;Wenlei Chen