See how the Eclipse IDE, a Raspberry Pi Linux target, and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.