No mention of Ada or their methods of writing the important software. I wonder what they use.

"Avionics Test team

...The main objective is to write very comprehensive and robust software to be able to automate finding issues with the hardware at high volume...."