High-integrity networking

[Maciej Sobczak <see.my.homepage@gmail.com>]

Hi,

Ravenscar describes the language subset and the usage patterns for
multitasking within a single process.
I'm interested in patterns and solutions for high-reliability
networking/middleware.

Just "extrapolating" Ravenscar to the distributed environment can lead
to some imaginably constrained environment where the set of
communicating nodes is constant, the number and configuration of
channels is statically known, the types (and lengths) of messages are
known up front, etc.
There are some start-up issues with ensuring all these constraints
(for example, the locations of other nodes would need to be first read
from some configuration file/database before the connections can be
established, etc., so that the initialization phase would need to be
more pronounced than just stating that something happens at the
package elaboration), but it seems feasible.

Can you recommend some papers on this? Is there any document of the
Ravenscar profile kind that targets high-integrity networking and
middleware approaches?

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com