Hello Stefano,
I checked reference manual for S32DS for ARM and only following debuggers are officially supported:
P&E Multilink/Cyclone/OpenSDA (with PnE GDB Server)
SEGGER J-Link (with SEGGER GDB Server)
iSystem, Lauterbach, and IAR debuggers support by S32DS Application Project and S32DS Library Project
wizards
So, from my point of view, Keil debugger will not work.
Regards,
Martin