• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems >Requirements for a Trace Property Language for Medical Devices
【24h】

Requirements for a Trace Property Language for Medical Devices

机译：医疗设备跟踪属性语言的要求

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The verification of software intensive medical devices can largely benefit from the analysis of their execution traces. Trace points can easily be added to the software, and traces can be used at several stages of the development and maintenance process. In this paper we focus on the TKA system and identify 15 representative properties that should be fulfilled by its traces. We also identify several stages in the product lifecycle where these properties should be evaluated. These properties put requirements on what should be expressible in a trace property language for medical devices.
机译：软件密集型医疗设备的验证可从对其执行轨迹的分析中受益匪浅。跟踪点可以轻松添加到软件中，并且可以在开发和维护过程的多个阶段使用跟踪。在本文中，我们将重点放在TKA系统上，并确定应通过其迹线实现的15个代表性属性。我们还确定了产品生命周期中应评估这些属性的几个阶段。这些属性对在医疗设备的跟踪属性语言中应表达的内容提出了要求。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号