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...
Saved in:
Main Author: | |
---|---|
Other Authors: | |
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 |