Collaborative Research: SHF: Small: Runtime Verification at the Edge
合作研究:SHF:小型:边缘运行时验证
基本信息
- 批准号:2118356
- 负责人:
- 金额:$ 25万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2021
- 资助国家:美国
- 起止时间:2021-07-15 至 2025-06-30
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
Today's autonomous technologies are now instrumented as limited-resource nodes collecting large amounts of data in real-time to better track and explain their system’s and environment’s behavior. A 2019 Cisco study found that there are 28.5 billion networked devices and connections in the world. Within this massive ecosystem, one class of future critical applications stands out: software applications that use networked nodes to provide detection of safety risks in the system or its physical environment. Example applications that require such monitoring include fleets of autonomous vehicles, health-monitoring wearable devices, search-and-rescue, and climate monitoring. These applications are already transforming lives, but suffer from a lack of timely, reliable and energy-efficient tools to monitor their correct operation. The focus of this project is to provide precisely such a monitoring infrastructure. This requires overcoming several difficulties. First, the monitoring code must be automatically generated, rather than hand-written, as this reduces the likelihood of errors. The monitor must be able to deal with analog/physical signals produced by the observed phenomena, such as wave heights or temperatures. It must also deal with drifting clocks on the different nodes, which do not read the same moment in time. It must also be resilient to node crashes and malicious attacks. Finally, it must be distributed over the nodes, rather than centralized, since this is less prone to catastrophic failures. The project radically extends the reach of runtime monitoring to new and economically important edge applications. This is achieved by implementing three research thrusts. (1) Develop theory and algorithms for distributed monitoring of continuous-time, asynchronous signals. The algorithms perform distributed optimization on the edge nodes themselves, thus eliminating the need for a central monitor. The algorithms incorporate partial knowledge of signal dynamics, where available, to accelerate convergence. (2) Develop theory and algorithms for incremental monitoring, where intermediate calculation results are still usable by the application should some nodes crash. The monitors will also accommodate nodes that intentionally falsify their data. (3) Conduct a rigorous validation of the algorithms on realistic autonomous vehicles, to establish their performance within a full software stack and in the presence of real-world noise and failure conditions.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.
今天的自主技术现在被用作有限资源节点,实时收集大量数据,以更好地跟踪和解释其系统和环境的行为。思科2019年的一项研究发现,全球有285亿台联网设备和连接。在这个庞大的生态系统中,有一类未来的关键应用程序脱颖而出:使用联网节点来检测系统或其物理环境中的安全风险的软件应用程序。需要这种监测的示例应用包括自动驾驶车队、健康监测可穿戴设备、搜救和气候监测。这些应用程序已经在改变生活,但缺乏及时、可靠和节能的工具来监控它们的正确运行。这个项目的重点就是提供这样一个监控基础设施。这需要克服几个困难。首先,监控代码必须自动生成,而不是手写,因为这样可以减少出错的可能性。监视器必须能够处理由观察到的现象产生的模拟/物理信号,例如波高或温度。它还必须处理不同节点上的漂移时钟,这些节点在时间上不会读取相同的时刻。它还必须对节点崩溃和恶意攻击具有弹性。最后,它必须分布在节点上,而不是集中,因为这不太容易发生灾难性故障。该项目从根本上将运行时监控的范围扩展到新的、经济上重要的边缘应用程序。这是通过实施三个研究项目来实现的。(1)发展了连续时间、异步信号分布式监测的理论和算法。这些算法对边缘节点本身执行分布式优化,从而消除了对中央监控器的需求。这些算法在可能的情况下结合了信号动力学的部分知识,以加速收敛。(2)开发增量监控的理论和算法,中间计算结果在某些节点崩溃的情况下仍可供应用程序使用。监控器还将支持故意篡改数据的节点。(3)在现实的自动驾驶车辆上对算法进行严格的验证,以确定它们在完整软件堆栈中的性能以及在真实世界的噪音和故障条件下的性能。该奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。
项目成果
期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Predicate Monitoring in Distributed Cyber-physical Systems
分布式网络物理系统中的谓词监控
- DOI:
- 发表时间:2021
- 期刊:
- 影响因子:0
- 作者:Anik Momtaz, Niraj Basnet
- 通讯作者:Anik Momtaz, Niraj Basnet
Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems
在网络物理系统的运行时验证中利用系统动力学
- DOI:
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Abbas, H.;Bonakdarpour, B.
- 通讯作者:Bonakdarpour, B.
10.1007/978-3-030-88494-9_1
10.1007/978-3-030-88494-9_1
- DOI:10.1007/978-3-030-88494-9_1
- 发表时间:2021
- 期刊:
- 影响因子:0
- 作者:Anik Momtaz, Niraj Basnet
- 通讯作者:Anik Momtaz, Niraj Basnet
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems
监控分布式网络物理系统中的信号时间逻辑
- DOI:10.1145/3576841.3585937
- 发表时间:2023
- 期刊:
- 影响因子:0
- 作者:Momtaz, Anik;Abbas, Houssam;Bonakdarpour, Borzoo
- 通讯作者:Bonakdarpour, Borzoo
{{
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 }}
Borzoo Bonakdarpour其他文献
First International Competition on Software for Runtime Verification
第一届运行时验证软件国际竞赛
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
E. Bartocci;Borzoo Bonakdarpour;Yliès Falcone - 通讯作者:
Yliès Falcone
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
分布式程序符号综合中的并行化死锁解决
- DOI:
10.4204/eptcs.14.7 - 发表时间:
2009 - 期刊:
- 影响因子:0
- 作者:
Fuad Abujarad;Borzoo Bonakdarpour;S. Kulkarni - 通讯作者:
S. Kulkarni
Probabilistic Hyperproperties with Nondeterminism
具有非确定性的概率超性质
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
E. Ábrahám;E. Bartocci;Borzoo Bonakdarpour;Oyendrila Dobe - 通讯作者:
Oyendrila Dobe
Distributed runtime verification of metric temporal properties
- DOI:
10.1016/j.jpdc.2023.104801 - 发表时间:
2024-03-01 - 期刊:
- 影响因子:
- 作者:
Ritam Ganguly;Yingjie Xue;Aaron Jonckheere;Parker Ljung;Benjamin Schornstein;Borzoo Bonakdarpour;Maurice Herlihy - 通讯作者:
Maurice Herlihy
Stream-based Decentralized Runtime Verification
基于流的去中心化运行时验证
- DOI:
10.48550/arxiv.2301.13266 - 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
R. Ganguly;Borzoo Bonakdarpour - 通讯作者:
Borzoo Bonakdarpour
Borzoo Bonakdarpour的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Borzoo Bonakdarpour', 18)}}的其他基金
Collaborative Research: SaTC: CORE: Small: Hyperproperty-based Enforcement of Information-flow Security
协作研究:SaTC:核心:小型:基于超产权的信息流安全执行
- 批准号:
2245114 - 财政年份:2023
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
EAGER: Causal Analysis through Formal Reasoning and AI for Cancer Diagnostics
EAGER:通过形式推理和人工智能进行癌症诊断的因果分析
- 批准号:
2320050 - 财政年份:2023
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
SaTC: CORE: Small: Techniques for Software Model Checking of Hyperproperties
SaTC:核心:小型:超属性软件模型检查技术
- 批准号:
2100989 - 财政年份:2020
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
FMitF:Collaborative Research:Track I:Formal Techniques for Monitoring Low-level Cross-chain Functions
FMITF:合作研究:第一轨:监控低级跨链功能的形式化技术
- 批准号:
2102106 - 财政年份:2020
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
FMitF:Collaborative Research:Track I:Formal Techniques for Monitoring Low-level Cross-chain Functions
FMITF:合作研究:第一轨:监控低级跨链功能的形式化技术
- 批准号:
1917979 - 财政年份:2019
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
SaTC: CORE: Small: Techniques for Software Model Checking of Hyperproperties
SaTC:核心:小型:超属性软件模型检查技术
- 批准号:
1813388 - 财政年份:2018
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号:24ZR1403900
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
Cell Research
- 批准号:31224802
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research
- 批准号:31024804
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research (细胞研究)
- 批准号:30824808
- 批准年份:2008
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
- 批准号:10774081
- 批准年份:2007
- 资助金额:45.0 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
- 批准号:
2331302 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
- 批准号:
2331301 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Differentiable Hardware Synthesis
合作研究:SHF:媒介:可微分硬件合成
- 批准号:
2403134 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: Efficient and Scalable Privacy-Preserving Neural Network Inference based on Ciphertext-Ciphertext Fully Homomorphic Encryption
合作研究:SHF:小型:基于密文-密文全同态加密的高效、可扩展的隐私保护神经网络推理
- 批准号:
2412357 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Enabling Graphics Processing Unit Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的图形处理单元性能仿真
- 批准号:
2402804 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Tiny Chiplets for Big AI: A Reconfigurable-On-Package System
合作研究:SHF:中:用于大人工智能的微型芯片:可重新配置的封装系统
- 批准号:
2403408 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Toward Understandability and Interpretability for Neural Language Models of Source Code
合作研究:SHF:媒介:实现源代码神经语言模型的可理解性和可解释性
- 批准号:
2423813 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Enabling GPU Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的 GPU 性能仿真
- 批准号:
2402806 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Differentiable Hardware Synthesis
合作研究:SHF:媒介:可微分硬件合成
- 批准号:
2403135 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Tiny Chiplets for Big AI: A Reconfigurable-On-Package System
合作研究:SHF:中:用于大人工智能的微型芯片:可重新配置的封装系统
- 批准号:
2403409 - 财政年份:2024
- 资助金额:
$ 25万 - 项目类别:
Standard Grant