All the embedded systems on the submarine run Mbed OS on STM32F4 microcontrollers. The programs on those microcontrollers are developed and tested by members of the team.