"Unless the H/W executes Forth directly ("
Actually Rockwell Collins did (and for all I know still does) runs it's avionics software on a proprietary stack machine.
I've seen sample jet engine control software written in what looks like a stack based language. Might have been Forth, but the Forth philosophy is you extend Forth into a a task specific language and program in that.