컴퓨터를 활용한 제어 시스템은 우리들의 생활 속에 깊숙이 관여하고 있다. 컴퓨터를 사용한 제어는 가전제품, 휴대폰 항공기, 철도 등 다양한 산업분야에서 응용되고 있으며, 그 적용분야를 넓혀가고 있고, 성능향상이 급속히 진행되고 있으며, 인간생활의 의존도가 점점 커지고 있다. 따라서 컴퓨터의 안전성과 신뢰성은 현재 사회에서 가장 중요한 문제로 부각되고 있다. 최근에 전국적으로 인터넷 망에 바이러스가 침투를 하여, 인터넷을 마비시키는 상태가 발생하여, 상당히 큰 피해를 경험하였다. 이와 같이 컴퓨터 제어 시스템의 기능이 정지되거나 오작동을 할 경우에는 사용자에게 상당한 피해를 줄 수 있다. 따라서 컴퓨터 시스템의 신뢰성과 안전성은 사회전반에 영향을 미칠 수 있으므로 반드시 확보해야할 목표 중에 하나이다. (중략)