...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Software Maintenance and Evolution >A systematic literature review of the use of formal methods in medical software systems
【24h】

A systematic literature review of the use of formal methods in medical software systems

机译：有关在医学软件系统中使用形式化方法的系统文献综述

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

摘要

The use of formal methods is often recommended to guarantee the provision of necessary servicesrnand to assess the correctness of critical properties, such as functional safety, cybersecurity,rnand reliability, in medical and health care devices. In the past, several formal and rigorous methodsrnhave been proposed and consequently applied for trustworthy development of medical softwarernand systems. In this paper, we perform a systematic literature review on the available state of thernart in this domain.We collect the relevant literature on the use of formal methods for modeling,rndesign,development, verification,andvalidationof software-intensive medical systems.We applyrnstandard systematic literature review techniques and run several queries in well-known repositoriesrnto obtain information that can be useful for peoplewho are either alreadyworking in this fieldrnor planning to start. Our study covers both quantitative and qualitative aspects of the subject.
机译：通常建议使用正式方法来保证提供必要的服务，并评估医疗和保健设备中关键特性（例如功能安全性，网络安全性和可靠性）的正确性。过去，已经提出了几种正式而严格的方法，并因此被用于可信赖的医疗软件和系统的开发。在本文中，我们对该领域现有技术的现状进行了系统的文献综述。我们收集了有关使用形式化方法对软件密集型医疗系统进行建模，设计，开发，验证和验证的相关文献。文献综述技术，并在著名的存储库中运行几个查询，以获取可能对已经在该领域工作或计划开始的人们有用的信息。我们的研究涵盖了该主题的定量和定性方面。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号