Click on a search word OR use the drop-down choices to search for a paper.
2018
Diskin, Zinovy; Maibaum, Tom; Wassyng, Alan; Wynn-Williams, Stephen; Lawford, Mark
Assurance via model transformations and their hierarchical refinement Proceedings Article
In: Proceedings of the 21st International Conference on Models Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 426 - 436, ACM, 2018.
Links | BibTeX | Tags: assurance case, block diagram, decomposition, model transformation, safety assurance, substitution
@inproceedings{Diskin2018,
title = {Assurance via model transformations and their hierarchical refinement},
author = {Zinovy Diskin and Tom Maibaum and Alan Wassyng and Stephen Wynn-Williams and Mark Lawford},
url = {https://www.mcscert.ca/wp-content/uploads/2018/12/p426-diskin-1.pdf},
year = {2018},
date = {2018-11-21},
booktitle = {Proceedings of the 21st International Conference on Models Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018},
pages = {426 - 436},
publisher = {ACM},
keywords = {assurance case, block diagram, decomposition, model transformation, safety assurance, substitution},
pubstate = {published},
tppubtype = {inproceedings}
}
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}
}
2017
Chowdhury, Thomas; Lin, Chung-Wei; Kim, BaekGyu; Lawford, Mark; Shiraishi, Shinichi; Wassyng, Alan
Principles for Systematic Development of an Assurance Case Template from ISO 26262 Proceedings
IEEE, no. 69-72, 2017.
Abstract | Links | BibTeX | Tags: assurance case, assurance case template, critical properties, critical systems, functional safety standard, ISO 26262, safe & trustworthy systems, safety cases, semi-automated template development, software-intensive systems, standardized assurance structures safety assessment
@proceedings{Chowdhury2017,
title = {Principles for Systematic Development of an Assurance Case Template from ISO 26262},
author = {Thomas Chowdhury and Chung-Wei Lin and BaekGyu Kim and Mark Lawford and Shinichi Shiraishi and Alan Wassyng},
url = {https://www.mcscert.ca/wp-content/uploads/2019/02/ISSRE2017-1.pdf},
doi = {doi:10.1109/ISSREW.2017.14},
year = {2017},
date = {2017-09-25},
booktitle = {IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), IEEE},
number = {69-72},
pages = {69-72},
publisher = {IEEE},
abstract = {A failure in a critical system can cause death, injury,financial loss, and environmental damage. To develop safe and trustworthy systems, we need to plan the development and assessment of system functionality in advance. Assurance Cases are a generalization of Safety Cases, and are gaining momentum as a preferred way of demonstrating assurance of critical properties in complex software-intensive systems.To cope with the lack of standardized assurance structures,and to encourage safety assessment prior to development, we previously proposed the use of an assurance case template. The principles presented here can be used to build an assurance case template that complies with the functional safety standard,ISO 26262 in a cost-effective way. In the future, such principles may lead to semi-automated development of these templates},
keywords = {assurance case, assurance case template, critical properties, critical systems, functional safety standard, ISO 26262, safe & trustworthy systems, safety cases, semi-automated template development, software-intensive systems, standardized assurance structures safety assessment},
pubstate = {published},
tppubtype = {proceedings}
}
2015
Cassano, Valentin; Maibaum, Thomas S. E.
A Reassessment of Toulmin’s Argument Scheme in the Context of Assurance Cases Conference
Verification and Assurance (VeriSure’15). Workshop held together with Computer-Aided Verification (CAV’15). San Francisco, USA, 2015.
BibTeX | Tags: assurance case, Toulmin's argument scheme
@conference{Cassano2015b,
title = {A Reassessment of Toulmin’s Argument Scheme in the Context of Assurance Cases},
author = {Valentin Cassano and Thomas S. E. Maibaum},
year = {2015},
date = {2015-07-01},
address = { San Francisco, USA},
organization = {Verification and Assurance (VeriSure’15). Workshop held together with Computer-Aided Verification (CAV’15).},
keywords = {assurance case, Toulmin's argument scheme},
pubstate = {published},
tppubtype = {conference}
}