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

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

基本信息

  • 批准号:
    1645578
  • 负责人:
  • 金额:
    $ 29.96万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2018
  • 资助国家:
    美国
  • 起止时间:
    2018-10-01 至 2024-09-30
  • 项目状态:
    已结题

项目摘要

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的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(14)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
R2 IM- Robust and Resilient Intersection Management of Connected Autonomous Vehicles
R2 IM- 联网自动驾驶车辆的稳健且有弹性的交叉口管理
A run-time verification method with consideration of uncertainties for cyber–physical systems
一种考虑信息物理系统不确定性的运行时验证方法
  • DOI:
    10.1016/j.micpro.2023.104890
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    2.6
  • 作者:
    Mehrabian, Mohammadreza;Khayatian, Mohammad;Shrivastava, Aviral;Derler, Patricia;Andrade, Hugo
  • 通讯作者:
    Andrade, Hugo
Compatibility Checking for Autonomous Lane-Changing Assistance Systems
自动变道辅助系统的兼容性检查
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    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) 规则协同驾驶联网自动驾驶汽车
Accurate Cooperative Sensor Fusion by Parameterized Covariance Generation for Sensing and Localization Pipelines in CAVs
通过参数化协方差生成实现 CAV 中传感和定位管道的精确协作传感器融合
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Aviral Shrivastava其他文献

Compiler-in-the-loop exploration of programmable embedded systems
可编程嵌入式系统的编译器在环探索
  • DOI:
  • 发表时间:
    2006
  • 期刊:
  • 影响因子:
    0
  • 作者:
    N. Dutt;Aviral Shrivastava
  • 通讯作者:
    Aviral Shrivastava
Compiler Aided Design of Embedded Computers
嵌入式计算机的编译辅助设计
  • DOI:
    10.1201/9781420043839.ch3
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Aviral Shrivastava;N. Dutt
  • 通讯作者:
    N. Dutt
Smart compilers for reliable and power-efficient embedded computing
用于可靠且节能的嵌入式计算的智能编译器
  • DOI:
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Aviral Shrivastava;Reiley Jeyapaul
  • 通讯作者:
    Reiley Jeyapaul
Center for Embedded Computer Systems University of California , Irvine Partially Protected Caches to Reduce Failures due to Soft Errors in Mission-Critical Multimedia Systems
加州大学欧文分校嵌入式计算机系统中心对缓存进行部分保护,以减少关键任务多媒体系统中因软错误而导致的故障
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kyoungwoo Lee;Aviral Shrivastava;I. Issenin;N. Dutt;N. Venkatasubramanian
  • 通讯作者:
    N. Venkatasubramanian
A Dependable Detection Mechanism for Intersection Management of Connected Autonomous Vehicles (Interactive Presentation)
用于联网自动驾驶车辆交叉口管理的可靠检测机制(交互式演示)
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Rachel Dedinsky;M. Khayatian;Mohammadreza Mehrabian;Aviral Shrivastava
  • 通讯作者:
    Aviral Shrivastava

Aviral Shrivastava的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Aviral Shrivastava', 18)}}的其他基金

CAPA: Collaborative Research: Lightweight Abstract Memory Features
CAPA:协作研究:轻量级抽象内存功能
  • 批准号:
    1723476
  • 财政年份:
    2017
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Standard Grant
CSR: Small: Scaling the Real-time Capabilities of Powertrain Controller in Automotive Systems
CSR:小:扩展汽车系统中动力总成控制器的实时功能
  • 批准号:
    1525855
  • 财政年份:
    2015
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Standard Grant
I-Corps: Compiler Technology for Modern Many-core Architectures
I-Corps:现代多核架构的编译器技术
  • 批准号:
    1342156
  • 财政年份:
    2013
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Standard Grant
Air Option 1: Technology Translation - Compiler Technology for Modern Manycore Architectures
Air 选项 1:技术翻译 - 现代众核架构的编译器技术
  • 批准号:
    1343436
  • 财政年份:
    2013
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Standard Grant
CAREER: Compiler Techniques for Power-Efficient Protection Against Soft Errors
职业:针对软错误的高效节能保护的编译器技术
  • 批准号:
    1055094
  • 财政年份:
    2011
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Continuing Grant
CCF-SHF: CSR: Small: Compilation for Multi-core Processors with Limited Local Memories
CCF-SHF:CSR:小型:本地内存有限的多核处理器的编译
  • 批准号:
    0916652
  • 财政年份:
    2009
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Standard Grant

相似国自然基金

CPS 仿真中离散事件模型与连续时间模型的分布式协同运行问题研究
  • 批准号:
    2022JJ40559
  • 批准年份:
    2022
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
V2X环境下基于信息可信传输瓶颈的T-CPS协同建模与优化控制
  • 批准号:
    61963008
  • 批准年份:
    2019
  • 资助金额:
    39.0 万元
  • 项目类别:
    地区科学基金项目
协同网络攻击下电网CPS跨空间级联故障演化机理及早期防御研究
  • 批准号:
    51977155
  • 批准年份:
    2019
  • 资助金额:
    57.0 万元
  • 项目类别:
    面上项目
多异质电源微电网簇的CPS融合网络建模及多尺度分层协同方法研究
  • 批准号:
    2018JJ2051
  • 批准年份:
    2018
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
含多维异质分布式电源微电网簇的CPS分层协同及优化研究
  • 批准号:
    61773158
  • 批准年份:
    2017
  • 资助金额:
    65.0 万元
  • 项目类别:
    面上项目
miR-221/222和SIRT5协同调控CPS1介导的代谢重编程在肝癌进展中的作用及分子机制
  • 批准号:
    81702346
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
面向时空约束的CPS协同机制的形式化建模与分析
  • 批准号:
    61602177
  • 批准年份:
    2016
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
基于CPS和工业物联网的智能生产-物流系统自适应协同优化方法研究
  • 批准号:
    51675441
  • 批准年份:
    2016
  • 资助金额:
    63.0 万元
  • 项目类别:
    面上项目
基于时空一致性的CPS系统行为协同建模方法研究
  • 批准号:
    61472327
  • 批准年份:
    2014
  • 资助金额:
    80.0 万元
  • 项目类别:
    面上项目
基于混合Petri网的电力CPS协同建模与分析
  • 批准号:
    51407076
  • 批准年份:
    2014
  • 资助金额:
    23.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

CPS: Synergy: Collaborative Research: Towards Effective and Efficient Sensing-Motion Co-Design of Swarming Cyber-Physical Systems
CPS:协同:协作研究:实现集群网络物理系统的有效和高效的传感-运动协同设计
  • 批准号:
    1936599
  • 财政年份:
    2019
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Standard Grant
CPS: Synergy: Collaborative Research: DEUS: Distributed, Efficient, Ubiquitous and Secure Data Delivery Using Autonomous Underwater Vehicles
CPS:协同:协作研究:DEUS:使用自主水下航行器进行分布式、高效、无处不在和安全的数据传输
  • 批准号:
    1853257
  • 财政年份:
    2018
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Standard Grant
CPS: Synergy: Collaborative Research: TickTalk: Timing API for Federated Cyberphysical Systems
CPS:协同:协作研究:TickTalk:联合网络物理系统的计时 API
  • 批准号:
    1646235
  • 财政年份:
    2018
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Standard Grant
CPS: Synergy: Collaborative Research: Control of Vehicular Traffic Flow via Low Density Autonomous Vehicles
CPS:协同:协作研究:通过低密度自动驾驶车辆控制车流
  • 批准号:
    1854321
  • 财政年份:
    2018
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Standard Grant
CPS: Medium: Collaborative Research: Synergy: Augmented reality for control of reservation-based intersections with mixed autonomous-non autonomous flows
CPS:中:协作研究:协同作用:用于控制具有混合自主-非自主流的基于预留的交叉口的增强现实
  • 批准号:
    1739964
  • 财政年份:
    2018
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Continuing Grant
CPS: Synergy: Collaborative Research: Foundations of Secure Cyber-Physical Systems of Systems
CPS:协同:协作研究:安全网络物理系统的基础
  • 批准号:
    1901728
  • 财政年份:
    2018
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Standard Grant
CPS: TTP Option: Synergy: Collaborative Research: An Executable Distributed Medical Best Practice Guidance (EMBG) System for End-to-End Emergency Care from Rural to Regional Center
CPS:TTP 选项:协同:协作研究:用于从农村到区域中心的端到端紧急护理的可执行分布式医疗最佳实践指导 (EMBG) 系统
  • 批准号:
    1842710
  • 财政年份:
    2018
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Continuing Grant
CPS: Synergy: Collaborative Research: MRI Powered & Guided Tetherless Effectors for Localized Therapeutic Interventions
CPS:协同作用:协作研究:MRI 驱动
  • 批准号:
    1646566
  • 财政年份:
    2017
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Standard Grant
Synergy: Collaborative: CPS-Security: End-to-End Security for the Internet of Things
协同:协作:CPS-安全:物联网的端到端安全
  • 批准号:
    1822332
  • 财政年份:
    2017
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Continuing Grant
CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems
CPS:协同:协作研究:支持可编程物联网系统的安全性
  • 批准号:
    1646392
  • 财政年份:
    2017
  • 资助金额:
    $ 29.96万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了