Abstract:
OBJECTIVE:Software-based devices have increasingly become an important part of several clinical scenarios. Due to their critical impact on human life, medical devices have very strict safety requirements. It is therefore necessary to apply verification methods to ensure that the safety requirements are met. Verification of software-based devices is commonly limited to the verification of their internal elements without considering the interaction that these elements have with other devices as well as the application environment in which they are used. Medical guidelines define clinical procedures, which contain the necessary information to completely verify medical devices. The objective of this work was to incorporate medical guidelines into the verification process in order to increase the reliability of the software-based medical devices. MATERIALS AND METHODS:Medical devices are developed using the model-driven method deterministic models for signal processing of embedded systems (DMOSES). This method uses unified modeling language (UML) models as a basis for the development of medical devices. The UML activity diagram is used to describe medical guidelines as workflows. The functionality of the medical devices is abstracted as a set of actions that is modeled within these workflows. In this paper, the UML models are verified using the UPPAAL model-checker. For this purpose, a formalization approach for the UML models using timed automaton (TA) is presented. RESULTS:A set of requirements is verified by the proposed approach for the navigation-guided biopsy. This shows the capability for identifying errors or optimization points both in the workflow and in the system design of the navigation device. In addition to the above, an open source eclipse plug-in was developed for the automated transformation of UML models into TA models that are automatically verified using UPPAAL. CONCLUSIONS:The proposed method enables developers to model medical devices and their clinical environment using clinical workflows as one UML diagram. Additionally, the system design can be formally verified automatically.
journal_name
Int J Comput Assist Radiol Surgauthors
Daw Z,Cleaveland R,Vetter Mdoi
10.1007/s11548-013-0919-2subject
Has Abstractpub_date
2014-01-01 00:00:00pages
145-53issue
1eissn
1861-6410issn
1861-6429journal_volume
9pub_type
杂志文章abstract:PURPOSE:Accurate target delineation is a critical step in radiotherapy. In this study, a robust contour propagation method is proposed to help physicians delineate lung tumors in four-dimensional computer tomography (4D-CT) images efficiently and accurately. METHODS:The proposed method starts with manually delineated ...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-016-1457-5
更新日期:2016-12-01 00:00:00
abstract:PURPOSE:Distance measures are required for diagnoses, therapy decision and documentation. With today's high-resolution CT and MR imaging techniques, high- quality images have become possible. Yet, manual measurement can be tedious. We present a method for automatically determining different distance-based measures on s...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-010-0519-3
更新日期:2010-11-01 00:00:00
abstract:PURPOSE:Estimating the interaction forces of instruments and tissue is of interest, particularly to provide haptic feedback during robot-assisted minimally invasive interventions. Different approaches based on external and integrated force sensors have been proposed. These are hampered by friction, sensor size, and ste...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-018-1777-8
更新日期:2018-07-01 00:00:00
abstract:PURPOSE:Knowing the location of the blood vessels supplying the skin and subcutaneous tissue is a requirement during the planning of tissue transfer in reconstructive surgery. Commonly used imaging techniques such as computed tomography angiography and indocyanine green angiography expose the patient to radiation or a ...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-018-1892-6
更新日期:2019-03-01 00:00:00
abstract:PURPOSE: Most of the current Bonebridge surgeries undergo preoperative simulation planning in a computer. However, surgeons usually use the landmarks on the bone surface to determine the location where to implant the device, using the simulation image in the computer only as a reference (conventional method). We deve...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-013-0973-9
更新日期:2014-09-01 00:00:00
abstract:PURPOSE:Ultrasound (US) imaging offers advantages over other imaging modalities and has become the most widespread modality for many diagnostic and interventional procedures. However, traditional 2D US requires a long training period, especially to learn how to manipulate the probe. A hybrid interactive system based on...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-014-1113-x
更新日期:2015-07-01 00:00:00
abstract:PURPOSE:Planning osteotomies is a task that surgeons do as part of standard surgical workflow. This task, however, becomes more difficult and less intuitive when a robot is tasked with performing the osteotomy. In this study, we aim to provide a new method for surgeons to allow for highly intuitive trajectory planning,...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-018-01905-x
更新日期:2019-05-01 00:00:00
abstract:PURPOSE:Epilepsy is potentially curable with resective surgery if the epileptogenic zone (EZ) can be identified. If non-invasive imaging is unable to elucidate the EZ, intracranial electrodes may be implanted to identify the EZ as well as map cortical function. In current clinical practice, each electrode trajectory is...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-017-1628-z
更新日期:2017-08-01 00:00:00
abstract:PURPOSE:StereoElectroEncephaloGraphy (SEEG) is done to identify the epileptogenic zone of the brain using several multi-lead electrodes whose positions in the brain are pre-operatively defined. Intracranial hemorrhages due to disruption of blood vessels can cause major complications of this procedure ([Formula: see tex...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-014-1004-1
更新日期:2014-11-01 00:00:00
abstract:PURPOSE:Three-dimensional (3D) printing for preoperative planning has been intensively developed in the recent years. However, the implementation of these solutions in hospitals is still difficult due to high costs, extremely expensive industrial-grade printers, and software that is difficult to obtain and learn along ...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-017-1527-3
更新日期:2017-12-01 00:00:00
abstract:PURPOSE:Accurate needle tracking provides essential information for MRI-guided percutaneous interventions. Passive needle tracking using MR images is challenged by variations of the needle-induced signal void feature in different situations. This work aimed to develop an automatic needle tracking algorithm for MRI-guid...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-020-02226-8
更新日期:2020-10-01 00:00:00
abstract:PURPOSE:The main purpose of this work is to develop, apply, and evaluate an efficient approach for breast density estimation in magnetic resonance imaging data, which contain strong artifacts including intensity inhomogeneities. METHODS:We present a pipeline for breast density estimation, which consists of intensity i...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-019-01928-y
更新日期:2019-10-01 00:00:00
abstract:PURPOSE:Neoadjuvant chemotherapy (NAC) aims to minimize the tumor size before surgery. Predicting response to NAC could reduce toxicity and delays to effective intervention. Computational analysis of dynamic contrast-enhanced magnetic resonance images (DCE-MRI) through deep convolution neural network (CNN) has shown a ...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-020-02209-9
更新日期:2020-09-01 00:00:00
abstract:PURPOSE:Lung cancer detection at its initial stages increases the survival chances of patients. Automatic detection of lung nodules facilitates radiologists during the diagnosis. However, there is a challenge of false positives in automated systems which may lead to wrong findings. Precise segmentation facilitates to a...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-018-1715-9
更新日期:2018-07-01 00:00:00
abstract:PURPOSE:In the past decade, augmented reality systems have been expected to support surgical operations by making it possible to view invisible objects that are inside or occluded by the skull, hands, or organs. However, the properties of biological tissues that are non-rigid and featureless require a large number of d...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-016-1458-4
更新日期:2016-12-01 00:00:00
abstract:PURPOSE:Facet joint insertion is a common treatment of chronic pain in the back and spine. This procedure is often performed under fluoroscopic guidance, where the staff's repetitive radiation exposure remains an unsolved problem. Robotic ultrasound (rUS) has the potential to reduce or even eliminate the use of radiati...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-018-1759-x
更新日期:2018-06-01 00:00:00
abstract:PURPOSE:Molecular imaging is the visualization and identification of specific molecules in anatomy for insight into metabolic pathways, tissue consistency, and tracing of solute transport mechanisms. This paper presents the Molecular Imaging Data Grid (MIDG) which utilizes emerging grid technologies in preclinical mole...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-010-0524-6
更新日期:2011-03-01 00:00:00
abstract:PURPOSE:Flexible surgical robot can work in confined and complex environments, which makes it a good option for minimally invasive surgery. In order to utilize flexible manipulators in complicated and constrained surgical environments, it is of great significance to monitor the position and shape of the curvilinear man...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-017-1672-8
更新日期:2018-02-01 00:00:00
abstract:PURPOSE:Evaluation of circulating blood volume is important in assessing the status of patients. Although some studies have suggested that ultrasound images of the internal jugular vein (IJV) can be used for the analysis of circulating blood volume, accurate extraction of IJV is necessary to reduce errors. Therefore, t...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-013-0921-8
更新日期:2014-03-01 00:00:00
abstract:PURPOSE:Multi-organ segmentation from CT images is an essential step for computer-aided diagnosis and surgery planning. However, manual delineation of the organs by radiologists is tedious, time-consuming and poorly reproducible. Therefore, we propose a fully automatic method for the segmentation of multiple organs fro...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-016-1501-5
更新日期:2017-03-01 00:00:00
abstract:PURPOSE:Minimally invasive treatment of solid cancers, especially in the breast and liver, remains clinically challenging, despite a variety of treatment modalities, including radiofrequency ablation (RFA), microwave ablation or high-intensity focused ultrasound. Each treatment modality has advantages and disadvantages...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-012-0769-3
更新日期:2012-11-01 00:00:00
abstract:PURPOSE:A retrospective evaluation of the ability of computer-aided detection (CAD) ability to identify breast carcinoma in standard mammographic projections. MATERIALS AND METHODS:Forty-five biopsy proven lesions in 44 patients imaged digitally with CAD applied at examination were reviewed. Forty-four screening BIRAD...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-009-0300-7
更新日期:2009-06-01 00:00:00
abstract:PURPOSE:In both structural and functional MRI, there is a need for accurate and reliable automatic segmentation of brain regions. Inconsistent segmentation reduces sensitivity and may bias results in clinical studies. The current study compares the performance of publicly available segmentation tools and their impact o...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-016-1433-0
更新日期:2016-11-01 00:00:00
abstract:PURPOSE:Medical imaging and in particular digital radiographic images offer a great deal of information to dentists in the clinical diagnosis and treatment processes on a daily basis. This paper presents a new method aimed to produce an accurate segmentation of dental implants and the crestal bone line in radiographic ...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-012-0802-6
更新日期:2013-09-01 00:00:00
abstract:PURPOSE:Laparoscopic techniques have nowadays become a gold standard in many surgical procedures, but they imply a more difficult learning skills process. Simulators have a fundamental role in the formative stage of new surgeons. This paper presents the construct and face validity of SINERGIA laparoscopic virtual reali...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-010-0425-8
更新日期:2010-07-01 00:00:00
abstract:PURPOSE:Our particular motivator is the need for screening HIV+ populations in resource-constrained regions for the evidence of tuberculosis, using posteroanterior chest radiographs (CXRs). METHOD:The proposed method is motivated by the observation that abnormal CXRs tend to exhibit corrupted and/or deformed thoracic ...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-016-1359-6
更新日期:2016-09-01 00:00:00
abstract:PURPOSE:Precise needle placement is an important task during several medical procedures. Ultrasound imaging is often used to guide the needle toward the target region in soft tissue. This task remains challenging due to the user's dependence on image quality, limited field of view, moving target, and moving needle. In ...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-016-1408-1
更新日期:2016-06-01 00:00:00
abstract:PURPOSE:Automatic segmentation of anatomical structures and lesions from medical ultrasound images is a formidable challenge in medical imaging due to image noise, blur and artifacts. In this paper we present a segmentation technique with features highly suited to use in noisy 3D ultrasound volumes and demonstrate its ...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-015-1239-5
更新日期:2016-01-01 00:00:00
abstract:PURPOSE:Radio-frequency ablations play an important role in the therapy of malignant liver lesions. The navigation of a needle to the lesion poses a challenge for both the trainees and intervening physicians. METHODS:This publication presents a new GPU-based, accurate method for the simulation of radio-frequency ablat...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-019-02033-w
更新日期:2019-11-01 00:00:00
abstract:PURPOSE:C-arms are portable X-ray devices used to generate radiographic images in orthopedic surgical procedures. Evidence suggests that scouting images, which are used to aid in C-arm positioning, result in increased operation time and excess radiation exposure. C-arms are also primarily used qualitatively to view ima...
journal_title:International journal of computer assisted radiology and surgery
pub_type: 杂志文章
doi:10.1007/s11548-020-02229-5
更新日期:2020-10-01 00:00:00