Re: Priority modeling with CSP?

["G.S.Stiles" <dyke.stiles@xxxxxxx>]

All -

Thanks for all the comments!  That was very refreshing - after three weeks of
the new term...

I think I was looking for something along the line of Gerald's response. I had
been
reading recently of (non-CSP) attempts to solve the priority inversion problem
in real-time
systems - e.g., via the priority ceiling protocol.

It struct me that CSP might be useful for proving the correctness of such
protocols - since
we are dealing with interacting processes (including the scheduler). Priority
might simply
be represented by a parameter associated with each process - which the scheduler
would
then deal with explicitly. Thus the CSP itself does not need any inherent notion
of priority.

(I had just finished Ryan & Schneider's book on the use of CSP to check security
protocols -
which seem far more complex than the priority problem...)

Dyke.
--
=============================================================================
Dyke Stiles
Professor
Department of Electrical and Computer Engineering
Utah State University
4120 Old Main Hill
Logan UT 84322-4120
Voice: +1-435-797-2840                          FAX:   +1-435-797-3054
Work:                http://www.engineering.usu.edu/ece/research/rtpc/
Play:  http://www.engineering.usu.edu/ece/research/rtpc/utah/utah.html
=============================================================================