Probably the usual aerospace stack: C/C++ and Ada doing the heavy lifting. Since memory is no longer a (significant) space constraint in 2021, I suspect other high level languages are also used for the non-critical parts of the system.