Formal verification of software-based medical devices considering medical guidelines

被引：0
|
作者：
Zamira Daw
Rance Cleaveland
Marcus Vetter
机构：
[1] Hochschule Mannheim,EMB
[2] University of Applied Sciences,Lab
[3] University of Maryland,Department of Computer Science
来源：
International Journal of Computer Assisted Radiology and Surgery | 2014年 / 9卷
关键词：
Software design; Clinical workflow analysis; Software verification; Model-checking; UML models;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：145 / 153
页数：8
相关论文
共 50 条
  • [1] Formal verification of software-based medical devices considering medical guidelines
    Daw, Zamira
    Cleaveland, Rance
    Vetter, Marcus
    INTERNATIONAL JOURNAL OF COMPUTER ASSISTED RADIOLOGY AND SURGERY, 2014, 9 (01) : 145 - 153
  • [2] The trajectory for software-based medical devices
    Kumar, Dinesh
    FRONTIERS IN MEDICAL TECHNOLOGY, 2023, 5
  • [3] SOFTWARE-BASED RISK MANAGEMENT DOCUMENTATION FOR MEDICAL DEVICES
    Steffen, Alexander
    Hientzsch, Dorothee
    BIOMEDICAL ENGINEERING-BIOMEDIZINISCHE TECHNIK, 2013, 58
  • [4] Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
    Cordeiro, Lucas
    Fischer, Bernd
    Chen, Huan
    Marques-Silva, Joao
    2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2009, : 396 - +
  • [5] Formal Validation and Verification of a Medical Software Critical Component
    Arcaini, Paolo
    Bonfanti, Silvia
    Gargantini, Angelo
    Mashkoor, Atif
    Riccobene, Elvinia
    2015 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN (MEMOCODE), 2015, : 80 - 89
  • [6] Improving the Trustworthiness of Medical Device Software with Formal Verification Methods
    Li, Chunxiao
    Raghunathan, Anand
    Jha, Niraj K.
    IEEE EMBEDDED SYSTEMS LETTERS, 2013, 5 (03) : 50 - 53
  • [7] Medical Guidelines Reconciling Medical Software and Electronic Devices: Imatinib Case-study
    Simalatsar, Alena
    De Micheli, Giovanni
    IEEE 12TH INTERNATIONAL CONFERENCE ON BIOINFORMATICS & BIOENGINEERING, 2012, : 19 - 24
  • [8] Echo: A New Approach to Formal Verification Based on Ada: The Technology & Experience in Security and Medical Devices
    Knight, John
    SIGADA 2009: PROCEEDINGS OF THE ACM INTERNATIONAL CONFERENCE ON ADA AND RELATED TECHNOLOGIES, 2009, : 85 - 85
  • [9] Modelling and Verification of Medical Guidelines
    Schmitt, Jonathan
    IT-INFORMATION TECHNOLOGY, 2010, 52 (04): : 229 - 231
  • [10] Interactive verification of medical guidelines
    Schmitt, Jonathan
    Hoffmann, Alwin
    Balser, Michael
    Reif, Wolfgang
    Marcos, Mar
    FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 32 - 47
12345