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.
CITATION STYLE
Fung, N. L. S., Kokaly, S., Di Sandro, A., Salay, R., & Chechik, M. (2018). MMINT-A: A tool for automated change impact assessment on assurance cases. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11094 LNCS, pp. 60–70). Springer Verlag. https://doi.org/10.1007/978-3-319-99229-7_7
Mendeley helps you to discover research relevant for your work.