MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases

Assurance cases are a means to argue about the safety, security, etc., of software systems in critical domains. As systems evolve, their assurance cases can grow in complexity, making them difficult to maintain. In this paper, we present a tool MMINT-A that can, in the context of model-driven development, assess the impact of system changes on their assurance cases. To achieve this, MMINT-A implements an impact assessment algorithm from previous work [7, 8] and incorporates a graphical assurance case editor, an annotation mechanism, and two summary tables for the assessment results. We demonstrate the usage of MMINT-A on a Power Sliding Door example from the automotive domain.