A development and assurance process for Medical Application Platform apps

K-REx Repository

Show simple item record

dc.contributor.author Procter, Sam
dc.date.accessioned 2016-08-05T13:51:06Z
dc.date.available 2016-08-05T13:51:06Z
dc.date.issued 2016-08-01 en_US
dc.identifier.uri http://hdl.handle.net/2097/32861
dc.description.abstract Medical devices have traditionally been designed, built, and certified for use as monolithic units. A new vision of "Medical Application Platforms" (MAPs) is emerging that would enable compositional medical systems to be instantiated at the point of care from a collection of trusted components. This work details efforts to create a development environment for applications that run on these MAPs. The first contribution of this effort is a language and code generator that can be used to model and implement MAP applications. The language is a subset of the Architecture, Analysis and Design Language (AADL) that has been tailored to the platform-based environment of MAPs. Accompanying the language is software tooling that provides automated code generation targeting an existing MAP implementation. The second contribution is a new hazard analysis process called the Systematic Analysis of Faults and Errors (SAFE). SAFE is a modified version of the previously-existing System Theoretic Process Analysis (STPA), that has been made more rigorous, partially compositional, and easier. SAFE is not a replacement for STPA, however, rather it more effectively analyzes the hardware- and software-based elements of a full safety-critical system. SAFE has both manual and tool-assisted formats; the latter consists of AADL annotations that are designed to be used with the language subset from the first contribution. An automated report generator has also been implemented to accelerate the hazard analysis process. Third, this work examines how, independent of its place in the system hierarchy or the precise configuration of its environment, a component may contribute to the safety (or lack thereof) of an entire system. Based on this, we propose a reference model which generalizes notions of harm and the role of components in their environment so that they can be applied to components either in isolation or as part of a complete system. Connections between these formalisms and existing approaches for system composition and fault propagation are also established. This dissertation presents these contributions along with a review of relevant literature, evaluation of the SAFE process, and concludes with discussion of potential future work. en_US
dc.description.sponsorship National Science Foundation, United States Food and Drug Administration en_US
dc.language.iso en_US en_US
dc.publisher Kansas State University en
dc.subject Medical Application Platforms en_US
dc.subject Hazard Analysis en_US
dc.subject Interoperable Systems en_US
dc.subject Architecture Analysis and Design Language en_US
dc.subject Systematic Analysis of Faults and Errors en_US
dc.title A development and assurance process for Medical Application Platform apps en_US
dc.type Dissertation en_US
dc.description.degree Doctor of Philosophy en_US
dc.description.level Doctoral en_US
dc.description.department Department of Computing and Information Sciences en_US
dc.description.advisor John M. Hatcliff en_US
dc.date.published 2016 en_US
dc.date.graduationmonth August en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search K-REx

Advanced Search


My Account


Center for the

Advancement of Digital