You just read:

Mentor Nucleus SafetyCert RTOS extends support to ARM Cortex-M4 Processors for safety-critical systems

News provided by

Mentor Graphics

Apr 05, 2017, 09:00 ET