Michael Pont wrote:

>I'm with Olin on this one.  I've been a dedicated 'co-operative scheduler'
>user for several years and have, in fact, just published a large book on the
>topic (it's based on the 8051, I'm afraid: the details are on my WWW site if
>anyone is interested).

I'm happy so see that cooperative schedulers are (still) so popular
... many people have a hard time believing anything short of fully
preemptive is of any use.

and
>This is the main reason that software-based aircraft are using
>these techniques, and the automotive industry is rapidly following the same
>route.

Around 10 years ago I remember reading about a microprocessor
designed in the UK that was specifically targeted at aircraft use. I
believe it was called the Viper. It was supposedly a "provably
correct" design, the logic being that it therefore had no (hardware)
bugs and ought to prevail in that design environment. Trouble is,
their "proof" was apparently in error ... and I haven't heard of it
since.

--

  ______________________________________
   Andrew E. Kalman, Ph.D.   aek@pumpkininc.com

--
http://www.piclist.com hint: The PICList is archived three different
ways.  See http://www.piclist.com/#archives for details.