CAN은 처음에는 차량 네트워크에서의 사용을 위해 고안되었으나 잡음에 강하고 신뢰성이 높아 공장자동화 등에서도 많이 사용되고 있다. 그러나 1:1통신에서 네트워크 기반의 통신방식으로 변화되면서 각 장치의 기계적인 동작뿐만 아니라 전자, 소프트웨어적인 동작에 대해서도 철저한 검증이 필요하게 되었다. 본 논문은 CAN 기반 시스템에서 통신의 신뢰성을 데이터의 정확성에 대한 부분과 시간상의 정확성에 대한 부분을 검증하는 방법을 제시하고 있다.