"The use of assurance cases is becoming increasingly widespread in the development and assessment of high integrity systems across many domains (e.g. medical, process industries, nuclear, automotive, transportation and defence). For example, the new automotive safety standard ISO26262 requires the production of a safety case. GSN is an important technique in helping construct and present clear assurance case arguments. It's great to see tools such as Astah GSN - built on top of the SACM and GSN standard, bring tool support for GSN to the growing worldwide community of GSN users, including Japan."

Prof. Tim Kelly, Department of Computer Science University of York