Author:
Harp Steven,Carpenter Todd,Hatcliff John
Abstract
Abstract
We propose a reference architecture aimed at supporting the safety and security of medical devices. The ISOSCELES (Intrinsically Secure, Open, and Safe Cyber-Physically Enabled, Life-Critical Essential Services) architecture is justified by a collection of design principles that leverage recent advances in software component isolation based on hypervisor and other separation technologies. The instantiation of the architecture for particular medical devices is supported by a development process based on Architecture Analysis and Design Language. The architecture models support safety and security analysis as part of a broader risk management framework. The models also can be used to derive skeletons of the device software and to configure the platform's separation policies and an extensive set of services. We are developing prototypes of the architecture and example medical device instantiations on low-cost boards that can be used in product solutions. The prototype and supporting development and assurance artifacts are being released under an open-source license.
Publisher
Association for the Advancement of Medical Instrumentation (AAMI)
Subject
Computer Networks and Communications,Biomedical Engineering
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Streamlining Management of Postmarket Security Vulnerabilities;Biomedical Instrumentation & Technology;2022-01
2. Assessing Support for Industry Standards in Reference Medical Software Architectures;IECON 2020 The 46th Annual Conference of the IEEE Industrial Electronics Society;2020-10-18
3. Model-Based Development for High-Assurance Embedded Systems;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018
4. A Unified Approach for Modeling, Developing, and Assuring Critical Systems;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018