dc.contributor.authorTharik Nezar Akbar
dc.date.accessioned2014-04-24T09:25:46Z
dc.date.available2014-04-24T09:25:46Z
dc.date.copyright2014en_US
dc.date.issued2014
dc.identifier.urihttp://hdl.handle.net/10356/59170
dc.description.abstractThe 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.en_US
dc.format.extent51 p.en_US
dc.language.isoenen_US
dc.rightsNanyang Technological University
dc.subjectDRNTU::Engineering::Computer science and engineeringen_US
dc.titleNetworked medical systemsen_US
dc.typeFinal Year Project (FYP)en_US
dc.contributor.schoolSchool of Computer Engineeringen_US
dc.description.degreeCOMPUTER ENGINEERINGen_US
dc.contributor.supervisor2Arvind Easwaranen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record