Click on a search word OR use the drop-down choices to search for a paper.

Show all

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

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