Hello,
Probably this question should be in SW forums, but I did not found the proper category there.
NXP offers for S32K3XX a NXP RTOS, which is at version 0.4.1 for most microcontrollers(except for S32K396 - which is not the target micro for the project I'm interested in(in fact I'm interested in S32K312)).
https://nxp.flexnetoperations.com/control/frse/product?child_plneID=860247
I've searched the documentation associated to the NXP RTOS S32K3XX 0.4.1(NXP_RTOS_SW32K3xx_TR_4.7.pdf, NXP_RTOS_SW32K3xx_UM_4.7.pdf, S32K3xx_NXP_RTOS_4_7_152_CODEDROP_0_4_1_D2312_Readme.pdf, S32K3xx_NXP_RTOS_4_7_152_CODEDROP_0_4_1_D2312_SCR.txt), I've tried to search through the NXP site also and I was not able to find if the RTOS satisfies any ASIL level. I would be interested if it is at least ASIL B compliant.
If anyone knows where the information could be found, I would be grateful. Thank you!
