CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms

点击翻译按钮获取中文摘要

This project aims to achieve key technology, infrastructure, andregulatory science advances for next generation medical systems basedon the concept of medical application platforms (MAPs). A MAP is asafety/security-critical real-time computing platform for: (a)integrating heterogeneous devices and medical IT systems, (b) hostingapplication programs ("apps") that provide medical utility through theability to both acquire information and update/control integrateddevices, IT systems, and displays. The project will develop formalarchitectural and behavioral specification languages for definingMAPs, with a focus on techniques that enable compositional reasoningabout MAP component interoperability and safety. These formallanguages will include an extensible property language to enable thespecification of real-time, quality-of-service, and attributesspecific to medical contexts that can be leveraged by code generation,testing, and verification tools.The project will work closely with a synergistic team of clinicians,device industry partners, regulators, and medical deviceinteroperability and safety standard organizations to develop an opensource MAP innovation platform to enable key stakeholders within thenation's health care ecosphere to identify, prototype, and evaluatesolutions to key technology and regulatory challenges that must beovercome to develop a commodity market of regulated MAP components.Because MAPs provide pre-built certified infrastructure and buildingblocks for rapidly developing multi-device medical applications, thisresearch has the potential to usher in a new paradigm of medicalsystem that significantly increases the pace of innovation, lowersdevelopment costs, enables new functionality by aggregating multipledevices into a system of systems, and achieves greater system safety.