Yes, it’s possible in S32DS: Use Peripheral Configuration Tools in S32DS to set up MCAL RTD drivers. Steps: Create a new project → open .mex file → configure peripherals.
Examples: No direct High-Level Driver (HLD) examples for S32K312, but RTD includes examples for other S32K derivatives. These can serve as templates.