A Systems Approach to Cardiac Health Diagnosis

Acharya, U. Rajendra; Faust, Oliver; Ghista, Dhanjoo N.; Sree, S. Vinitha; Alvin, Ang Peng Chuan; Chattopadhyay, Subhagata; Lim, Teik‐Cheng; Ng, Eddie Yin-Kwee; Yu, Wenwei

doi:10.1166/jmihi.2013.1149

Cited by 14 publications

(8 citation statements)

References 71 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The considerations outlined above, lead to the postulation of the formal and model driven design methodology for biomedical systems [192]. The design steps follow the systems engineering meta model: need definition, requirements capturing -with the offline system, implementation of the online system, deployment and decommissioning [193].…”

Section: Discussionmentioning

confidence: 99%

Computer aided diagnosis of Coronary Artery Disease, Myocardial Infarction and carotid atherosclerosis using ultrasound images: A review

et al. 2017

Self Cite

View full text Add to dashboard Cite

Section: Discussionmentioning

confidence: 99%

Computer aided diagnosis of Coronary Artery Disease, Myocardial Infarction and carotid atherosclerosis using ultrasound images: A review

et al. 2017

Self Cite

View full text Add to dashboard Cite

“…The design must follow a well thought out process in order to create reliable and safe systems for humans to use [49][50][51]. Therefore, we have extended the systems engineering methodology with formal methods in the specification phase [52].…”

Section: Discussionmentioning

confidence: 99%

Formal and Model Driven Design of the Bright Light Therapy System Luxamet

Faust

2016

J. Mech. Med. Biol.

Self Cite

View full text Add to dashboard Cite

This document is the author deposited version. You are advised to consult the publisher's version if you wish to cite from it. FAUST, Oliver and YU, Wenwei (2015). Formal and model driven design of the bright light therapy system Luxamet. Journal of Mechanics in Medicine and Biology, 16 (05), p. 1650065. Published version Copyright and re-use policySee http://shura.shu.ac.uk/information.html Sheffield Hallam University Research Archivehttp://shura.shu.ac.uk Seasonal depression seriously diminishes the quality of life for many patients. To improve their condition, we propose LUXAMET, a bright light therapy system. This system has the potential relieve patients from some of the symptoms caused by seasonal depression. The system was designed with a formal and model driven design methodology. This methodology enabled us to minimize systemic hazards, like blinding patients with an unhealthy dose of light. This was achieved by controlling race conditions and memory leaks, during design time. We proof that the system specification is deadlock as well as livelock free and there are no invariant violations. These proves, together with the similarity between specification model and implementation code, make us confident that the implemented system is a reliable tool which can help patients during seasonal depression.

show abstract

“…Once implemented, these practical CAD systems can only meet the promises, established through the theoretical research work, when they function according to specification [254]. Therefore, it is so important to design and develop these systems with a formal and model driven approach [255,256].…”

Section: Discussionmentioning

confidence: 99%

Application of infrared thermography in computer aided diagnosis

Faust

Acharya

et al. 2014

Infrared Physics & Technology

Self Cite

100

View full text Add to dashboard Cite

The invention of thermography, in the 1950s, posed a formidable problem to the research community: What is the relationship between disease and heat radiation captured with Infrared (IR) cameras? The research community responded with a continuous effort to find this crucial relationship. This effort was aided by advances in processing techniques, improved sensitivity and spatial resolution of thermal sensors. However, despite this progress fundamental issues with this imaging modality still remain. The main problem is that the link between disease and heat radiation is complex and in many cases even nonlinear. Furthermore, the change in heat radiation as well as the change in radiation pattern, which indicate disease, is minute. On a technical level, this poses high requirements on image capturing and processing. On a more abstract level, these problems lead to inter-observer variability and on an even more abstract level they lead to a lack of trust in this imaging modality. In this review, we adopt the position that these problems can only be solved through a strict application of scientific principles and objective performance assessment. Computing machinery is inherently objective; this helps us to apply scientific principles in a transparent way and to assess the performance results. As a consequence, we aim to promote thermography based ComputerAided Diagnosis (CAD) systems. Another benefit of CAD systems comes from the fact that the diagnostic accuracy is linked to the capability of the computing machinery and, in general, computers become ever more potent. We predict that a pervasive application of computers and networking technology in medicine will help us to overcome the shortcomings of any single imaging modality and this will pave the way for integrated health care systems which maximize the quality of patient care.

show abstract

A Systems Approach to Cardiac Health Diagnosis

Cited by 14 publications

References 71 publications

Computer aided diagnosis of Coronary Artery Disease, Myocardial Infarction and carotid atherosclerosis using ultrasound images: A review

Computer aided diagnosis of Coronary Artery Disease, Myocardial Infarction and carotid atherosclerosis using ultrasound images: A review

Formal and Model Driven Design of the Bright Light Therapy System Luxamet

Application of infrared thermography in computer aided diagnosis

Contact Info

Product

Resources

About