CSR: Small: Network-Level Design of Cyber-Physical Systems

CSR：小型：信息物理系统的网络级设计

• 批准号: 1421642
• 负责人: Andreas Gerstlauer
• 金额: $ 48.83万
• 依托单位: University of Texas at Austin
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-10-01 至 2018-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1421642&HistoricalAwards=false
• 关键词: CSR; Small; Network; Level; Design

Cyber-physical systems (CPS) are engineered systems that are built from, and depend upon, the seamless integration of computational algorithms and physical components. CPS promise to revolutionize how we approach global societal-scale problems, through application of machine intelligence and autonomy in areas such as energy, healthcare, and transportation. A key element of the CPS promise depends on achieving effective networking of hitherto disconnected computer systems. However, the networked aspect of CPS also poses new design challenges. Machine-to-machine communication comes with inherent uncertainties, such as data losses, yet CPS have to perform under tight real-time, reliability, safety, efficiency and performance guarantees. When combined with rapidly growing increases in complexity, traditional approaches in which computation and communication aspects of such networked systems are designed separately, and in an ad-hoc manner, hinder achieving system-wide correctness guarantees and leave a large optimization potential untapped. The long-term goal of this project is to close this gap by investigating novel, systematic, and ultimately automated design approaches that enable network-wide optimization and validation of CPS across computation and communication boundaries. This is expected to advance how future intelligent and autonomous cyber-physical systems are designed, enabling whole new classes of smart applications to emerge.The foundation for any rigorous design process is a sound formalization with well-defined abstractions and models that allow users or automated tools to reason about intended behavior before a system is built. While the integration of cyber and physical models has been studied, comparable theories for a unification of computation and communication are lacking. A key question is how application-specific notions of real-time behavior and quality-of-service can be provided for overall optimized implementations in the presence of inherent uncertainty, adaptivity and reactivity in networked and distributed CPS. This project aims to answer such questions by exploring formal foundations for a network-level computation and communication co-design science for cyber-physical systems. Specific innovations include: formal models of computation and communication for system specification, including associated analysis and synthesis algorithms; fast yet accurate performance models for rapid, early validation, including associated model generation, synthesis and design space exploration capabilities. These innovations are evaluated in the context of specific cyber-physical system case studies, including virtual and physical testbeds. Research is combined with an educational agenda aimed at establishing a holistic view of networking and embedded computing, including public release of models and tools as they are developed, as well as development of online teaching materials for a broad audience.

网络物理系统（CPS）是一种工程系统，它是基于并依赖于计算算法和物理组件的无缝集成而构建的。CPS承诺通过在能源、医疗保健和交通等领域应用机器智能和自动化，彻底改变我们处理全球社会规模问题的方式。CPS承诺的一个关键要素取决于实现迄今为止断开的计算机系统的有效联网。然而，CPS的网络化方面也提出了新的设计挑战。机器对机器通信具有固有的不确定性，例如数据丢失，但CPS必须在严格的实时性，可靠性，安全性，效率和性能保证下执行。当与快速增长的复杂性相结合时，传统的方法，其中这种网络系统的计算和通信方面是分开设计的，并且以自组织的方式，阻碍了实现系统范围的正确性保证，并留下了巨大的优化潜力未开发。该项目的长期目标是通过研究新颖的，系统的，最终自动化的设计方法来缩小这一差距，这些方法可以跨计算和通信边界进行CPS的网络范围优化和验证。这有望推动未来智能和自主网络物理系统的设计，使全新类别的智能应用得以出现。任何严格设计过程的基础都是具有定义良好的抽象和模型的合理形式化，这些抽象和模型允许用户或自动化工具在构建系统之前推理预期行为。虽然已经研究了网络和物理模型的整合，但缺乏统一计算和通信的可比理论。一个关键的问题是如何应用程序的实时行为和服务质量的具体概念可以提供整体优化的实施中存在的固有的不确定性，适应性和反应性，在网络和分布式CPS。该项目旨在通过探索网络物理系统的网络级计算和通信协同设计科学的正式基础来回答这些问题。具体创新包括：用于系统规范的计算和通信的正式模型，包括相关的分析和综合算法;用于快速、早期验证的快速而准确的性能模型，包括相关的模型生成、综合和设计空间探索能力。这些创新是在特定的网络物理系统案例研究的背景下进行评估的，包括虚拟和物理测试平台。研究与教育议程相结合，旨在建立网络和嵌入式计算的整体观点，包括公开发布开发的模型和工具，以及为广大受众开发在线教材。

项目成果

Network-level Design Space Exploration of Resource-constrained Networks-of-Systems

资源受限系统网络的网络级设计空间探索

• DOI: 10.1145/3387918
• 发表时间: 2020
• 期刊: ACM Transactions on Embedded Computing Systems
• 影响因子: 2
• 作者: Zhao, Zhuoran;Barijough, Kamyar Mirzazad;Gerstlauer, Andreas
• 通讯作者: Gerstlauer, Andreas

Quality/Latency-Aware Real-time Scheduling of Distributed Streaming IoT Applications

• DOI: 10.1145/3358209
• 发表时间: 2019-10
• 期刊: ACM Transactions on Embedded Computing Systems (TECS)
• 作者: Kamyar Mirzazad Barijough;Zhuoran Zhao;A. Gerstlauer