A discussion of the state of the art in software defect quantification for high-integrity systems in Accelerator and Large Experimental Physics environments.

This is important for both the safety-critical nature of some of the equipment in use and also to highlight the misleading effects residual software defects can have in scientific computation.

Hatton_ICALEPCS2011.pdf (5.2MB)

reference

ICALEPSCS 2011 conference proceedings

The presentation version of the paper shown in the links below. Big physics is really impressive to a nerd like me.

ICALEPCS-14-10-2011_HighIntegrity.pdf (696KB)

reference

Presented at ICAPELPCS 2011, Grenoble