Trust, but verify [Electronics Standards]

Engineers coding safety-critical systems today have plenty in the toolbox. The C++ programming language offers object-oriented technology, for example. As a result, it is relatively easy to implement the various bells and whistles that such systems require the devil lies in making sure that they work. To that end, the aviation and automotive industries are soon to introduce new rules and standards that aim to improve code verification and thereby deliver the especially high levels of functional safety they require.