dc.contributor.author |
Ai, Weiwei |
en |
dc.contributor.author |
Patel, Nitish |
en |
dc.contributor.author |
Roop, Parthasarathi |
en |
dc.coverage.spatial |
Dresden, Germany |
en |
dc.date.accessioned |
2018-11-01T20:56:15Z |
en |
dc.date.issued |
2016-01-01 |
en |
dc.identifier.isbn |
978-3-9815-3707-9 |
en |
dc.identifier.issn |
1530-1591 |
en |
dc.identifier.uri |
http://hdl.handle.net/2292/43741 |
en |
dc.description.abstract |
Implantable medical devices are recommended by physicians to sustain life while improving the overall quality of life of the patients. In spite of the rigorous testing, there have been numerous failures and associated recalls which suggest that completeness of the testing is elusive. We propose a new validation framework based on formal methods for real-time closed-loop validation of medical devices. The proposed approach includes a synchronous observer acting both as an automated oracle and also as a requirements coverage monitor. The observer combines an on-line testing adequacy evaluation module together with a heuristic learning module. This methodology was applied to validate a pacemaker over a virtual heart model. A subset of the requirements was used to test its efficacy. The results show that the proposed methodology can, in real-time, evaluate the test adequacy and hence guide the on-line test case generation to maximize the requirements coverage. |
en |
dc.publisher |
IEEE |
en |
dc.relation.ispartof |
Design, Automation and Test in Europe Conference and Exhibition (DATE) |
en |
dc.relation.ispartofseries |
Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition (DATE) |
en |
dc.rights |
Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. |
en |
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
en |
dc.subject |
Science & Technology |
en |
dc.subject |
Technology |
en |
dc.subject |
Automation & Control Systems |
en |
dc.subject |
Engineering, Electrical & Electronic |
en |
dc.subject |
Engineering |
en |
dc.subject |
VERIFICATION |
en |
dc.subject |
MODEL |
en |
dc.title |
Requirements-centric closed-loop validation of implantable cardiac devices |
en |
dc.type |
Conference Item |
en |
pubs.begin-page |
846 |
en |
dc.rights.holder |
Copyright: The author |
en |
pubs.author-url |
https://ieeexplore.ieee.org/document/7459426 |
en |
pubs.end-page |
849 |
en |
pubs.finish-date |
2016-03-18 |
en |
pubs.publication-status |
Published |
en |
pubs.start-date |
2016-03-14 |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/RestrictedAccess |
en |
pubs.subtype |
Proceedings |
en |
pubs.elements-id |
532265 |
en |
pubs.org-id |
Engineering |
en |
pubs.org-id |
Department of Electrical, Computer and Software Engineering |
en |
pubs.record-created-at-source-date |
2019-02-08 |
en |