CSR: Small: Collaborative Research: Safety Guard: A Formal Approach to Safety Enforcement in Embedded Control Systems

CSR:小型:协作研究:安全卫士:嵌入式控制系统中安全执行的正式方法

基本信息

  • 批准号:
    1813117
  • 负责人:
  • 金额:
    $ 25万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2018
  • 资助国家:
    美国
  • 起止时间:
    2018-08-01 至 2022-07-31
  • 项目状态:
    已结题

项目摘要

Ensuring the safety of embedded control systems, such as the ones used in cars, is remarkably difficult as shown by the many recalled cars in recent years, causing tens of billions of financial loss each year. This project aims to improve the safety of critical components in embedded control systems by developing safety guards, a reactive component generated automatically from safety requirements and attached to the original system, to ensure the combined system is safe even if the original system violates the safety requirements. The intellectual merit of this project lies in the set of methods and tools to be developed for synthesizing safety guards of black-box systems. Specifically, this project consists of three research tasks: (a) building a benchmark suite of critical components and their safety requirements; (b) developing synthesis algorithms for constructing the finite-state machines (FSMs) of the safety guards; and (c) developing software synthesis tools for automatically generating software code that implements these FSMs. This research project will benefit a wide range of application domains, including automotive and avionics, which will be investigated through collaborations with industry. It will help improve the safety of critical components, including those based on machine learning and artificial intelligence techniques. It will simplify certification since the relatively simple safety guard can be certified against safety requirements in place of the detailed model of a critical component. And last but not the least, it will simplify the development process by allowing people to focus on functionality and performance without worrying about safety violations at the same time. The resulting software tools, together with evaluation benchmarks and experimental data, will be made available to the public. To facilitate dissemination and sharing, the project will maintain online documentations, tutorials, slides, and source code of the tool and benchmark repositories. Besides the research websites of participants at Virginia Tech and University of Southern California, the following website will be dedicated to disseminate the project results broadly: http://chaowang-vt.github.io/safetyguard/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.
确保嵌入式控制系统的安全,比如汽车上使用的控制系统,是非常困难的,正如近年来许多召回汽车所表明的那样,每年造成数百亿美元的经济损失。该项目旨在通过开发安全卫士来提高嵌入式控制系统中关键组件的安全性,安全卫士是根据安全需求自动生成的并附加到原始系统的反应性组件,以确保组合系统即使在原始系统违反安全要求的情况下也是安全的。这个项目的智力价值在于为合成黑匣子系统的安全防护而开发的一套方法和工具。具体地说,该项目包括三项研究任务:(A)建立关键部件及其安全要求的基准套件;(B)开发用于构建安全卫士的有限状态机(FSM)的综合算法;以及(C)开发用于自动生成实现这些FSM的软件代码的软件综合工具。这一研究项目将使包括汽车和航空电子在内的广泛应用领域受益,这些领域将通过与工业界的合作进行研究。它将有助于提高关键部件的安全性,包括基于机器学习和人工智能技术的部件。它将简化认证,因为相对简单的安全卫士可以根据安全要求进行认证,而不是关键部件的详细模型。最后但并非最不重要的一点是,它将简化开发过程,使人们能够专注于功能和性能,而无需同时担心违反安全规定。由此产生的软件工具以及评价基准和实验数据将向公众提供。为便利传播和分享,该项目将维护在线文件、教程、幻灯片以及该工具和基准储存库的源代码。除了弗吉尼亚理工大学和南加州大学参与者的研究网站外,以下网站将致力于广泛传播项目结果:http://chaowang-vt.github.io/safetyguard/This奖反映了美国国家科学基金会的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(5)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Synthesizing Fair Decision Trees via Iterative Constraint Solving
通过迭代约束求解综合公平决策树
DiffRNN: Differential Verification of Recurrent Neural Networks
  • DOI:
    10.1007/978-3-030-85037-1_8
  • 发表时间:
    2020-07
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Sara Mohammadinejad;Brandon Paulsen;Chao Wang;Jyotirmoy V. Deshmukh
  • 通讯作者:
    Sara Mohammadinejad;Brandon Paulsen;Chao Wang;Jyotirmoy V. Deshmukh
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions
  • DOI:
    10.1007/978-3-030-99524-9_19
  • 发表时间:
    2022-01
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Brandon Paulsen;Chao Wang
  • 通讯作者:
    Brandon Paulsen;Chao Wang
Example Guided Synthesis of Linear Approximations for Neural Network Verification
  • DOI:
    10.1007/978-3-031-13185-1_8
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Brandon Paulsen;Chao Wang
  • 通讯作者:
    Brandon Paulsen;Chao Wang
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
真实的护盾合成:增强网络物理系统的安全性
{{ 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 }}

Chao Wang其他文献

Ground Behaviors Analysis of a Stope Covered by the Thin Bedrock and Large-Thick Alluvium: A Case Study
薄基岩和大厚冲积层覆盖采场的地层行为分析:案例研究
  • DOI:
    10.1155/2022/4759416
  • 发表时间:
    2022-02
  • 期刊:
  • 影响因子:
    1.6
  • 作者:
    Xiaoping Li;Guangchao Zhang;Guangzhe Tao;Chao Wang;Huaixuan Cao;Xipo Zhao;Xianyang Yan;Shibao Shen;Guanglei Zhou
  • 通讯作者:
    Guanglei Zhou
QCD calculations of radiative heavy meson decays with subleading power corrections
辐射重介子衰变的 QCD 计算与次超导功率修正
  • DOI:
    10.1007/jhep04(2020)023
  • 发表时间:
    2020-02
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Hua-Dong Li;Cai-Dian Lu ̈;Chao Wang;Yu-Ming Wang;Yan-Bing Wei
  • 通讯作者:
    Yan-Bing Wei
Hardware Accelerator Design of Non-linear Optimization Correlative Scan Matching Algorithm in 2D LiDAR SLAM for Mobile Robots
移动机器人2D LiDAR SLAM中非线性优化相关扫描匹配算法的硬件加速器设计
Out-of-plane dimeric MnIII quadridentate Schiff-base complexes: Synthesis, structure and magnetic properties
面外二聚 MnIII 四齿席夫碱配合物:合成、结构和磁性
  • DOI:
    10.1016/j.ica.2009.03.048
  • 发表时间:
    2009-08
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ya-Fan Zhao;Chao Wang;Qing-Lun Wang;Yu-Hua Feng;Daizheng Liao;Jun Li;Shi-Ping Yan
  • 通讯作者:
    Shi-Ping Yan
A novel earthworm-inspired smart lubrication material with self-healing function
具有自愈功能的新型蚯蚓智能润滑材料
  • DOI:
    10.1016/j.triboint.2021.107303
  • 发表时间:
    2021-10
  • 期刊:
  • 影响因子:
    6.2
  • 作者:
    Hongwei Ruan;Yaoming Zhang;Qihua Wang;Chao Wang;Tingmei Wang
  • 通讯作者:
    Tingmei Wang

Chao Wang的其他文献

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

{{ truncateString('Chao Wang', 18)}}的其他基金

Collaborative Research: FW-HTF-R: Wearable Safety Sensing and Assistive Robot-Worker Collaboration for an Augmented Workforce in Construction
合作研究:FW-HTF-R:可穿戴安全传感和辅助机器人工人协作,增强建筑劳动力
  • 批准号:
    2222881
  • 财政年份:
    2022
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track I: A Principled Approach to Modeling and Analysis of Hardware Fault Attacks on Embedded Software
合作研究:FMitF:第一轨:嵌入式软件硬件故障攻击建模和分析的原则方法
  • 批准号:
    2220345
  • 财政年份:
    2022
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
NSF-BSF: Synchronous electro-optical DNA detection using low-noise dielectric nanopores on sapphire
NSF-BSF:使用蓝宝石上的低噪声介电纳米孔进行同步电光 DNA 检测
  • 批准号:
    2020464
  • 财政年份:
    2020
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
FW-HTF-P: Collaborative Research: Wearable Safety and Health Assistive Robot Collaboration for Skilled Construction Workers
FW-HTF-P:合作研究:为熟练建筑工人提供可穿戴安全与健康辅助机器人协作
  • 批准号:
    2026575
  • 财政年份:
    2020
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
Photochemically Induced, Polymer-Assisted Deposition for 3D Printing of Micrometer-Wide and Nanometer-Thin Silver Structures
用于微米宽和纳米薄银结构 3D 打印的光化学诱导聚合物辅助沉积
  • 批准号:
    1947753
  • 财政年份:
    2020
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
CAREER: Integrated Optofluidic Chips towards Label-Free Detection of Exosomal MicroRNA Biomarkers
职业:集成光流控芯片实现外泌体 MicroRNA 生物标志物的无标记检测
  • 批准号:
    1847324
  • 财政年份:
    2019
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
Low-Profile Ultra-Wideband Wide-Scanning Multi-Function Beam-Steerable Array Antennas
薄型超宽带宽扫描多功能波束可控阵​​列天线
  • 批准号:
    EP/S005625/1
  • 财政年份:
    2019
  • 资助金额:
    $ 25万
  • 项目类别:
    Research Grant
Enhancing CO2 Reduction by Controlling the Ensemble of Active Sites
通过控制活动站点的整体来加强二氧化碳减排
  • 批准号:
    1930013
  • 财政年份:
    2019
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
Interplay of Mass Transport and Chemical Kinetics in the Electroreduction CO2
电还原 CO2 中传质与化学动力学的相互作用
  • 批准号:
    1803482
  • 财政年份:
    2018
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
INFEWS N/P/H2O: Collaborative Research: Catalytic Dephosphorylation Using Ceria Nanocrystals
INFEWS N/P/H2O:合作研究:使用二氧化铈纳米晶体催化脱磷酸
  • 批准号:
    1664967
  • 财政年份:
    2017
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant

相似国自然基金

昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
    n/a
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
  • 批准号:
    32000033
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
  • 批准号:
    81900988
  • 批准年份:
    2019
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

Collaborative Research: CSR: Small: Expediting Continual Online Learning on Edge Platforms through Software-Hardware Co-designs
协作研究:企业社会责任:小型:通过软硬件协同设计加快边缘平台上的持续在线学习
  • 批准号:
    2312157
  • 财政年份:
    2023
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
Collaborative Research: CSR: Small: Caphammer: A New Security Exploit in Energy Harvesting Systems and its Countermeasures
合作研究:CSR:小型:Caphammer:能量收集系统的新安全漏洞及其对策
  • 批准号:
    2314681
  • 财政年份:
    2023
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
Collaborative Research: CSR: Small: Cross-layer learning-based Energy-Efficient and Resilient NoC design for Multicore Systems
协作研究:CSR:小型:基于跨层学习的多核系统节能和弹性 NoC 设计
  • 批准号:
    2321224
  • 财政年份:
    2023
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
Collaborative Research: CSR: Small: Caphammer: A New Security Exploit in Energy Harvesting Systems and its Countermeasures
合作研究:CSR:小型:Caphammer:能量收集系统的新安全漏洞及其对策
  • 批准号:
    2314680
  • 财政年份:
    2023
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
Collaborative Research: CSR: Small: Cross-layer learning-based Energy-Efficient and Resilient NoC design for Multicore Systems
协作研究:CSR:小型:基于跨层学习的多核系统节能和弹性 NoC 设计
  • 批准号:
    2321225
  • 财政年份:
    2023
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
Collaborative Research: CSR: Small: Expediting Continual Online Learning on Edge Platforms through Software-Hardware Co-designs
协作研究:企业社会责任:小型:通过软硬件协同设计加快边缘平台上的持续在线学习
  • 批准号:
    2312158
  • 财政年份:
    2023
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
CSR: Small: Collaborative Research: Decentralized Real-Time Machine Learning Systems on Near-User Edge Devices
CSR:小型:协作研究:近用户边缘设备上的分散式实时机器学习系统
  • 批准号:
    2104416
  • 财政年份:
    2020
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
CSR: Small: Collaborative Research:Heterogeneous Ultra Low Power Accelerator for Wearable Biomedical Computing
CSR:小型:协作研究:用于可穿戴生物医学计算的异构超低功耗加速器
  • 批准号:
    2006274
  • 财政年份:
    2019
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
CSR: Small: Collaborative Research: Overheard at Home - Mitigating Overhearing of Continuous Listening Devices
CSR:小:协作研究:在家无意中听到的声音 - 减轻连续监听设备的无意中听到的情况
  • 批准号:
    1815274
  • 财政年份:
    2018
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
CSR: Small: Collaborative Research: Overheard at Home - Mitigating Overhearing of Continuous Listening Devices
CSR:小:协作研究:在家无意中听到的声音 - 减轻连续监听设备的无意中听到的情况
  • 批准号:
    1816213
  • 财政年份:
    2018
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了