Abstract:
:Modern medical systems undertaking the task of surveillance of patients are safety-critical systems steered by software. Such systems will bring man's life into hazard if they fail to meet patients' requirements; so, adequate reliability of the algorithms and computations used by software of such systems is a matter of concern. The environment of a medical safety-critical system consisting of a patient has safety requirements that should be satisfied by the system. A safety requirement is the one that if it is violated, the system environment will be subject to severe risk. An effective method to verify the algorithms and computations used by software of such systems against safety requirements is to keep the software under surveillance at run-time. This paper aims to present a model-based method to construct a run-time monitor for a safety-critical medical system called Continuous Infusion Insulin Pump (CIIP).
journal_name
J Med Systjournal_title
Journal of medical systemsauthors
Babamir SMdoi
10.1007/s10916-010-9547-3subject
Has Abstractpub_date
2012-04-01 00:00:00pages
829-40issue
2eissn
0148-5598issn
1573-689Xjournal_volume
36pub_type
杂志文章abstract::Recently, many authentication protocols have been presented using smartcard for the telecare medicine information system (TMIS). In 2014, Xu et al. put forward a two-factor mutual authentication with key agreement protocol using elliptic curve cryptography (ECC). However, the authors have proved that the protocol is n...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-014-0135-9
更新日期:2014-10-01 00:00:00
abstract::Securing electronic health records, in scenarios in which the provision of care services is share among multiple actors, could become a complex and costly activity. Correct identification of patients and physician, protection of privacy and confidentiality, assignment of access permissions for healthcare providers and...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-009-9313-6
更新日期:2010-10-01 00:00:00
abstract::Significant attention has been directed towards developing the medical home and improving the patient experience. The medical home is targeted towards optimizing the quality of patient care while also reducing overall costs. An extension of the medical home is the concept of a medical neighborhood. The medical neighbo...
journal_title:Journal of medical systems
pub_type: 社论
doi:10.1007/s10916-016-0557-7
更新日期:2016-09-01 00:00:00
abstract::In a longitudinal panel study design, 80 hospitals in Virginia were selected for analysis to test the hypothesis that the introduction of the prospective payment system (PPS) in October 1983 had helped hospitals enhance their operational performance in technical efficiency. A non-parametric method called Data Envelopm...
journal_title:Journal of medical systems
pub_type: 杂志文章,多中心研究
doi:10.1023/a:1005542324990
更新日期:2000-06-01 00:00:00
abstract::Iris plays a vital role in human life for object identification. Many models and techniques were proposed and suggested for detecting the Iris, but the accuracy was not achieved up to the level and its frequently used for biometric application. The Proposed Work divided into two steps, at first, we detect the entire e...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-019-1405-3
更新日期:2019-07-02 00:00:00
abstract::Health care technology and innovation is a rapidly growing industry with great potential. Hackathons have become an increasingly popular venue for institutions to generate ideas and enthusiasm for innovation. These events can inspire change and eventual improvement in medical systems. However, alongside developers and...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-016-0461-1
更新日期:2016-04-01 00:00:00
abstract::The University of Nebraska Medical Center maintains the Synapse Health Information Network to provide timely clinical and library resource information to health professionals across Nebraska and surrounding regions. The system is in over 115 sites across Nebraska and surrounding regions and maintains over 320 network ...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/BF00996589
更新日期:1992-06-01 00:00:00
abstract::In healthcare organizations, clinical workflows are executed by interdisciplinary healthcare teams (IHTs) that operate in ways that are difficult to manage. Responding to a need to support such teams, we designed and developed the MET4 multi-agent system that allows IHTs to manage patients according to presentation-sp...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-015-0375-3
更新日期:2016-02-01 00:00:00
abstract::Due to the complex topological structure of the coronary artery and the uneven distribution of the contrast agent, the angiography images are inevitably blurred and has low contrast, which causes great difficulty in process of segmentation. For this problem, a two-steps segmentation algorithm based on Hessian matrix a...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-019-1329-y
更新日期:2019-05-29 00:00:00
abstract::Geographic Information System (GIS) technology is being used at Mount Sinai Hospital in Chicago to better understand utilization patterns by the city's fire department and the subsequent effects on the rates of trauma cases who leave without being treated (LWOT) and throughput times. In this process, opportunities for...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1023/b:joms.0000032847.16624.1a
更新日期:2004-06-01 00:00:00
abstract::Due to lack of a central bureaucrat in mobile ad hoc networks, the security of the network becomes serious issue. During malicious attacks, according to the motivation of intruder the severity of the threat varies. It may lead to loss of data, energy or throughput. This paper proposes a lightweight Intruder Node Detec...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-019-1309-2
更新日期:2019-05-10 00:00:00
abstract::In order to improve the standard of management in hospitals and effectively control the cost of clinical treatments, this research primarily focuses on optimizing the scheduling of clinical pathways (CPs). A mathematical model for CP scheduling is constructed, and the hybrid genetic algorithm (HGA, combining a genetic...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-013-9945-4
更新日期:2013-06-01 00:00:00
abstract:UNLABELLED:An assessment of policy toward the care of seriously mentally ill (SMI) persons residing in a suburban Chicago community was undertaken. Results indicated the SMI population was classically "underserved." Few alternatives to a state inpatient hospital were being utilized. A policy change in SMI care was inst...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1023/a:1020578311537
更新日期:1999-08-01 00:00:00
abstract::In a previous paper, the authors described three paradigms applicable to automated medical text analysis. In this paper, the relative importance of the three paradigms is discussed, viz. the relative value of the linguistic word categorization, the semantic paradigm, and the medical fact delineation. The strategy adop...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/BF00993881
更新日期:1991-02-01 00:00:00
abstract::Wearable monitoring devices are an innovative way to measure heart rate (HR) and heart rate variability (HRV), however, there is still debate about the validity of these wearables. This study aimed to validate the accuracy and predictive value of the Empatica E4 wristband against the VU University Ambulatory Monitorin...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-020-01648-w
更新日期:2020-09-23 00:00:00
abstract::The patient data confidentiality is one of the vital security aspects in e-Health and m-Health services. In particular, providing confidentiality to the patient's medical image is essential and the protection approaches have to be explored in-depth due to the rapid progress in the technologies of teleradiology and PAC...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-017-0809-1
更新日期:2017-09-12 00:00:00
abstract::In recent years, human activity recognition from body sensor data or wearable sensor data has become a considerable research attention from academia and health industry. This research can be useful for various e-health applications such as monitoring elderly and physical impaired people at Smart home to improve their ...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-018-0948-z
更新日期:2018-04-16 00:00:00
abstract::With the rapid development of the Internet, digitization and electronic orientation are required in various applications of our daily life. For e-medicine, establishing Electronic patient records (EPRs) for all the patients has become the top issue during the last decade. Simultaneously, constructing an integrated EPR...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-010-9527-7
更新日期:2012-04-01 00:00:00
abstract::This paper provides a tutorial of technology transfer for management information systems in health care. Additionally it describes the process for a national survey of acute care hospitals using a random sample of 813 hospitals. The purpose of the survey was to measure the levels of Internet and Intranet existence and...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1023/a:1005684215664
更新日期:2001-02-01 00:00:00
abstract::Nurses are the foundation of any healthcare system. It is essential to alert nurses on time so that they can offer care and comfort without any delay. Pager messages (short messages) represent an important part of the overall hospital communication network. These short messages are sent through data paging systems to ...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-011-9651-z
更新日期:2012-06-01 00:00:00
abstract::Stakeholders' needs and expectations are identified by means of software quality requirements, which have an impact on software product quality. In this paper, we present a set of requirements for mobile personal health records (mPHRs) for pregnancy monitoring, which have been extracted from literature and existing mo...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-015-0415-z
更新日期:2016-03-01 00:00:00
abstract::According to the recent study, world-wide 40 million patients are affected by Alzheimer disease (AD) because it is one of the dangerous neurodegenerative disorders. This AD disease has less symptoms such as short term memory loss, mood swings, problem with language understanding and behavioral issues. Due to these low...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-018-1068-5
更新日期:2018-10-02 00:00:00
abstract::Due to insufficient samples, the generalization performance of deep network is insufficient. In order to solve this problem, an improved U-net based image automatic segmentation and diagnosis algorithm was proposed, in which the max-pooling operation in original U-net model was replaced by the convolution operation to...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-019-1432-0
更新日期:2019-08-12 00:00:00
abstract::Wireless Capsule Endoscopy (WCE), which allows clinicians to inspect the whole gastrointestinal tract (GI) noninvasively, has bloomed into one of the most efficient technologies to diagnose the bleeding in GI tract. However WCE generates large amount of images in one examination of a patient. It is hard for clinicians...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-009-9424-0
更新日期:2011-12-01 00:00:00
abstract::The Electronic Medical Record (EMR) is a computerized record of clinical, demographic and management information. EMR is an enabling technology that allows physicians to utilize quality improvement processes in the practice of medicine. Oman is one of the Middle Eastern Countries that has implemented an integrated ele...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-006-7399-7
更新日期:2006-02-01 00:00:00
abstract::Monitoring the follicles in women's ovaries is especially important in human reproduction. Today, the monitoring of follicles is done with human interaction. Such monitoring can be very demanding and inaccurate, and in most cases signifies additional burdens for the experts. In this paper, a new algorithm for automate...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1023/a:1022832515369
更新日期:1997-12-01 00:00:00
abstract::This study investigates the feasibility of cardiopulmonary coupling (CPC) using home sleep monitoring system. We have designed a system to measure respiratory signals and normal-to-normal (NN) interval series in a non-contact based on air mattress. Then, CPC analysis was conducted using extracted respiratory signals a...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-017-0824-2
更新日期:2017-09-26 00:00:00
abstract::The concept of Total Quality Management (TQM) has come to be applied in healthcare over the last few years. The process management category in the Baldrige Health Care Criteria for Performance Excellence model is designed to evaluate the quality of medical services. However, a systematic approach for implementation su...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-009-9376-4
更新日期:2011-06-01 00:00:00
abstract::Functional Electrical Stimulation (FES) is a technology to generate neural activity in an artificial way to activate muscles. However, as reported by some researchers, the human responses to FES are likely to be affected by several factors, such as spasticity, muscle fatigue, nerve habituation and so forth. Consequent...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/s10916-010-9517-9
更新日期:2011-10-01 00:00:00
abstract::This paper describes AI/LEARN, an educational videodisk system designed to teach clinical observational skills and reasoning in medicine. The AI/LEARN system uses a learning conditions approach to teaching. To teach visual concepts, we use the principle of exemplar/nonexemplar pairs and immediate feedback. To teach If...
journal_title:Journal of medical systems
pub_type: 杂志文章
doi:10.1007/BF00993009
更新日期:1987-12-01 00:00:00