Software Developement Experiences in a Nuclear Safety System Environment

This paper deals with the development of micro-computer software for Nuclear Safety Systems. More specifically, it describes the Software Design and Verification process which was followed for a Class 1E safety grade system.