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 条
  • [31] Genetic database software as medical devices
    Thorogood, Adrian
    Toure, Seydina B.
    Ordish, Johan
    Hall, Alison
    Knoppers, Bartha
    HUMAN MUTATION, 2018, 39 (11) : 1702 - 1712
  • [32] Software-based Security Approach for Networked Embedded Devices
    Ferreira J.
    Oliveira A.
    Souto A.
    Cecílio J.
    Ada User Journal, 2023, 44 (02): : 129 - 132
  • [33] Development of Software-based Spacecraft Simulator for LEO Flight Software Development & Verification
    Jongwook, Choi
    Jaeseung, Lee
    Seungeun, Yang
    Yeejin, Cheon
    PROCEEDINGS OF 2010 ASIA-PACIFIC INTERNATIONAL SYMPOSIUM ON AEROSPACE TECHNOLOGY, VOL 1 AND 2, 2010, : 489 - 493
  • [34] Modeling Interrupts for Software-Based System-on-Chip Verification
    Xu, Xiaoxi
    Lim, Cheng-Chew
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2010, 29 (06) : 993 - 997
  • [35] Functional Verification for SWIFT DSP Based on Software-Based Simulation and FPGA
    Wang, Wen-Kai
    PROCEEDINGS OF THE 2017 INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND APPLICATIONS (WCNA2017), 2017, : 116 - 121
  • [36] CONSIDERING QUALITY IN THE MANAGEMENT OF SOFTWARE-BASED DEVELOPMENT-PROJECTS
    REDMILL, FJ
    INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (01) : 18 - 22
  • [37] Regulatory guidelines for medical devices in India: An overview
    Radhadevi, Nadimpalli
    Balamuralidhara, Veeranna
    Kumar, Teggina Math Pramod
    Ravi, Valluru
    ASIAN JOURNAL OF PHARMACEUTICS, 2012, 6 (01) : 10 - 17
  • [38] Development of guidelines for nanobiosensor evaluation as medical devices
    Roh, H. W.
    Cho, Y. H.
    Jung, H. S.
    Lee, N. R.
    Kim, H. C.
    Chung, T. D.
    Kim, J. W.
    Lee, H. K.
    Lee, S. J.
    Ryu, G. H.
    ASBM7: ADVANCED BIOMATERIALS VII, 2007, 342-343 : 933 - +
  • [39] A Review of Biomedical Devices: Classification, Regulatory Guidelines, Human Factors, Software as a Medical Device, and Cybersecurity
    Felix Tettey
    Santosh Kumar Parupelli
    Salil Desai
    Biomedical Materials & Devices, 2024, 2 (1): : 316 - 341
  • [40] Product-based Safety Certification for Medical Devices Embedded Software
    Neto, Jose Augusto
    Damasio, Jemerson Figueiredo
    Monthaler, Paul
    Morais, Misael
    MEDINFO 2015: EHEALTH-ENABLED HEALTH, 2015, 216 : 227 - 231
12345