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. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1007/978-3-319-99229-7_7 | COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2018 |
Keywords | Field | DocType |
Assurance Cases, Change Impact Assessment, Tool support | Impact assessment,Annotation,Systems engineering,Computer science,Software system,Automotive industry | Conference |
Volume | ISSN | Citations |
11094 | 0302-9743 | 2 |
PageRank | References | Authors |
0.38 | 8 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nick L. S. Fung | 1 | 5 | 1.19 |
Sahar Kokaly | 2 | 52 | 7.64 |
Alessio Di Sandro | 3 | 116 | 7.84 |
rick salay | 4 | 400 | 34.68 |
Marsha Chechik | 5 | 2287 | 138.57 |