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=2.1 required=5.0 tests=BAYES_20,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a1eff3a9508d6cba X-Google-Attributes: gid103376,public From: jpt@diphi.demon.co.uk (JP Thornley) Subject: Re: Space Station S/W in Ada -- No Tasking? Date: 1998/05/07 Message-ID: <743908471wnr@diphi.demon.co.uk>#1/1 X-Deja-AN: 351216171 References: <354dadfd.2883074@news.mindspring.com> X-Mail2News-User: jpt@diphi.demon.co.uk X-Complaints-To: abuse@demon.net X-Mail2News-Path: post-12.mail.demon.net X-Trace: mail2news.demon.co.uk 894573667 19851 jpt diphi.demon.co.uk Organization: None Reply-To: jpt@diphi.demon.co.uk Newsgroups: comp.lang.ada Date: 1998-05-07T00:00:00+00:00 List-Id: 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 | ------------------------------------------------------------------------