결국 , 병렬 로 작업 하 는 연산 유닛 들 안 에 이용 된 소프트웨어 가 다양 하 게 형성 되 어 있 는 것 은 ( 즉 , 적어도 서로 다른 컴파일러 ( Compiler ) 들 을 통해 컴파일 된 것 은 ) 본 발명 의 범위 내 에 있 다 . 두 연산 기 를 위해 하나 의 프로그램 이 작성 되 었 던 경우 에 한 해 , 이것 은 포 아이 원칙 ( Four - eye - principle ) 에 따라 검사 될 수 있 다 ; 바람직 하 게 는 서로 독립 적 으로 개발 되 었 던 프로그램 들 이 이용 되 어 있 다 . 연산 유닛 들 의 안전 한 출력 을 실현 하 기 위해 , 신호 피드백 및 테스트 펄스 ( test pulse ) 가 제공 된다 .