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

该项目旨在实现基于医疗应用平台（MAP）概念的下一代医疗系统的关键技术、基础设施和监管科学进步。MAP是一种安全/安全关键型实时计算平台，用于：（a）集成异构设备和医疗IT系统，（B）托管应用程序（“app”），通过获取信息和更新/控制集成设备、IT系统和显示器的能力提供医疗实用性。该项目将开发用于定义MAP的正式架构和行为规范语言，重点关注能够实现MAP组件互操作性和安全性的组合推理的技术。这些正式语言将包括一个可扩展的属性语言，以实现实时、服务质量和特定于医疗环境的属性的规范，这些规范可以被代码生成、测试和验证工具所利用。该项目将与临床医生、设备行业合作伙伴、监管机构、和医疗设备互操作性和安全标准组织开发一个开源MAP创新平台，使国家医疗保健生态圈内的关键利益相关者能够识别，原型，并评估关键技术和监管挑战的解决方案，必须克服这些挑战，以开发一个受监管的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.