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
相关论文
共 18 条
  • [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] Verification of medical guidelines by model checking -: A case study
    Báumler, S
    Balser, M
    Dunets, A
    Reif, W
    Schmitt, J
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2006, 3925 : 219 - 233
  • [3] A feature-based classification of formal verification techniques for software models
    Gabmeyer, Sebastian
    Kaufmann, Petra
    Seidl, Martina
    Gogolla, Martin
    Kappel, Gerti
    SOFTWARE AND SYSTEMS MODELING, 2019, 18 (01) : 473 - 498
  • [4] Formal Verification of Medical Device User Interfaces Using PVS
    Masci, Paolo
    Zhang, Yi
    Jones, Paul
    Curzon, Paul
    Thimbleby, Harold
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2014, 2014, 8411 : 200 - 214
  • [5] Formal Verification of Safety PLC Based Control Software
    Darvas, Daniel
    Majzik, Istvan
    Vinuela, Enrique Blanco
    INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 508 - 522
  • [6] Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices
    Harrison, Michael D.
    Masci, Paolo
    Campos, Jose Creissac
    Curzon, Paul
    IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, 2017, 47 (06) : 834 - 846
  • [7] Closed-loop verification of medical devices with model abstraction and refinement
    Jiang, Zhihao
    Pajic, Miroslav
    Alur, Rajeev
    Mangharam, Rahul
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2014, 16 (02) : 191 - 213
  • [8] Formal Analysis and Verification of Airborne Software Based on DO-333
    Cao, Zongyu
    Lv, Wanyou
    Huang, Yanhong
    Shi, Jianqi
    Li, Qin
    ELECTRONICS, 2020, 9 (02)
  • [9] A feature-based classification of formal verification techniques for software models
    Sebastian Gabmeyer
    Petra Kaufmann
    Martina Seidl
    Martin Gogolla
    Gerti Kappel
    Software & Systems Modeling, 2019, 18 : 473 - 498
  • [10] Closed-loop verification of medical devices with model abstraction and refinement
    Zhihao Jiang
    Miroslav Pajic
    Rajeev Alur
    Rahul Mangharam
    International Journal on Software Tools for Technology Transfer, 2014, 16 : 191 - 213
12