From: r_c_chapman@my-deja.com
Subject: Re: Safety Critical Software
Date: 2000/05/12
Date: 2000-05-12T00:00:00+00:00 [thread overview]
Message-ID: <8fgusr$pns$1@nnrp1.deja.com> (raw)
In-Reply-To: fMRS4.206$za3.119450@nnrp3.sbc.net
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.
next prev parent reply other threads:[~2000-05-12 0:00 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-05-12 0:00 Safety Critical Software Neil Davidson
2000-05-12 0:00 ` Pat Rogers
2000-05-12 0:00 ` r_c_chapman [this message]
2000-05-12 0:00 ` Pat Rogers
2000-05-12 0:00 ` Martin Dowie
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox