CAN protocall simulators

I am trying to write program for CAN module in pic18f4580. Is any simulators are available for checking and simulating CAN. Is any chance to simulate it in proteus simulator

Check , is this what you need............

RTaW-Sim enables the designer of an application based on Controller Area Network (CAN) to quickly set
the best communication parameters and assess the performances and reliability of the system.
RTaW-Sim is a fine-grained discrete-event bus simulator providing the frame response time distributions
and statistics about the frame buffer usage at the ECU and communication controller level.
RTaW-Sim helps the designer to choose the right communication stacks (e.g., waiting queue policy)
and communication controllers (e.g., number of buffers) and configure them.

RTaW-Sim is free for all uses

RTaW-Sim: Fine-Grained Simulation of Controller Area Network with Fault-Injection Capabilities | RealTime-at-Work