CPS: Small: Naming, Twinning and Observing - Towards Scalable, Reliable and Resilient CPS

CPS:小型:命名、配对和观察 - 迈向可扩展、可靠和有弹性的 CPS

基本信息

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

项目摘要

The Internet of Things (IoT) is increasingly used to control systems that can cause serious harm to human health or damage property, replacing more traditional hardwired systems for controlling buildings, alerting authorities to fire and gas leaks or managing rail systems. Such systems also likely operate for years, even as the physical environment changes and sensors and actuators are replaced. For example, both the Merrimack Valley gas explosion and the Notre Dame fire may have been partially caused or made worse by IoT/CPS systems that either malfunctioned or misled the operators at crucial instants. Today, programming such systems is error-prone, particularly if devices and networks can change over time. Also, testing such systems and training operators is much more difficult than for regular information technology systems, as one cannot easily reproduce dangerous or rare physical conditions such as gas over-pressure or a fire or determine what would happen if a sensor is replaced with a new model, the network is re-engineered to use different network addresses or time synchronization fails. Improved programmability and better testing will help engineers design more dependable IoT/CPS systems and predict their behavior and thus reduce the likelihood of catastrophic failures.The project aims to improve dependability of Internet of Things (IoT) and cyberphysical systems in two ways: first, by creating a naming and directory mechanism that allows programmers to create reliable software for controlling such systems, by avoiding reliance on low-level names such as MAC (Ethernet) or network (IP) addresses and thus making it easier to reason about system properties. The project envisions creating a naming and directory mechanism that can provide a variety of logical naming mechanisms, including administrative hierarchies, geospatial relationships, civic addresses, function and access rights. The second part of the project will develop an emulator for large-scale heterogeneous IoT/CPS called FuzzIoT. This system will combine network emulation and simulation, automated fuzzing (random variation) of key network and system characteristics, and the modeling of physical components. For example, domain experts can inject the physics-driven time-dependent behavior of buildings or vehicles, either derived from models or real-world measurements. The emulator will be designed to integrate real-world components, and allow the integration of constraints and assertions. The emulator is envisioned to be useful for software development, system assurance and operator training. The project includes multiple broader impacts including the potential for integration of the research artifacts into IoT standards.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)越来越多地用于控制可能对人类健康造成严重危害或损坏财产的系统,取代更传统的硬连线系统来控制建筑物,提醒当局火灾和天然气泄漏或管理铁路系统。即使物理环境发生变化,传感器和执行器被更换,这些系统也可能运行多年。例如,梅里马克山谷的天然气爆炸和巴黎圣母院的火灾都可能是由物联网/CPS系统在关键时刻发生故障或误导运营商造成的。 如今,对此类系统进行编程容易出错,特别是在设备和网络可能随时间而变化的情况下。此外,测试此类系统和培训操作员比常规信息技术系统要困难得多,因为人们无法轻易再现危险或罕见的物理条件,如气体过压或火灾,或确定如果传感器被新型号取代、网络被重新设计以使用不同的网络地址或时间同步失败会发生什么。改进的可编程性和更好的测试将帮助工程师设计更可靠的物联网/CPS系统,并预测其行为,从而降低灾难性故障的可能性。该项目旨在通过两种方式提高物联网(IoT)和网络物理系统的可靠性:首先,通过创建一个命名和目录机制,允许程序员创建用于控制这些系统的可靠软件,通过避免依赖低级名称(如MAC(以太网)或网络(IP)地址),从而更容易推断系统属性。该项目设想建立一个命名和目录机制,可提供各种逻辑命名机制,包括行政层级、地理空间关系、公民地址、职能和访问权。 该项目的第二部分将为大规模异构物联网/CPS开发一个名为FuzzIoT的模拟器。该系统将结合联合收割机网络仿真和模拟、关键网络和系统特性的自动模糊(随机变化)以及物理组件的建模。例如,领域专家可以注入建筑物或车辆的物理驱动的时间相关行为,无论是从模型还是现实世界的测量中得出的。仿真器将被设计为集成真实世界的组件,并允许集成约束和断言。该仿真器被设想为是有用的软件开发,系统保证和操作员培训。 该项目包括多个更广泛的影响,包括将研究成果整合到物联网标准中的潜力。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(5)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Tremble: TRansparent Emission Monitoring with BLockchain Endorsement
DBAC: Directory-Based Access Control for Geographically Distributed IoT Systems
DBAC:地理分布式物联网系统的基于目录的访问控制
Distributed MQTT Brokers at Network Edges: A Study on Message Dissemination
网络边缘的分布式 MQTT 代理:消息传播研究
  • DOI:
    10.1109/ithings-greencom-cpscom-smartdata-cybermatics55523.2022.00044
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Hao, Luoyao;Yu, Xiao;Zhang, Tingrui;Schulzrinne, Henning
  • 通讯作者:
    Schulzrinne, Henning
GOLDIE: Harmonization and Orchestration Towards a Global Directory for IoT
GOLDIE:协调和编排全球物联网目录
When Directory Design Meets Data Explosion: Rethinking Query Performance for IoT
当目录设计遇到数据爆炸时:重新思考物联网的查询性能
  • DOI:
    10.1109/isncc49221.2020.9297269
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Hao, Luoyao;Schulzrinne, Henning
  • 通讯作者:
    Schulzrinne, Henning
{{ 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 }}

Henning Schulzrinne其他文献

Guest Editors for a fast track in the Computer Communications (COMCOM) Journal
计算机通信 (COMCOM) 杂志快速通道的客座编辑
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Luigi Fratta;Henning Schulzrinne;Yutaka Takahashi;Otto Spaniol
  • 通讯作者:
    Otto Spaniol
Detecting offensive routers: a straightforward approach
检测攻击性路由器:一种简单的方法
Distributed Delay Estimation and Call Admission Control in IEEE802.11WLANs
IEEE802.11WLAN 中的分布式延迟估计和呼叫准入控制
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kenta Yasukawa;Andrea G. Forte;Henning Schulzrinne
  • 通讯作者:
    Henning Schulzrinne
How secure is the next generation of IP-based emergency services architecture?
  • DOI:
    10.1016/j.ijcip.2010.02.001
  • 发表时间:
    2010-05-01
  • 期刊:
  • 影响因子:
  • 作者:
    Hannes Tschofenig;Mayutan Arumaithurai;Henning Schulzrinne;Bernard Aboba
  • 通讯作者:
    Bernard Aboba
From Frustration to Function: A Study on Usability Challenges in Smart Home IoT Devices
从沮丧到功能:智能家居物联网设备可用性挑战的研究

Henning Schulzrinne的其他文献

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

{{ truncateString('Henning Schulzrinne', 18)}}的其他基金

Conference: Broadband Research Workshop and Report 2020
会议:2020 年宽带研究研讨会和报告
  • 批准号:
    2038333
  • 财政年份:
    2020
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
WiFiUS: Collaborative Research: Scalable Edge Architecture for Massive Location-Aware Heterogeneous IoT Systems
WiFiUS:协作研究:大规模位置感知异构物联网系统的可扩展边缘架构
  • 批准号:
    1702952
  • 财政年份:
    2017
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
NeTS: Small: Do You See What I See: Finding and Measuring Faults in the Internet
NetS:小:你看到我看到的吗:在互联网中查找和测量故障
  • 批准号:
    1218977
  • 财政年份:
    2013
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Student & Minority Faculty Travel Grant Program to Attend International Conference on Network Protocols (ICNP) 2009
学生
  • 批准号:
    0948307
  • 财政年份:
    2009
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: FIND: NetSerV - Architecture of a Service-Virtualized Internet
合作研究:FIND:NetServV - 服务虚拟化互联网架构
  • 批准号:
    0831912
  • 财政年份:
    2009
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Collaborative Proposal: Security Services in Open Telecommunications Networks
合作提案:开放电信网络中的安全服务
  • 批准号:
    0905406
  • 财政年份:
    2009
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: CRI: IAD: A Testbed for Research and Development of Next Generation 9-1-1 Services
合作研究:CRI:IAD:下一代 9-1-1 服务研究和开发的测试平台
  • 批准号:
    0751094
  • 财政年份:
    2008
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
GENI Working Group Meetings - Opt-in
GENI 工作组会议 - 选择加入
  • 批准号:
    0822954
  • 财政年份:
    2008
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Colloborative Research: CRI: A Testbed for Research and Development of Secure IP Multimedia Communication Services
合作研究:CRI:安全 IP 多媒体通信服务研究和开发的测试平台
  • 批准号:
    0551538
  • 财政年份:
    2006
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
CT-ER: Collaborative Research: Detection of Spam in IP Multimedia Communication
CT-ER:合作研究:IP 多媒体通信中垃圾邮件的检测
  • 批准号:
    0627530
  • 财政年份:
    2006
  • 资助金额:
    $ 50万
  • 项目类别:
    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 RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

CSR: Small: Leveraging Physical Side-Channels for Good
CSR:小:利用物理侧通道做好事
  • 批准号:
    2312089
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
NeTS: Small: NSF-DST: Modernizing Underground Mining Operations with Millimeter-Wave Imaging and Networking
NeTS:小型:NSF-DST:利用毫米波成像和网络实现地下采矿作业现代化
  • 批准号:
    2342833
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CPS: Small: NSF-DST: Autonomous Operations of Multi-UAV Uncrewed Aerial Systems using Onboard Sensing to Monitor and Track Natural Disaster Events
CPS:小型:NSF-DST:使用机载传感监测和跟踪自然灾害事件的多无人机无人航空系统自主操作
  • 批准号:
    2343062
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: FET: Small: Reservoir Computing with Ion-Channel-Based Memristors
合作研究:FET:小型:基于离子通道忆阻器的储层计算
  • 批准号:
    2403559
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
オミックス解析を用いたブドウ球菌 small colony variants の包括的特徴づけ
使用组学分析全面表征葡萄球菌小菌落变体
  • 批准号:
    24K13443
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
AF: Small: Problems in Algorithmic Game Theory for Online Markets
AF:小:在线市场的算法博弈论问题
  • 批准号:
    2332922
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: FET: Small: Algorithmic Self-Assembly with Crisscross Slats
合作研究:FET:小型:十字交叉板条的算法自组装
  • 批准号:
    2329908
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
NeTS: Small: ML-Driven Online Traffic Analysis at Multi-Terabit Line Rates
NeTS:小型:ML 驱动的多太比特线路速率在线流量分析
  • 批准号:
    2331111
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
  • 批准号:
    2331302
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
  • 批准号:
    2331301
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了