2. Processors and software for control systems

The widespread use of microprocessors in electronic systems, and the ever-increasing complexity of the software used in control systems, have led to the question of how to guarantee the safe operation of installations. How can software be tested to eliminate programming errors, and how can safe methods of software design and modification be defined? These questions led to the article Qualification of programmed systems in power plants. devoted entirely to software quality in nuclear facility control systems.