Methodologies and Tools for Securing Medical Device Systems in Integrated Clinical Environments (ICE)

Develop an interoperable specification language for the security properties of an ICE supervisor, network controller, logger, and supervisor app components for an interoperable MAP/ICE system architecture that is PNP interoperable, both human and machine readable, defined by a clearly delineated scope and purpose, suitable for both human and automated analysis at assembly time and run time, extensible, and mappable to existing functional and clinical interoperability specifications. Develop a toolset for analyzing and reasoning about the security properties of those ICE components and the assembled ICE system at both connection time and during run time. Adapt the interoperable security specification language to be compatible with and extend existing functional and clinical interoperability solutions and standards. Analyze the failure modes of the MAP/ICE components, and ICE system utilizing the security specification language within the defined security specification language scope.