Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study

As eBooks evolve into interactive applications, our vision at Electronic Publishing Group (EPT) is to empower authors to write and deploy not only documents and eBooks but whole Web applications using widely available tools without system lock-in. We envision XML technology as open, accessible, well supported technology to be leveraged for Web applications: Information is represented and manipulated with XML technology. Data and programs are deployed on a Web server, stored in an XML database, run by XML processors (XSLT, XQuery, XProc) and accessed from XML-aware Web clients (XForms) via the HTTP protocol. We document a calendar system, CalendarX, as a case study. We illustrate our use of XML technology and the methodology we employed, drawing on ideas from Domain-Driven Design and Abstract State Machines.

Download Full-text

Using Abstract State Machines at Microsoft: A Case Study

Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications ◽

10.1007/3-540-44518-8_21 ◽

2000 ◽

pp. 367-369 ◽

Cited By ~ 7

Author(s):

Mike Barnett ◽

Egon Börger ◽

Yuri Gurevich ◽

Wolfram Schulte ◽

Margus Veanes

Keyword(s):

State Machines ◽

Abstract State Machines

Download Full-text

Rationale for Assessing Safety and Efficacy of Drug Candidates Alone and in Combination with Medical Devices: The Case Study of SpinalonTM

Current Pharmaceutical Design ◽

10.2174/1381612822666161208094300 ◽

2017 ◽

Vol 23 (12) ◽

pp. 1778-1788 ◽

Cited By ~ 2

Author(s):

Pierre A. Guertin

Keyword(s):

Medical Devices ◽

Safety And Efficacy ◽

Drug Candidates

Download Full-text

Considerations for Translating Medical Devices Under Development From the Clinic to the Home: A Case Study in Providing Chronic Wound Care

Proceedings of the International Symposium on Human Factors and Ergonomics in Health Care ◽

10.1177/2327857921101173 ◽

2021 ◽

Vol 10 (1) ◽

pp. 238-242

Author(s):

Ellen J. Bass ◽

Justine S. Sefcik ◽

Elease McLaurin ◽

Rose Ann DiMaria-Ghalili

Keyword(s):

Medical Devices ◽

Chronic Wound ◽

Wound Care ◽

Clinical Protocol ◽

Structured Interviews ◽

Home Setting ◽

Ultrasound Application ◽

Research Assistants ◽

Current Device

A prototype medical device and protocol that work well in a clinic would not necessarily work reliably in the home setting. The goal of this work is to identify factors to consider when translating a device evaluated in a clinic for use by home caregivers providing chronic wound care for persons living with dementia. One must consider the current device, the associated bundle, the protocol and how they may need to be modified. Semi-structured interviews with the research assistants who have applied a prototype device were conducted to generate a list of known issues with the current clinical protocol in terms of ultrasound application The researchers performed a set of specified tasks by following the current device protocol and explaining any difficulties with use\execution. They embellished the descriptions with details about what had happened with actual patients in the clinic. Using thematic analysis, analysts identified themes and subthemes. Issues potentially relevant to translating medical devices to the home are discussed.

Download Full-text