원자력 발전소의 제어 장비는 고도의 신뢰성을 요구한다. 그런데 컴퓨터를 기반으로 한 제어기가 도입되면서 하드웨어 신뢰성 뿐만 아니라 소프트웨어 신뢰성도 중요해졌다.
사람은 몸도 변하고 정신도 변한다. 성경에서는 말씀은 변하지 않는다고 하지만 각 개인의 생각은 나이가 들면서 바뀌기도 한다.
그러나 시스템에서 물질적인 것과 정신적인 것에는 차이가 있다. 아마도 이 둘의 차이는 시간에 따른 영원성에 있는 것같다. 하드웨어 신뢰성은 노화로 인해 변화되지만 소프트웨어 신뢰성은 초기의 설계치가 그대로 유지된다.
그러므로 소프트웨어는 설계시 오류가 없도록 작성되어야 한다. 프로그램의 오류 처리루틴이나 설계에서 형식화 된 방법론은 소프트웨어 오류를 잡는데 크게 기여하고 프로그램 개발 후 시뮬레이션도 소프트웨어 신뢰성을 높인다.
이상하게도 소프트웨어는 평상시에는 오류가 숨어 문제 없다가 절실히 필요한 경우에 그 오류도 수면위로 떠오른다고 한다.