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 条
  • [21] Formal Verification of Software for the Contiki Operating System Considering Interrupts
    Vortler, Thilo
    Hockner, Benny
    Hofstedt, Petra
    Klotz, Thomas
    2015 IEEE 18TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS 2015), 2015, : 295 - 298
  • [22] Software-Based Microprocessor Verification Methodology for Linux Booting
    Chen, Chien-Chih
    Yeh, Chi-Tsai
    Huang, Ing-Jer
    IEEE INTERNATIONAL SYMPOSIUM ON NEXT-GENERATION ELECTRONICS 2013 (ISNE 2013), 2013,
  • [23] Informal and formal medical guidelines: Bridging the gap
    Geldof, M
    ten Teije, A
    van Harmelen, F
    Marcos, M
    Votruba, P
    ARTIFICIAL INTELLIGENCE IN MEDICINE, PROCEEDINGS, 2003, 2780 : 173 - 178
  • [24] On the software-based development and verification of automotive control systems
    Hu, Wei-Wen
    Wang, Ming-Li
    Lin, Yu-Hui
    IECON 2007: 33RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, CONFERENCE PROCEEDINGS, 2007, : 857 - 862
  • [25] Informal, formal and operational modelling of medical guidelines
    Svátek, V
    Ríha, A
    Zíka, T
    Zvárová, J
    Jirousek, R
    Zdráhal, Z
    KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2000, 62 : 9 - 16
  • [26] Software agents representing medical guidelines
    McGrory, John
    Clarke, Frank
    Grimson, Jane
    Gaffney, Peter
    HEALTHINF 2008: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, VOL 1, 2008, : 142 - +
  • [27] Using Medical Devices to Teach Formal Modeling
    Celiku, Orieta
    Garlan, David
    2007 JOINT WORKSHOP ON HIGH CONFIDENCE MEDICAL DEVICES, SOFTWARE AND SYSTEMS AND MEDICAL DEVICE PLUG-AND PLAY INTEROPERABILITY, 2007, : 201 - 203
  • [28] Recommendations for Regulating Software-Based Medical Treatments: Learning from Therapies for Psychiatric Conditions
    Lee, Theodore T.
    FOOD AND DRUG LAW JOURNAL, 2018, 73 (01) : 66 - 102
  • [29] Software-based Analysis of the Security by Design in Embedded Devices
    Junges, Pierre-Marie
    Francois, Jerome
    Festor, Olivier
    2021 IFIP/IEEE INTERNATIONAL SYMPOSIUM ON INTEGRATED NETWORK MANAGEMENT (IM 2021), 2021, : 558 - 564
  • [30] Coping with defective software in medical devices
    Rakitin, SR
    COMPUTER, 2006, 39 (04) : 40 - +
12345