gps-mod-DSIDE verification and validation