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