是否可以在S32K3上实施IEC 60730软件B类？

我们很乐意在下一代产品中使用 S32K3。我们的一些现有客户要求产品符合 IEC 60730 软件 B 类标准。
是否可以在 S32K3 上实施 IEC 60730 软件 B 类？是否有任何现有的库/模块/支持 S32K3 上的 IEC 60730B 测试。