Re: High-integrity networking

[Peter Morris <no@spam.please.net>]

On Wed, 10 Oct 2007 14:16:11 +0100, Brian Drummond
<brian_drummond@btconnect.com> wrote:

>On Tue, 09 Oct 2007 06:17:33 -0700, Maciej Sobczak
><see.my.homepage@gmail.com> wrote:
>
>>On 8 Pa , 23:02, "Jeffrey R. Carter"
>><spam.jrcarter....@acm.nospam.org> wrote:
>>
>
>>I have already found CSP (Communicating Sequential Processes), which
>>is one possible approach, although what I have seen up to now leaves
>>some "minor" details in the air, like the startup of the whole system.
>>Ravenscar can afford this, because it's the language implementation
>>that has to more or less transparently take care of all these issues,
>>but heterogenous systems might need some more explicit handling.
>>
>>In any case - is this (CSP) the only keyword in this subject?
>
>I don't suppose there are any occam compilers still running?
>

The Kent Retargetable Occam Compiler now compiles an extended version
of occam (occam-pi)
http://www.cs.kent.ac.uk/projects/ofa/kroc/

There is a portable runtime here with support for the Lego Mindstorm
http://www.transterpreter.org/

SPOC occam to C compiler
http://www.itk.ntnu.no/ansatte/Hendseth_Sverre/occam/index.html

A support group for the CSP model of parallel processing.
http://www.wotug.org

Proceedings of a recent conference.
http://wotug.org/paperdb/show_proc.php?f=4&num=25


Regards,
Peter Morris