[gclist] Mars Rover info from comp.risks

[Geert Bosch]

On Wed, 10 Dec 1997 07:03:32 -0800 (PST), Henry G. Baker wrote:
>L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority Inheritance Protocols: An
>Approach to Real-Time Synchronization. In IEEE Transactions on Computers,
>vol. 39, pp. 1175-1185, Sep. 1990.

Note that this is exactly one of the reasons why Ada95 has a priority
mechanism that is based on Sha's and Baker's work. The Ada tasking model 
guarantees that priority-inversion is bounded, so rate-monotonic analysis 
can be used to check that a set of Ada tasks will be able to meat its 
deadlines.

See also the paper of Ted Baker:

T. Baker, "Stack-Based scheduling of Realtime Processes". 
The Real-Time Systems Journal 3(1): 67-100, March, 1991.

The Ada-95 Rationale, Annex D (Realtime systems) makes also
for good reading. See http://www.adahome.com for a link to this.

Regards,
   Geert