Researchers from China and the EU are developing means of verifying safety-critical software for use in the nuclear power industry.
Instrumentation and control (I&C) systems are the central nervous system of a nuclear power plant. They monitor all aspects of the plant's operation and respond with the care and adjustments needed. New digital I&C platforms – software-based systems – are replacing traditional analogue systems.