首页> 美国卫生研究院文献>Sensors (Basel Switzerland) >A Model-Based Approach to Support Validation of Medical Cyber-Physical Systems
【2h】

A Model-Based Approach to Support Validation of Medical Cyber-Physical Systems

机译:基于模型的医学网络物理系统支持验证方法

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

Medical Cyber-Physical Systems (MCPS) are context-aware, life-critical systems with patient safety as the main concern, demanding rigorous processes for validation to guarantee user requirement compliance and specification-oriented correctness. In this article, we propose a model-based approach for early validation of MCPS, focusing on promoting reusability and productivity. It enables system developers to build MCPS formal models based on a library of patient and medical device models, and simulate the MCPS to identify undesirable behaviors at design time. Our approach has been applied to three different clinical scenarios to evaluate its reusability potential for different contexts. We have also validated our approach through an empirical evaluation with developers to assess productivity and reusability. Finally, our models have been formally verified considering functional and safety requirements and model coverage.
机译:医学网络物理系统(MCPS)是上下文相关的,生命攸关的系统,其主要关注患者的安全,要求严格的验证过程以确保符合用户要求和面向规范的正确性。在本文中,我们提出了一种基于模型的方法来对MCPS进行早期验证,重点是提高可重用性和生产率。它使系统开发人员能够基于患者和医疗设备模型库构建MCPS正式模型,并模拟MCPS以在设计时识别不良行为。我们的方法已应用于三种不同的临床方案,以评估其在不同情况下的可重用性。我们还通过与开发人员进行的经验评估来验证我们的方法,以评估生产力和可重用性。最后,考虑到功能和安全要求以及模型覆盖范围,我们的模型已经过正式验证。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
代理获取

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号