From: jpt@diphi.demon.co.uk (JP Thornley)
Subject: Re: Space Station S/W in Ada -- No Tasking?
Date: 1998/05/07
Date: 1998-05-07T00:00:00+00:00 [thread overview]
Message-ID: <743908471wnr@diphi.demon.co.uk> (raw)
In-Reply-To: dewar.894232867@merv
It might be worth mentioning, in this discussion, the existence of the
Ravenscar Profile - a subset of Ada tasking designed explicitly to meet
the certification requirements of high integrity Ada programs.
The profile was defined at the 8th International Real-Time Ada Workshop
in April 1997 (held at the Ravenscar Hotel, North Yorkshire, UK).
Details are in the proceedings, published as the September/October issue
of Ada Letters (Volume XVII Number 5).
At least one vendor has announced plans to provide a 'certifiable'
run-time that supports this subset.
Use of the profile is recommended in the HRG Guidance document (an ISO
technical report on the use for Ada in high integrity software currently
in preparation).
Phil Thornley.
--
------------------------------------------------------------------------
| JP Thornley EMail jpt@diphi.demon.co.uk |
| phil.thornley@acm.org |
------------------------------------------------------------------------
next prev parent reply other threads:[~1998-05-07 0:00 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-05-03 0:00 Space Station S/W in Ada -- No Tasking? Robert Munck
1998-05-03 0:00 ` Robert Dewar
1998-05-07 0:00 ` JP Thornley [this message]
1998-05-05 0:00 ` Roger Racine
1998-05-05 0:00 ` Robert Munck
1998-05-12 0:00 ` Carla Taylor
1998-05-06 0:00 ` William D. Ghrist
1998-05-05 0:00 ` LarryButts
1998-05-06 0:00 ` Robert I. Eachus
1998-05-07 0:00 ` Joe Gwinn
1998-05-08 0:00 ` Roger Racine
1998-05-08 0:00 ` Joe Gwinn
1998-05-08 0:00 ` Dale Pontius
1998-05-08 0:00 ` Chris Warwick
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox