Safety Analysis of Body Sensor Networks

人体传感器网络的安全分析

• 批准号: 1240454
• 负责人: John Lach
• 金额: $ 3.5万
• 依托单位: University of Virginia Main Campus
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-10-01 至 2013-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1240454&HistoricalAwards=false
• 关键词: Safety; Analysis; Body; Sensor; Networks

This project is a collaboration under the NSF-FDA Scholar-In-Residence (SIR) program. Wireless body sensor networks (BSNs) are an emerging class of cyber-physical system (CPS) that are changing the healthcare paradigm with their ability to provide remote, continuous health and wellness monitoring. BSN technology is rapidly moving from the domain of research prototypes to commercial healthcare applications, with associated safety implications. However, because of a lack of an accepted definition of safety for BSNs and associated techniques for specifying and verifying their safety properties, manufacturers do not have guidelines for how to design BSNs to meet safety specifications, and the FDA (the primary regulatory body for these systems) is handicapped in their ability to evaluate BSNs to determine their suitability for the healthcare market. The regulatory problem is compounded by the nature of BSNs: wireless sensing, computing, and communicating devices operating in a coordinated manner to provide vital information about the physical state of a person. This project explores: (1) the development of a definition of safety properties for BSNs in light of their mobile, cyber-physical nature; (2) the development of a reference model for BSNs (termed the "generic BSN") from which specific BSN designs can be specified and instantiated and which lends itself to analysis techniques for extracting and formally verifying the instantiated design against identified safety properties. These developments will provide manufacturers with the ability to design BSNs to meet safety specifications and will enable the FDA to better evaluate such systems in an objective, repeatable, and systematic manner.

该项目是NSF-FDA常驻学者(SIR)计划下的一项合作。无线身体传感器网络(BSN)是一种新兴的网络物理系统(CP)，它能够提供远程、连续的健康和健康监测，正在改变医疗保健模式。BSN技术正迅速从研究原型领域转移到商业医疗应用领域，并伴随着相关的安全影响。然而，由于缺乏公认的BSN的安全定义以及用于指定和验证其安全属性的相关技术，制造商没有关于如何设计BSN以满足安全规范的指导方针，并且FDA(这些系统的主要监管机构)在评估BSN以确定其是否适合医疗保健市场的能力方面受到限制。BSN的性质使监管问题变得更加复杂：无线传感、计算和通信设备以协调的方式运行，以提供有关个人身体状态的重要信息。本项目探索：(1)根据BSN的移动、网络物理性质，制定其安全属性的定义；(2)开发BSN的参考模型(称为“通用BSN”)，从中可以指定和实例化特定的BSN设计，并有助于分析技术，以提取和正式验证所确定的安全属性的实例化设计。这些发展将使制造商能够设计符合安全规范的BSN，并使FDA能够以客观、可重复和系统的方式更好地评估此类系统。