Computer Help?

[silk_noir]

So, different kinds of computers.

There are personal computers, there are mainframes, there are supercomputers, nanoprocessors--but what I need is the sort of computer that drives, say, a nuclear submarine.  An aircraft carrier.

Is there a term, or has it been invented yet?