Safety of Numerical Systems in Critical Applications

Abstract

the numerical systems are now commonly accepted for controlling the safety critical parts of industrial systems presenting technological risks. The first exploitation of such systems is now of close to twenty years. Their increasing complexity remains acceptable by using formal methods for development verification and validation. The necessary lowering of their costs is linked to the sharing of tools by the concerned industrial sectors