[GLLUG] Re: Booting into text mode

[Sean]

On 14 Feb 2002, Ben Pfaff wrote:
>
> There are certainly large programs without bugs.  These do tend
> to be the ones that were designed from the ground up with
> correctness in mind.  Some of them have been *proven* correct,
> for that matter.  The critical flight systems on aircraft tend to
> fit in this category.

I don't think critical flight systems on aircraft tend to be that large.
Most of the time they are really small embedded programs on RTOSs and
burned to ROM.  The parts are modularized as a fail safe precaution and
run on 8-16 bit processors for low energy consumption for battery
backup. They are typically stress-tested for a wide-range of environmental
conditions.

Non-critical systems would be larger.