Int J Comput Assist Radiol Surg - Formal verification of software-based medical devices considering medical guidelines.

Tópicos

{ clinic(1479) use(1117) guidelin(835) }
{ record(1888) medic(1808) patient(1693) }
{ model(3480) simul(1196) paramet(876) }
{ monitor(1329) mobil(1314) devic(1160) }
{ concept(1167) ontolog(924) domain(897) }
{ method(1969) cluster(1462) data(1082) }
{ care(1570) inform(1187) nurs(1089) }
{ method(2212) result(1239) propos(1039) }
{ import(1318) role(1303) understand(862) }
{ surgeri(1148) surgic(1085) robot(1054) }
{ control(1307) perform(991) simul(935) }
{ general(901) number(790) one(736) }
{ spatial(1525) area(1432) region(1030) }
{ signal(2180) analysi(812) frequenc(800) }
{ process(1125) use(805) approach(778) }
{ can(774) often(719) complex(702) }
{ system(1976) rule(880) can(841) }
{ chang(1828) time(1643) increas(1301) }
{ data(1714) softwar(1251) tool(1186) }
{ design(1359) user(1324) use(1319) }
{ model(2220) cell(1177) simul(1124) }
{ compound(1573) activ(1297) structur(1058) }
{ first(2504) two(1366) second(1323) }
{ imag(1947) propos(1133) code(1026) }
{ imag(1057) registr(996) error(939) }
{ studi(2440) review(1878) systemat(933) }
{ framework(1458) process(801) describ(734) }
{ problem(2511) optim(1539) algorithm(950) }
{ error(1145) method(1030) estim(1020) }
{ method(1557) propos(1049) approach(1037) }
{ data(3963) clinic(1234) research(1004) }
{ visual(1396) interact(850) tool(830) }
{ perform(1367) use(1326) method(1137) }
{ studi(1119) effect(1106) posit(819) }
{ ehr(2073) health(1662) electron(1139) }
{ research(1218) medic(880) student(794) }
{ model(2656) set(1616) predict(1553) }
{ sampl(1606) size(1419) use(1276) }
{ can(981) present(881) function(850) }
{ estim(2440) model(1874) function(577) }
{ detect(2391) sensit(1101) algorithm(908) }
{ model(3404) distribut(989) bayesian(671) }
{ data(1737) use(1416) pattern(1282) }
{ inform(2794) health(2639) internet(1427) }
{ measur(2081) correl(1212) valu(896) }
{ bind(1733) structur(1185) ligand(1036) }
{ sequenc(1873) structur(1644) protein(1328) }
{ method(1219) similar(1157) match(930) }
{ featur(3375) classif(2383) classifi(1994) }
{ imag(2830) propos(1344) filter(1198) }
{ network(2748) neural(1063) input(814) }
{ imag(2675) segment(2577) method(1081) }
{ patient(2315) diseas(1263) diabet(1191) }
{ take(945) account(800) differ(722) }
{ motion(1329) object(1292) video(1091) }
{ assess(1506) score(1403) qualiti(1306) }
{ treatment(1704) effect(941) patient(846) }
{ learn(2355) train(1041) set(1003) }
{ algorithm(1844) comput(1787) effici(935) }
{ extract(1171) text(1153) clinic(932) }
{ method(984) reconstruct(947) comput(926) }
{ search(2224) databas(1162) retriev(909) }
{ featur(1941) imag(1645) propos(1176) }
{ case(1353) use(1143) diagnosi(1136) }
{ howev(809) still(633) remain(590) }
{ studi(1410) differ(1259) use(1210) }
{ risk(3053) factor(974) diseas(938) }
{ perform(999) metric(946) measur(919) }
{ research(1085) discuss(1038) issu(1018) }
{ system(1050) medic(1026) inform(1018) }
{ model(2341) predict(2261) use(1141) }
{ blood(1257) pressur(1144) flow(957) }
{ health(3367) inform(1360) care(1135) }
{ state(1844) use(1261) util(961) }
{ patient(2837) hospit(1953) medic(668) }
{ data(2317) use(1299) case(1017) }
{ age(1611) year(1155) adult(843) }
{ medic(1828) order(1363) alert(1069) }
{ cost(1906) reduc(1198) effect(832) }
{ group(2977) signific(1463) compar(1072) }
{ gene(2352) biolog(1181) express(1162) }
{ data(3008) multipl(1320) sourc(1022) }
{ intervent(3218) particip(2042) group(1664) }
{ activ(1138) subject(705) human(624) }
{ time(1939) patient(1703) rate(768) }
{ patient(1821) servic(1111) care(1106) }
{ use(2086) technolog(871) perceiv(783) }
{ analysi(2126) use(1163) compon(1037) }
{ health(1844) social(1437) communiti(874) }
{ structur(1116) can(940) graph(676) }
{ high(1669) rate(1365) level(1280) }
{ cancer(2502) breast(956) screen(824) }
{ use(976) code(926) identifi(902) }
{ use(1733) differ(960) four(931) }
{ drug(1928) target(777) effect(648) }
{ result(1111) use(1088) new(759) }
{ implement(1333) system(1263) develop(1122) }
{ survey(1388) particip(1329) question(1065) }
{ decis(3086) make(1611) patient(1517) }
{ activ(1452) weight(1219) physic(1104) }

Resumo

JECTIVE: 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.

Resumo Limpo

jectiv softwarebas devic increas becom import part sever clinic scenario due critic impact human life medic devic strict safeti requir therefor necessari appli verif method ensur safeti requir met verif softwarebas devic common limit verif intern element without consid interact element devic well applic environ use medic guidelin defin clinic procedur contain necessari inform complet verifi medic devic object work incorpor medic guidelin verif process order increas reliabl softwarebas medic devicesmateri method medic devic develop use modeldriven method determinist model signal process embed system dmose method use unifi model languag uml model basi develop medic devic uml activ diagram use describ medic guidelin workflow function medic devic abstract set action model within workflow paper uml model verifi use uppaal modelcheck purpos formal approach uml model use time automaton ta presentedresult set requir verifi propos approach navigationguid biopsi show capabl identifi error optim point workflow system design navig devic addit open sourc eclips plugin develop autom transform uml model ta model automat verifi use uppaalconclus propos method enabl develop model medic devic clinic environ use clinic workflow one uml diagram addit system design can formal verifi automat

Resumos Similares

J Am Med Inform Assoc - The feasibility of automating audit and feedback for ART guideline adherence in Malawi. ( 0,687904795304579 )
BMC Med Inform Decis Mak - Beyond the threshold: real-time use of evidence in practice. ( 0,68192930901047 )
Int J Med Inform - From clinical practice guidelines, to clinical guidance in practice - impacts for computerization. ( 0,677092406315736 )
Methods Inf Med - From clinical practice guidelines to computer-interpretable guidelines. A literature overview. ( 0,660478231912134 )
Comput. Biol. Med. - Towards automated generation and execution of clinical guidelines: engine design and implementation through the ICU Modified Schofield use case. ( 0,65598549467372 )
J Am Med Inform Assoc - Building better guidelines with BRIDGE-Wiz: development and evaluation of a software assistant to promote clarity, transparency, and implementability. ( 0,65395054216832 )
AMIA Annu Symp Proc - Representation of Clinical Nursing Protocols Using GEM II & GEM Cutter. ( 0,65195723257122 )
BMC Med Inform Decis Mak - Practice guidelines and clinical risk assessment models: is it time to reform? ( 0,641894878935157 )
J Med Syst - A physician order category-based clinical guideline comparison system. ( 0,63641152932689 )
AMIA Annu Symp Proc - Extending the GuideLine Implementability Appraisal (GLIA) instrument to identify problems in control flow. ( 0,631572229672383 )
J Biomed Inform - Transforming semi-structured life science diagrams into meaningful domain ontologies with DiDOn. ( 0,625091111177955 )
J Biomed Inform - Facilitating pre-operative assessment guidelines representation using SNOMED CT. ( 0,621622458067766 )
J. Med. Internet Res. - Feasibility of a wiki as a participatory tool for patients in clinical guideline development. ( 0,614614157041459 )
J Med Syst - Intelligent personal health record: experience and open issues. ( 0,614058755251291 )
BMC Med Inform Decis Mak - Validating archetypes for the Multiple Sclerosis Functional Composite. ( 0,613421839738007 )
AMIA Annu Symp Proc - Corpus-Based Problem Selection for EHR Note Summarization. ( 0,611440256699468 )
J Biomed Inform - The impact of emerging standards adoption on automated quality reporting. ( 0,607810490058199 )
Telemed J E Health - Utilization of the American Telemedicine Association's clinical practice guidelines. ( 0,602798475966676 )
AMIA Annu Symp Proc - Developing nursing computer interpretable guidelines: a feasibility study of heart failure guidelines in homecare. ( 0,601995870077616 )
AMIA Annu Symp Proc - GEM at 10: a decade's experience with the Guideline Elements Model. ( 0,594570327949033 )
J Am Med Inform Assoc - Clinical decision support with automated text processing for cervical cancer screening. ( 0,59415001912391 )
Telemed J E Health - Electronic and remote prescribing: administrative, regulatory, technical, and clinical standards and guidelines, April 2013. ( 0,590348445725359 )
Appl Clin Inform - An internet portal for the development of clinical practice guidelines. ( 0,58936066457396 )
J Biomed Inform - Workflow mining and outlier detection from clinical activity logs. ( 0,582466313600347 )
AMIA Annu Symp Proc - Data model for personalized patient health guidelines: an exploratory study. ( 0,581109261067075 )
Comput. Biol. Med. - Evaluation of personal health record systems through the lenses of EC research projects. ( 0,577686417260108 )
Int J Med Inform - Complexity and the science of implementation in health IT--knowledge gaps and future visions. ( 0,574070325996137 )
J Med Syst - Mobile PHRs compliance with Android and iOS usability guidelines. ( 0,573982255933727 )
J Telemed Telecare - Costs and benefits of tele-endoscopy clinics in a remote location. ( 0,570008394934212 )
J Med Syst - Using recommendation to support adaptive clinical pathways. ( 0,566372377556655 )
Methods Inf Med - The Standardization of Uveitis Nomenclature (SUN) Project. Development of a clinical evidence base utilizing informatics tools and techniques. ( 0,562825127417996 )
Comput Methods Programs Biomed - Supporting adaptive clinical treatment processes through recommendations. ( 0,561664153595798 )
J Biomed Inform - Measuring clinical pathway adherence. ( 0,559135045291931 )
J. Med. Internet Res. - An evaluation of web-based clinical practice guidelines for managing problems associated with cannabis use. ( 0,556338623559024 )
BMC Med Inform Decis Mak - Evaluating genomic tests from bench to bedside: a practical framework. ( 0,553828470386711 )
AMIA Annu Symp Proc - Extending the HL7/LOINC Document Ontology Settings of Care. ( 0,547938749563123 )
J Am Med Inform Assoc - Effect of clinical decision support on documented guideline adherence for head CT in emergency department patients with mild traumatic brain injury. ( 0,546458745442646 )
Res Synth Methods - Methods for documenting systematic review searches: a discussion of common issues. ( 0,544910654678309 )
J Biomed Inform - Mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming. ( 0,544864693438279 )
Med Biol Eng Comput - An improved curvilinear gradient method for parameter optimization in complex biological models. ( 0,544568006975357 )
J Am Med Inform Assoc - Modeling shared care plans using CONTsys and openEHR to support shared homecare of the elderly. ( 0,542620990267826 )
AMIA Annu Symp Proc - An Algorithm Using Twelve Properties of Antibiotics to Find the Recommended Antibiotics, as in CPGs. ( 0,542280039365354 )
Appl Clin Inform - Fully Automated Surveillance of Healthcare-Associated Infections with MONI-ICU: A Breakthrough in Clinical Infection Surveillance. ( 0,538267297305121 )
J Am Med Inform Assoc - Data from clinical notes: a perspective on the tension between structure and flexible documentation. ( 0,537574554299229 )
BMC Med Inform Decis Mak - A conceptual framework and protocol for defining clinical decision support objectives applicable to medical specialties. ( 0,537383985414079 )
AMIA Annu Symp Proc - Making audit actionable: an example algorithm for blood pressure management in chronic kidney disease. ( 0,536468824845289 )
J Am Med Inform Assoc - A multi-layered framework for disseminating knowledge for computer-based decision support. ( 0,536262823519047 )
BMC Med Inform Decis Mak - Development of a prototype clinical decision support tool for osteoporosis disease management: a qualitative study of focus groups. ( 0,533667829460459 )
Int J Med Inform - Development and evaluation of data entry templates based on the entity-attribute-value model for clinical decision support of pressure ulcer wound management. ( 0,532792621626768 )
J Clin Monit Comput - Dynamic behavior of BIS, M-entropy and neuroSENSE brain function monitors. ( 0,532067976074988 )
Int J Med Inform - Towards an understanding of the information dynamics of the handover process in aged care settings--a prerequisite for the safe and effective use of ICT. ( 0,530506582369699 )
Methods Inf Med - An electronic specimen collection protocol schema (eSCPS). Document architecture for specimen management and the exchange of specimen collection protocols between biobanking information systems. ( 0,529532641311357 )
Int J Med Inform - Electromagnetic interference of magnetic field based auto identification technologies in healthcare settings. ( 0,528903568982993 )
BMC Med Inform Decis Mak - How to translate therapeutic recommendations in clinical practice guidelines into rules for critiquing physician prescriptions? Methods and application to five guidelines. ( 0,524777639093659 )
Perspect Health Inf Manag - Distributed guidelines (DiG): a software framework for extending automated health decision support to the general population. ( 0,524673155457486 )
Appl Clin Inform - Monitoring adherence to evidence-based practices: a method to utilize HL7 messages from hospital information systems. ( 0,524654269380111 )
Health Info Libr J - The application and value of information sources in clinical practice: an examination of the perspective of naturopaths. ( 0,522711892229441 )
Appl Clin Inform - Actionable recommendations in the Bright Futures child health supervision guidelines. ( 0,520965453336833 )
BMC Med Inform Decis Mak - Towards computerizing intensive care sedation guidelines: design of a rule-based architecture for automated execution of clinical guidelines. ( 0,517935549704129 )
IEEE Trans Vis Comput Graph - Paraglide: Interactive Parameter Space Partitioning for Computer Simulations. ( 0,516896612721278 )
Res Synth Methods - A tool to assess the quality of a meta-analysis. ( 0,516244154356755 )
Telemed J E Health - A lexicon of assessment and outcome measures for telemental health. ( 0,515866096918347 )
Health Informatics J - Recording signs of deterioration in acute patients: The documentation of vital signs within electronic health records in patients who suffered in-hospital cardiac arrest. ( 0,515593851771031 )
Brief. Bioinformatics - A survey of error-correction methods for next-generation sequencing. ( 0,515187863885755 )
Int J Med Inform - USB-based Personal Health Records: an analysis of features and functionality. ( 0,51183957835266 )
J Am Med Inform Assoc - Electronic medical record use in pediatric primary care. ( 0,511550708587076 )
IEEE J Biomed Health Inform - Wearable monitoring for mood recognition in bipolar disorder based on history-dependent long-term heart rate variability analysis. ( 0,510650511249035 )
J Clin Monit Comput - Exploration of key stakeholders' preferences for pre-hospital physiologic monitoring by emergency rescue services. ( 0,509940307985542 )
AMIA Annu Symp Proc - Toward a two-tier clinical warning system for hospitalized patients. ( 0,509908219014434 )
J Am Med Inform Assoc - Design and evaluation of a wireless electronic health records system for field care in mass casualty settings. ( 0,508450113202245 )
Int J Med Inform - Applying the archetype approach to the database of a biobank information management system. ( 0,508030910030159 )
J Am Med Inform Assoc - HARVEST, a longitudinal patient record summarizer. ( 0,507044984461563 )
Appl Clin Inform - Medical student appraisal: electronic resources for inpatient pre-rounding. ( 0,505896509780563 )
AMIA Annu Symp Proc - Location bias of identifiers in clinical narratives. ( 0,505089009446752 )
J Am Med Inform Assoc - Effects of an online personal health record on medication accuracy and safety: a cluster-randomized trial. ( 0,502710224976329 )
BMC Med Inform Decis Mak - The effect of data cleaning on record linkage quality. ( 0,50224902634933 )
Comput Methods Programs Biomed - 3D hybrid wound devices for spatiotemporally controlled release kinetics. ( 0,501461885289375 )
Artif Intell Med - Creating personalised clinical pathways by semantic interoperability with electronic health records. ( 0,501421728950449 )
Brief. Bioinformatics - Tools for managing and analyzing microarray data. ( 0,501100700893637 )
AMIA Annu Symp Proc - MedTxting: learning based and knowledge rich SMS-style medical text contraction. ( 0,499827382056421 )
Telemed J E Health - Data integrity module for data quality assurance within an e-health system in sub-Saharan Africa. ( 0,498493862902575 )
J Biomed Inform - A classification of errors in lay comprehension of medical documents. ( 0,498250130663596 )
J Biomed Inform - Effects of time constraints on clinician-computer interaction: a study on information synthesis from EHR clinical notes. ( 0,496327865164752 )
J Am Med Inform Assoc - Clinical documentation: composition or synthesis? ( 0,493570868697727 )
Health Info Libr J - The Clinical Relevance of Information Index (CRII): assessing the relevance of health information to the clinical practice. ( 0,493406134421166 )
AMIA Annu Symp Proc - Evaluating measures of redundancy in clinical texts. ( 0,491704185841337 )
AMIA Annu Symp Proc - Adapting comparative effectiveness research summaries for delivery to patients and providers through a patient portal. ( 0,488619638784916 )
Int J Med Inform - Promoting public awareness of the links between lifestyle and cancer: a controlled study of the usability of health information leaflets. ( 0,488018634861946 )
Int J Med Inform - The effect of computerized decision support on barriers to guideline implementation: a qualitative study in outpatient cardiac rehabilitation. ( 0,48763476200456 )
Health Informatics J - Accessibility, usability, and usefulness of a Web-based clinical decision support tool to enhance provider-patient communication around Self-management TO Prevent (STOP) Stroke. ( 0,486472594832872 )
Int J Med Inform - Structured electronic operative reporting: comparison with dictation in kidney cancer surgery. ( 0,485754407262152 )
J Biomed Inform - A review of causal inference for biomedical informatics. ( 0,484785064453831 )
BMC Med Inform Decis Mak - A systematic development process for patient decision aids. ( 0,484644559062483 )
BMC Med Inform Decis Mak - HIS-based Kaplan-Meier plots--a single source approach for documenting and reusing routine survival information. ( 0,484190623040719 )
J Biomed Inform - Authoring and verification of clinical guidelines: a model driven approach. ( 0,483946138070757 )
Methods Inf Med - Subword-based semantic retrieval of clinical and bibliographic documents. ( 0,483810505515436 )
J Med Syst - Experiences with a PDA-based documentation system in clinical research. ( 0,482608567022117 )
Methods Inf Med - Visual clustering analysis of CIS logs to inform creation of a user-configurable Web CIS interface. ( 0,481781596129739 )
Methods Inf Med - Snomed CT implementation. Mapping guidelines facilitating reuse of data. ( 0,478347471397327 )
Appl Clin Inform - Rapid implementation of inpatient electronic physician documentation at an academic hospital. ( 0,477530806834609 )