Search

Your search keyword '"Mangharam, Rahul"' showing total 4 results
Start Over Author "Mangharam, Rahul" Topic software verification
4 results on '"Mangharam, Rahul"'

1. Modeling and Verification of a Dual Chamber Implantable Pacemaker

Author

Jiang, Zhihao, Pajic, Miroslav, Moarref, Salar, Alur, Rajeev, Mangharam, Rahul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Flanagan, Cormac, editor, and König, Barbara, editor

Published
2012
Full Text
View/download PDF

3. The Challenges of High-Confidence Medical Device Software.

Author

Jiang, Zhihao, Abbas, Houssam, Jang, Kuk Jin, and Mangharam, Rahul

Subjects
MEDICAL equipment software, DEFIBRILLATORS, CLINICAL trials, COMPUTER software
Abstract

Bringing new safety-critical medical devices to market faces several major challenges, but modeling and formal methods can facilitate this process from early system requirements verification to platform-level testing to late-stage clinical trials. [ABSTRACT FROM AUTHOR]

Published
2016
Full Text
View/download PDF

4. Chapter 1: Medical Devices: Current State and Challenges: 1.5: Useful terminologies for often misinterpreted terms.

Author

Zhihao Jiang and Mangharam, Rahul

Subjects
MEDICAL terminology, MEDICAL equipment software, SOFTWARE verification, SOFTWARE validation, CLINICAL trials, CLOSED loop systems
Abstract

The article discusses use of several terminology of medical devices for misinterpreted terms used in the periodical. Topics discussed include definition being referred from the U.S. Food and Administration's (FDA) guideline General Principles of Software Validation, use of requirement word for denoting use of medical devices for improving physiological conditions, using software verification for software validation, and clinical trials being common evaluation method for closed-loop devices.

Published
2015
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results