While Proteus does not include a built-in simulation model for the MCP2515 CAN Controller in its default library,

ElectronicStreet.com Libraries: A frequent source for updated Proteus components that "supercharge" electronic designs, including CAN bus modules.

The MCP2515 is a stand-alone CAN controller that can be used to connect a microcontroller to a CAN bus. It has a simple interface and supports standard CAN frames (11-bit identifier) and extended CAN frames (29-bit identifier). The chip has several features, including:

Includes a pre-designed .pdsprj file and specialized Proteus library files for CAN shields. GitHub Repo Step 1: Installing the Proteus Simulation Model

The Engineering Projects Library: They frequently provide comprehensive, high-quality libraries for Proteus. Look for an MCP2515 module designed to connect easily with Arduino, PIC, or STM32 models.