While I'm not sure what this exact probe is built upon, some popular choices for mission critical applications I've seen in the past are:

* VxWorks for real time operating system (proprietary)

* Ada/C++ for programming language.