CPS: Synergy: Collaborative Research: TickTalk: Timing API for Federated Cyberphysical Systems

CPS：协同：协作研究：TickTalk：联合网络物理系统的计时 API

• 批准号: 1645578
• 负责人: Aviral Shrivastava
• 金额: $ 29.96万
• 依托单位: Arizona State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-10-01 至 2024-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1645578&HistoricalAwards=false
• 关键词: CPS; Synergy; Collaborative; Research; TickTalk

The goal of this research is to enable a broad spectrum of programmers to successfully create apps for distributed computing systems including smart and connected communities, or for systems that require tight coordination or synchronization of time. Creating an application for, say, a smart intersection necessitates gathering information from multiple sources, e.g., cameras, traffic sensors, and passing vehicles; performing distributed computation; and then triggering some action, such as a warning. This requires synchronization and coordination amongst multiple interacting devices including systems that are Internet of Things (IoT) devices that may be connected to safety critical infrastructure. Rather than burden the programmer with understanding and dealing with this complexity, we seek a new programming language, sensor and actuator architecture, and communications networks that can take the programmer's statements of "what to do" and "when to do", and translate these into "how to do" by managing mechanisms for synchronization, power, and communication. This approach will enable more rapid development of these types of systems and can have significant economic development impact.The proposed approach has four parts: (1) creating a new programming language that embeds the notion of timing islands -- groups of devices that cooperate and are occasionally synchronized; (2) creating a network-wide runtime system that distributes and coordinates the action of code blocks -- portions of the program -- across devices; (3) extending the capabilities of communications networks to improve the ability to synchronize devices and report the quality of synchronization back to the runtime system, enabling adaptive program behavior; and (4) extending device hardware architecture to support synchronization and time-respecting operation.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.

这项研究的目的是使广泛的程序员能够成功创建用于分布式计算系统在内的分布式计算系统的应用程序，或者用于需要紧密协调或同步时间的系统。例如，为智能交叉点创建应用程序，需要从多个来源收集信息，例如相机，交通传感器和通过车辆；执行分布式计算；然后触发一些动作，例如警告。这需要在多个交互设备之间进行同步和协调，包括可能连接到安全关键基础架构的物联网（IoT）设备的系统。我们没有为程序员理解和处理这种复杂性负担，而是寻求一种新的编程语言，传感器和执行器体系结构以及通信网络，这些网络可以采用程序员的陈述“做什么”和“何时要做”，并通过管理同步，势力和通信的管理机制来将其转化为“如何做”。这种方法将使这些类型的系统能够更快地发展，并可以产生重大的经济发展影响。该方法有四个部分：（1）创建一种新的编程语言，该语言嵌入了定时岛的概念，即合作并偶尔同步的设备组； （2）创建一个网络范围的运行时系统，该系统跨设备分发并协调代码块的操作 - 程序的部分 - 程序； （3）扩展通信网络的功能以提高同步设备的能力，并将同步质量报告回运行时系统，从而实现自适应程序行为； （4）扩展设备硬件体系结构以支持同步和倍程的操作。该奖项反映了NSF的法定任务，并被认为是值得通过基金会的知识分子优点和更广泛的影响评估标准通过评估来支持的。

项目成果

A run-time verification method with consideration of uncertainties for cyber–physical systems

一种考虑信息物理系统不确定性的运行时验证方法

• DOI: 10.1016/j.micpro.2023.104890
• 发表时间: 2023
• 期刊: Microprocessors and Microsystems
• 影响因子: 2.6
• 作者: Mehrabian, Mohammadreza;Khayatian, Mohammad;Shrivastava, Aviral;Derler, Patricia;Andrade, Hugo
• 通讯作者: Andrade, Hugo

Compatibility Checking for Autonomous Lane-Changing Assistance Systems

自动变道辅助系统的兼容性检查

• 发表时间: 2022
• 作者: Huang, Po-Yu;Liu, Kai-Wei;Li, Zong-Lun;Park, Sanggu;Andert, Edward;Lin, Chung-Wei;Shrivastava, Aviral
• 通讯作者: Shrivastava, Aviral

Cooperative driving of connected autonomous vehicles using responsibility-sensitive safety (RSS) rules

使用责任敏感安全 (RSS) 规则协同驾驶联网自动驾驶汽车

• DOI: 10.1145/3450267.3450530
• 发表时间: 2021
• 期刊: ACM/IEEE 12th International Conference on Cyber-Physical Systems
• 作者: Khayatian, Mohammad;Mehrabian, Mohammadreza;Allamsetti, Harshith;Liu, Kai-Wei;Huang, Po-Yu;Lin, Chung-Wei;Shrivastava, Aviral
• 通讯作者: Shrivastava, Aviral

Plan B - Design Methodology for Cyber-Physical Systems Robust to Timing Failures

B 计划 - 对时序故障具有鲁棒性的信息物理系统设计方法

• DOI: 10.1145/3516449
• 发表时间: 2022
• 期刊: ACM Transactions on Cyber-Physical Systems
• 影响因子: 2.3
• 作者: Khayatian, Mohammad;Mehrabian, Mohammadreza;Andert, Edward;Grimsley, Reese;Liang, Kyle;Hu, Yi;McCormack, Ian;Joe-Wong, Carlee;Aldrich, Jonathan;Iannucci, Bob
• 通讯作者: Iannucci, Bob

Accurate Cooperative Sensor Fusion by Parameterized Covariance Generation for Sensing and Localization Pipelines in CAVs

通过参数化协方差生成实现 CAV 中传感和定位管道的精确协作传感器融合

• DOI: 10.1109/itsc55140.2022.9922598
• 发表时间: 2022
• 期刊: Accurate Cooperative Sensor Fusion by Parameterized Covariance Generation for Sensing and Localization Pipelines in CAVs
• 作者: Andert, Edward;Shrivastava, Aviral
• 通讯作者: Shrivastava, Aviral