[analognoise]

One mission critical system, where failure is not an option, such as on a hypersonic rocket.

One actual combat system - not a terminal for use on base, but something you have to rely on when people are shooting at you.

One.

[pjmlp]

Thanks for making my life easy.

USS Bunker Hill ballistic missile defense system weapons control.

http://www.militaryaerospace.com/articles/2010/04/aonix-perc...

"The Aegis Weapon System is the premier naval defense system and the sea-based element of the U.S. Ballistic Missile Defense System. Its precision SPY-1 radar and integrated command and control system guides the interceptor and uplinks target track information to the missile for terminal homing. Its ability to detect, track, and engage targets ranging from sea-skimming cruise missiles to ballistic missiles in space is proven."

Good enough for mission critical system, hypersonic rockets, combat system firing at me?

If not, I can provide other ones, better suited to your use cases.

[nickpsecurity]

Those go through certification processes. It's been against the rules to use a GC even if it's hard-real-time. Here's an example where the author points out the real-time Java was designed for DO-178B (safety-critical aerospace) but it wasn't until DO-178C that they even considered allowing a GC:

http://www.aicas.com/papers/EmbeddedWorld2009-Andy-Walter.pd...

The companies that develop reusable solutions for multiple markets tend to pick something easy to certify or sell to all of them. So, if Java wasn't allowed, they'd lean toward something else in their products targeting highest-assurance just to reduce costs. That's mostly been assembly, C and Ada that I've seen.

Meanwhile, we do have proof it can be done in things such as the Sandia Secure Processor that they'll use for some of highest-assurance applications. The first-pass silicon they got was also nice. The best articles by Wickstrom et al on SSP are paywalled in ACM and IEEE if you have access. If not, there's a link below on how they built it with brief description of it under "Score processor," another name.

http://www.sandia.gov/LabNews/LN01-11-02/key01-11-02_stories...

https://www.researchgate.net/publication/236425094_Sandia_se...

ftp://ftp.cs.kent.ac.uk/people/staff/phw/.old-1999/tmp2/443-cpa2007-wickstrom.pdf