[tom_mellior]

It's also used in other embedded systems. Based on public talks, Thales (https://en.wikipedia.org/wiki/Thales_Group) seems to be using it a lot internally, and not everything they do is military.

Here's a CubeSat operating system written in SPARK/Ada: http://www.cubesatlab.org/CubedOS.jsp