David Arney

David Arney is the Lead Engineer for the Medical Device Plug and Play Program. He has been working on applying formal methods to medical device software since 2001 and was a scholar in residence at the FDA's Center for Devices and Radiological Health in the Office of Science and Engineering Laboratories. He was involved in writing the ASTM 2761-09 ICE standard for interoperable medical devices. He started at the MD PnP program in September of 2010, and is currently writing his dissertation for a PhD in computer science under Professor Insup Lee at the University of Pennsylvania.

Associated articles

JTEHM, Articles, Published Articles
The Importance of State and Context in Safe Interoperable Medical Systems
This Article is Featured in the Special Issue NIH-IEEE POCT 2015 This paper describes why “device state” and “patient context” information are necessary components of device models for safe interoperability. This paper includes a discussion of the importance of describing the... Read more