Integrated modeling, analysis and synthesis of miniature medical devices

Abstract:

This project develops an integrated design and simulation environment for the creation of miniature capsule robots (MCRs). An MCR is a biocompatible Cyber-Physical System (CPS) designed to operate in the human body to accomplish diagnostic or therapeutic tasks. A typical MCR has to fulfill three main constraints: safety, low power operation and small size. Advances in miniaturization of electronic devices have made MCRs a reality. However, MCRs operate in highly unstructured and delicate environments making them difficult to develop without expert level knowledge in multiple domains. MCR may utilize multiple forms of locomotion to navigate inside the human body. They can also be made in multiple shapes and sizes with configurations that comprise a selection of sensors, actuators and communication modules. The resulting complexity of the system as well as the expense and the long development time has made this class of CPS (small, low power, fail-safe, multi-configuration) unapproachable to a wide community of researchers. This project aims to reduce and ultimately remove this barrier by abstracting domain expertise behind a predefine set of hardware and software components. In addition to managing complexity in miniature medical devices, the design environment that is the focus of this project contributes to CPS research by providing a simulation tool that can be used to study the interaction of an MCR with the surrounding environment (e.g., the gastrointestinal tract). The project also makes available open source hardware and software component libraries to the MCR community that would make building MCRs more accessible. The foundational elements of the design environment are twofold: Modular hardware with components that can be added, removed, customized and interchanged as needed. The list includes various sensors, actuators, communication interfaces and computational units. Well-defined interfaces and a pre-built component library for hardware modules and software abstractions. Design space exploration is made possible by using components that model physical aspects of individual elements of the system, such as power consumption and physical constraints. Once analysis is completed and an optimal configuration has been found, the MCR can be synthesized using, once again, the software components and corresponding hardware modules. The component based programming model is enabled by TinyOS, an event based operating system originally designed for wireless sensor networks. During the first year of this four-year project, we have established a runtime framework, which can support the component based architecture, developed evaluation platforms, and implemented key hardware and software components. Preliminary results are available at http://github.com/pillforge.

  • CPS Domains
  • Medical Devices
  • Modeling
  • Wireless Sensing and Actuation
  • Health Care
  • Robotics
  • Simulation
  • CPS Technologies
  • Foundations
  • National CPS PI Meeting 2013
  • Poster
  • Academia
  • CPS PI Poster Session
Submitted by Pietro Valdastri on Fri, 10/25/2013 - 12:42