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

该项目旨在基于医疗应用平台(MAP)的概念，为下一代医疗系统实现关键技术、基础设施和监管科学的进步。MAP是一种安全/安全关键的实时计算平台，用于：(A)集成不同类型的设备和医疗IT系统，(B)托管通过获取信息和更新/控制集成的设备、IT系统和显示器的能力来提供医疗实用的应用程序(APP)。该项目将为定义MAP开发正式的体系结构和行为规范语言，重点是支持关于MAP组件互操作性和安全性的组成推理的技术。这些正式语言将包括可扩展的属性语言，以实现特定于医疗环境的实时、服务质量和属性的指定，可由代码生成、测试和验证工具利用。该项目将与由临床医生、设备行业合作伙伴、监管机构和医疗设备互操作性和安全标准组织组成的协同团队密切合作，开发开放源码地图创新平台，以使国家医疗保健生态圈内的关键利益相关者能够识别、原型和评估关键技术和监管挑战的解决方案，以开发受监管地图组件的商品市场。因为地图为快速开发多设备医疗应用程序提供了预先认证的基础设施和构建块，这项研究有可能带来一种新的医疗系统范式，显著加快创新步伐，降低开发成本，通过将多个设备聚合到一个系统中来实现新功能，并实现更大的系统安全性。

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.