From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,eb0daafec4ae827a,start
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!d55g2000hsg.googlegroups.com!not-for-mail
From: Maciej Sobczak <see.my.homepage@gmail.com>
Newsgroups: comp.lang.ada
Subject: High-integrity networking
Date: Mon, 08 Oct 2007 05:13:43 -0700
Organization: http://groups.google.com
Message-ID: <1191845623.383675.190820@d55g2000hsg.googlegroups.com>
NNTP-Posting-Host: 85.3.103.41
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-2"
X-Trace: posting.google.com 1191845623 12101 127.0.0.1 (8 Oct 2007 12:13:43
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 8 Oct 2007 12:13:43 +0000 (UTC)
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; FreeBSD i386; en-US;
 rv:1.8.0.1) Gecko/20060317 Firefox/1.5.0.1,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: d55g2000hsg.googlegroups.com; posting-host=85.3.103.41;
   posting-account=ps2QrAMAAAA6_jCuRt2JEIpn5Otqf_w0
Xref: g2news2.google.com comp.lang.ada:2350
Date: 2007-10-08T05:13:43-07:00
List-Id: <comp.lang.ada>

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