Abstract :
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.
Keywords :
C++ language; aerospace industry; automobile industry; encoding; object-oriented methods; program verification; safety-critical software; C++ programming language; automotive industries; aviation industries; code verification; functional safety; object oriented technology; safety critical systems coding;
