Click on a search word OR use the drop-down choices to search for a paper.
2018
Fung, Nick L S; Kokaly, Sahar; Sandro, Alessio Di; Salay, Rick; Chechik, Marsha
MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases Proceedings Article
In: Skavhaug A. Gallina B., Schoitsch E. (Ed.): Computer Safety, Reliability, and Security. SAFECOMP 2018. Lecture Notes in Computer Science, Springer, Cham, 2018, ISBN: 978-3-319-99229-7.
Abstract | Links | BibTeX | Tags: assessment algorithm, assurance case, automotive domain, change impact assessment, critical domains, graphical assurance case editor, MMINT-A Tool, model-driven development, power sliding door, tool support
@inproceedings{Fung2018,
title = {MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases},
author = {Nick L S Fung and Sahar Kokaly and Alessio Di Sandro and Rick Salay and Marsha Chechik},
editor = {Gallina B., Skavhaug A., Schoitsch E., Bitsch F. (eds) },
url = {https://link.springer.com/chapter/10.1007/978-3-319-99229-7_7},
isbn = {978-3-319-99229-7},
year = {2018},
date = {2018-08-21},
booktitle = {Computer Safety, Reliability, and Security. SAFECOMP 2018. Lecture Notes in Computer Science},
volume = {11094},
publisher = {Springer, Cham},
abstract = {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.},
keywords = {assessment algorithm, assurance case, automotive domain, change impact assessment, critical domains, graphical assurance case editor, MMINT-A Tool, model-driven development, power sliding door, tool support},
pubstate = {published},
tppubtype = {inproceedings}
}
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.