Networked medical systems

The medical industry is now entering a new era of using technology to its fullest capability through the advancement in the research of network medical devices. These devices has existed with their own functionality and boundary. Applying the network model will further enhance its abilit...

Full description

Saved in:
Bibliographic Details
Main Author: Tharik Nezar Akbar
Other Authors: School of Computer Engineering
Format: Final Year Project
Language:English
Published: 2014
Subjects:
Online Access:http://hdl.handle.net/10356/59170
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Nanyang Technological University
Language: English
id sg-ntu-dr.10356-59170
record_format dspace
spelling sg-ntu-dr.10356-591702023-03-03T20:37:20Z Networked medical systems Tharik Nezar Akbar School of Computer Engineering Arvind Easwaran DRNTU::Engineering::Computer science and engineering The medical industry is now entering a new era of using technology to its fullest capability through the advancement in the research of network medical devices. These devices has existed with their own functionality and boundary. Applying the network model will further enhance its ability to function together in a closed loop medical scenario. This paper studies the verification of the closed loop medical scenario which is converted to a more abstract state-space model. The continuous time based patients model of the system is used to create a nonrepresentational timed automata model. The safety verification of this model is covered within the timing constraints of the medical knowledge of the patient. Further verification have been created in order to make a more resilient and safe model which could be used in the medical field. Bachelor of Engineering (Computer Engineering) 2014-04-24T09:25:46Z 2014-04-24T09:25:46Z 2014 2014 Final Year Project (FYP) http://hdl.handle.net/10356/59170 en Nanyang Technological University 51 p. application/pdf
institution Nanyang Technological University
building NTU Library
continent Asia
country Singapore
Singapore
content_provider NTU Library
collection DR-NTU
language English
topic DRNTU::Engineering::Computer science and engineering
spellingShingle DRNTU::Engineering::Computer science and engineering
Tharik Nezar Akbar
Networked medical systems
description The medical industry is now entering a new era of using technology to its fullest capability through the advancement in the research of network medical devices. These devices has existed with their own functionality and boundary. Applying the network model will further enhance its ability to function together in a closed loop medical scenario. This paper studies the verification of the closed loop medical scenario which is converted to a more abstract state-space model. The continuous time based patients model of the system is used to create a nonrepresentational timed automata model. The safety verification of this model is covered within the timing constraints of the medical knowledge of the patient. Further verification have been created in order to make a more resilient and safe model which could be used in the medical field.
author2 School of Computer Engineering
author_facet School of Computer Engineering
Tharik Nezar Akbar
format Final Year Project
author Tharik Nezar Akbar
author_sort Tharik Nezar Akbar
title Networked medical systems
title_short Networked medical systems
title_full Networked medical systems
title_fullStr Networked medical systems
title_full_unstemmed Networked medical systems
title_sort networked medical systems
publishDate 2014
url http://hdl.handle.net/10356/59170
_version_ 1759853056250347520