An Architecture Validation Toolset for Ensuring Patient Safety in an Open Source Software Toolkit for Image-Guided Surgery Applications
Please use this identifier to cite or link to this publication: http://hdl.handle.net/1926/226
New: Prefer using the following doi: https://doi.org/10.54294/teagcs
As open source software projects gain acceptance in mission critical domains of a technology-enabled society, they must adapt their lightweight processes and tools to address the quality needs of these domains. One such domain is technology-supported surgical interventions. This paper presents an in-development toolset for validating the architecture of the open source Image-guided Surgical Toolkit (IGSTK). IGSTK components must conform to a specific architecture pattern based on state machines. Applications built on top of the IGSTK framework process and route instructions under specific constraints imposed by the architecture. This toolset focuses on validating that component state machines in IGSTK are designed and implemented in accordance with the architecture’s constraints. These tools employ open source components as well, and apply theoretical concepts from computer science to a practical problem of guaranteeing safety in a mission critical domain.