Tim Kelly
Department of Computer Science and Department of Management Studies University of York
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.