CCF: Medium: Enabling Real-Time Quantitative Decision Making over Streaming Data

CCF:中:通过流数据实现实时定量决策

基本信息

  • 批准号:
    1763514
  • 负责人:
  • 金额:
    $ 120万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2018
  • 资助国家:
    美国
  • 起止时间:
    2018-06-01 至 2023-05-31
  • 项目状态:
    已结题

项目摘要

A key component of an effective Internet of Things (IoT) system is the ability to make decisions in real-time in response to data it receives. While the exact logic for making decisions in different applications requires domain-specific insights, it typically relies on computing quantitative summaries of large data streams in an efficient and incremental manner. Programming the desired logic is challenging due to the enormous volume of data and hard constraints on available memory and response time. This project aims to assist IoT programmers in meeting this challenge by designing a query language with natural and high-level constructs suitable for processing streaming data, supported by a compiler and run-time system to facilitate deployment while meeting the constraints of desired accuracy, memory footprint, and real-time response.The design of the query language draws upon insights from two distinct paradigms: extensions of relational query languages for handling streaming data, and state-based languages for runtime monitoring and synchronous programming. The novel integration of linguistic constructs allows the programmer to impart input data stream a logical hierarchical structure and also employ relational constructs to partition the input data by keys and to merge data streams from different sensors. While theory of approximation and streaming algorithms allows exploration of trade-offs among language features, accuracy, and processing time during compilation, distributed platforms such as Apache Storm are used for high performance processing. Two application domains, device monitoring for physiological patient data and dynamic monitoring of network traffic for anomalies, are used for experimental evaluation. A course module on predictable real-time decision making is being developed, and can be used in an undergraduate course on data science, in graduate courses on database systems and cyber-physical systems, in summer schools, and as tutorials.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)系统的一个关键组成部分是能够实时响应接收到的数据做出决策。虽然在不同应用程序中做出决策的确切逻辑需要特定领域的见解,但它通常依赖于以高效和增量的方式计算大型数据流的定量摘要。由于数据量巨大以及对可用内存和响应时间的严格限制,对所需逻辑进行编程具有挑战性。该项目旨在帮助物联网程序员应对这一挑战,设计一种具有适合处理流数据的自然和高级结构的查询语言,由编译器和运行时系统支持,以促进部署,同时满足所需的准确性,内存占用和实时响应的约束。查询语言的设计借鉴了两种不同范式的见解:用于处理流数据的关系查询语言的扩展,以及用于运行时监控和同步编程的基于状态的语言。语言结构的新颖集成允许程序员赋予输入数据流逻辑层次结构,并且还采用关系结构来按键划分输入数据并合并来自不同传感器的数据流。虽然近似理论和流算法允许在编译期间探索语言功能,准确性和处理时间之间的权衡,但Apache Storm等分布式平台用于高性能处理。 两个应用领域,设备监测患者的生理数据和动态监测异常的网络流量,用于实验评估。正在开发一个关于可预测实时决策的课程模块,可用于数据科学的本科课程、数据库系统和网络物理系统的研究生课程、暑期学校以及辅导课程。该奖项反映了NSF的法定使命,并通过使用基金会的智力价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(18)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Synchronization Schemas
Polynomial pass lower bounds for graph streaming algorithms
Real-Time Decision Policies With Predictable Performance
  • DOI:
    10.1109/jproc.2018.2853608
  • 发表时间:
    2018-09-01
  • 期刊:
  • 影响因子:
    20.6
  • 作者:
    Abbas, Houssam;Alur, Rajeev;Rodionova, Alena
  • 通讯作者:
    Rodionova, Alena
Streamable regular transductions
  • DOI:
    10.1016/j.tcs.2019.11.018
  • 发表时间:
    2020-02-06
  • 期刊:
  • 影响因子:
    1.1
  • 作者:
    Alur, Rajeev;Fisman, Dana;Stanford, Caleb
  • 通讯作者:
    Stanford, Caleb
Space-efficient Query Evaluation over Probabilistic Event Streams
{{ 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 }}

Rajeev Alur其他文献

MuCache: A General Framework for Caching in Microservice Graphs
MuCache:微服务图中缓存的通用框架
Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference
Logicbreaks:理解基于规则的推理的颠覆的框架
  • DOI:
  • 发表时间:
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Anton Xue;Avishree Khare;Rajeev Alur;Surbhi Goel;Eric Wong
  • 通讯作者:
    Eric Wong
Fast timing-based algorithms
  • DOI:
    10.1007/s004460050020
  • 发表时间:
    1996-07-01
  • 期刊:
  • 影响因子:
    2.100
  • 作者:
    Rajeev Alur;Gadi Taubenfeld
  • 通讯作者:
    Gadi Taubenfeld
B I O C O M P U T a T I O N
生物计算
  • DOI:
    10.1007/978-1-4613-0115-8_7
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Rajeev Alur;Calin Belta;Vijay Kumar;Max Mintz;George J Pappas;Harvey Rubin;Jonathan Schug
  • 通讯作者:
    Jonathan Schug
2011 CAV award announcement
  • DOI:
    10.1007/s10703-012-0154-4
  • 发表时间:
    2012-04-04
  • 期刊:
  • 影响因子:
    0.800
  • 作者:
    Moshe Y. Vardi;Thomas A. Henzinger;Rajeev Alur;Marta Kwiatkowska
  • 通讯作者:
    Marta Kwiatkowska

Rajeev Alur的其他文献

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

{{ truncateString('Rajeev Alur', 18)}}的其他基金

SLES: SPECSRL: Specification-guided Perception-enabled Conformal Safe Reinforcement Learning
SLES:SPECSRL:规范引导的感知启用的共形安全强化学习
  • 批准号:
    2331783
  • 财政年份:
    2023
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
SHF: Medium: Collaborative Research: Formal Analysis and Synthesis of Multiagent Systems with Incentives
SHF:媒介:协作研究:带激励的多智能体系统的形式分析与综合
  • 批准号:
    1703791
  • 财政年份:
    2017
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design
协作研究:计算机增强程序工程探险 (ExCAPE):利用综合进行软件设计
  • 批准号:
    1138996
  • 财政年份:
    2012
  • 资助金额:
    $ 120万
  • 项目类别:
    Continuing Grant
SHF: AF: SMALL: Scalable Symbolic Analysis of Hybrid Systems
SHF:AF:SMALL:混合系统的可扩展符号分析
  • 批准号:
    0915777
  • 财政年份:
    2009
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
SHF: Medium: Formal Analysis of Concurrent Software on Relaxed Memory Models
SHF:Medium:松弛内存模型上并发软件的形式分析
  • 批准号:
    0905464
  • 财政年份:
    2009
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
Behavioral Interfaces for Software Components
软件组件的行为接口
  • 批准号:
    0541149
  • 财政年份:
    2006
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
Proposal for Hybrid Systems Workshop; March 25-28, 2004, Philadelphia, PA
混合系统研讨会提案;
  • 批准号:
    0401049
  • 财政年份:
    2004
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
Synthesis of Embedded Software from Hybrid Models
从混合模型综合嵌入式软件
  • 批准号:
    0410662
  • 财政年份:
    2004
  • 资助金额:
    $ 120万
  • 项目类别:
    Continuing Grant
WORKSHOP ON EMBEDDED SOFTWARE
嵌入式软件研讨会
  • 批准号:
    0318299
  • 财政年份:
    2003
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
GAMES FOR FORMAL DESIGN AND VERIFICATION OF REACTIVE SYSTEMS
用于反应系统的正式设计和验证的游戏
  • 批准号:
    0306382
  • 财政年份:
    2003
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant

相似海外基金

Collaborative Research: SHF: Medium: Enabling Graphics Processing Unit Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的图形处理单元性能仿真
  • 批准号:
    2402804
  • 财政年份:
    2024
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Enabling GPU Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的 GPU 性能仿真
  • 批准号:
    2402806
  • 财政年份:
    2024
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
CPS: Medium: GOALI: Enabling Safe Innovation for Autonomy: Making Publish/Subscribe Really Real-Time
CPS:中:GOALI:实现自主安全创新:使发布/订阅真正实时
  • 批准号:
    2333120
  • 财政年份:
    2024
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Enabling GPU Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的 GPU 性能仿真
  • 批准号:
    2402805
  • 财政年份:
    2024
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
Enabling affordable and sustainable cultivated meat with a first-in-class growth medium.
通过一流的生长培养基实现经济实惠且可持续的培育肉类。
  • 批准号:
    10061737
  • 财政年份:
    2023
  • 资助金额:
    $ 120万
  • 项目类别:
    EU-Funded
Collaborative Research: CPS: Medium: Enabling Data-Driven Security and Safety Analyses for Cyber-Physical Systems
协作研究:CPS:中:为网络物理系统实现数据驱动的安全和安全分析
  • 批准号:
    2414176
  • 财政年份:
    2023
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
Collaborative Research: CPS: Medium: Enabling Data-Driven Security and Safety Analyses for Cyber-Physical Systems
协作研究:CPS:中:为网络物理系统实现数据驱动的安全和安全分析
  • 批准号:
    2132285
  • 财政年份:
    2022
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
Collaborative Research: CPS: Medium: Enabling Autonomous, Persistent, and Adaptive Mobile Observational Networks Through Energy-Aware Dynamic Coverage
合作研究:CPS:中:通过能量感知动态覆盖实现自主、持久和自适应移动观测网络
  • 批准号:
    2223844
  • 财政年份:
    2022
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
Collaborative Research: CPS: Medium: Enabling Autonomous, Persistent, and Adaptive Mobile Observational Networks Through Energy-Aware Dynamic Coverage
合作研究:CPS:中:通过能量感知动态覆盖实现自主、持久和自适应移动观测网络
  • 批准号:
    2223845
  • 财政年份:
    2022
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Medium: Enabling Practically Secure Cellular Infrastructure
协作研究:SaTC:核心:中:实现切实安全的蜂窝基础设施
  • 批准号:
    2055014
  • 财政年份:
    2022
  • 资助金额:
    $ 120万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了