Click on a search word OR use the drop-down choices to search for a paper.
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
Pang, Linna; Wang, Chen-Wei; Lawford, Mark; Wassyng, Alan
Formal verification of function blocks applied to IEC 61131-3 Journal Article
In: Science of Computer Programming, vol. 113, no. Part 2, pp. 149–190, 2015.
BibTeX | Tags: critical systems, formal verification, function blocks, IEC 61131-3, tabular expression
@article{pang2015formalb,
title = {Formal verification of function blocks applied to IEC 61131-3},
author = {Pang, Linna and Wang, Chen-Wei and Lawford, Mark and Wassyng, Alan},
year = {2015},
date = {2015-01-01},
journal = {Science of Computer Programming},
volume = {113},
number = {Part 2},
pages = {149--190},
publisher = {Elsevier},
keywords = {critical systems, formal verification, function blocks, IEC 61131-3, tabular expression},
pubstate = {published},
tppubtype = {article}
}