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=1.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,bf4b9ae687728bb9
X-Google-Attributes: gid103376,public
From: r_c_chapman@my-deja.com
Subject: Re: Safety Critical Software
Date: 2000/05/12
Message-ID: <8fgusr$pns$1@nnrp1.deja.com>#1/1
X-Deja-AN: 622532123
References: <391bb405$1@pull.gecm.com> <fMRS4.206$za3.119450@nnrp3.sbc.net>
X-Http-Proxy: 1.0 PROXY,
 1.0 x43.deja.com:80 (Squid/1.1.22) for client 193.114.91.187
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Fri May 12 12:53:54 2000 GMT
X-MyDeja-Info: XMYDJUIDr_c_chapman
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.7 [en-gb] (WinNT; U)
Date: 2000-05-12T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <fMRS4.206$za3.119450@nnrp3.sbc.net>,
  "Pat Rogers" <progers@NOclasswideSPAM.com> wrote:

> "ISO/IEC 15942 (2000-03)

The ISO TR from the HRG does mention the Ravenscar Profile briefly in
section 5.13 (I've a copy right in front of me now...) and it's
well-worth reading the whole thing.

Descriptions of Ravenscar have also appeared in various locations,
including:

Session Summary: Tasking Profiles.  T. Baker and T. Vardanega.
Proceedings of the 8th International Real-Time Ada Workshop.  ACM Ada
Letters, September 1997.

The Ravenscar Tasking Profile for High-Integrity Real-Time Programs.  A.
Burns, B. Dobbing, G. Romanski.  Proceedings of Ada Europe 1998
Conference. Springer Verlag, Lecture Notes in Computer Science vol.
1411, pp. 263 - 275.

in addition to the white papers available on Aonix's web-site.

 - Rod Chapman
   SPARK Development Team,
   Praxis Critical Systems
   rod@praxis-cs.co.uk



Sent via Deja.com http://www.deja.com/
Before you buy.