Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform

Alexandre Berard, Richard B. Kreckel

The large safety instrumentation & control (I&C) systems in civil nuclear power plants (NPPs) are mainly safe-shutdown systems (reactor protection) or limitation and control system…