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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,ff18b3dfbae1e1d6 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-08-28 08:01:54 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.icl.net!newsfeed.fjserv.net!colt.net!kibo.news.demon.net!mutlu.news.demon.net!news.demon.co.uk!demon!not-for-mail From: john.nospam@nospamassen.nospamdemon.co.uk (John McCabe) Newsgroups: comp.lang.ada Subject: Re: Ada as a real time language Date: Wed, 28 Aug 2002 15:05:09 GMT Organization: A Customer of Demon Internet@THUS plc Message-ID: <3d6ce612.25469483@news.demon.co.uk> References: <3d6cce03.19310466@news.demon.co.uk> NNTP-Posting-Host: pipehawk.demon.co.uk X-Trace: news.demon.co.uk 1030546914 869 158.152.226.81 (28 Aug 2002 15:01:54 GMT) X-Complaints-To: abuse@demon.net NNTP-Posting-Date: Wed, 28 Aug 2002 15:01:54 +0000 (UTC) X-Newsreader: Forte Free Agent 1.21/32.243 Xref: archiver1.google.com comp.lang.ada:28499 Date: 2002-08-28T15:05:09+00:00 List-Id: On Wed, 28 Aug 2002 13:37:27 GMT, "Pat Rogers" wrote: >"John McCabe" wrote in >message news:3d6cce03.19310466@news.demon.co.uk... >> Correct me if I'm wrong, but I think the Ravenscar profile has >> something to do with HRT systems. If you look on the web for Ada and >> Ravenscar you might find something useful. > >The Ravenscar Profile is appropriate for hard real-time systems, in >and of itself, but it is especially appropriate for systems that >involve the kinds of analyses required for high-integrity >applications. As a subset of the language intended for >safety-critical applications it is not necessarily optimal for more >general real-time designs, although the restrictions it imposes are >reasonable for small footprint, high performance, hard real-time >systems. > >Don't get me wrong -- I'm an advocate of Ravenscar -- I'm just saying >that Ravenscar is not the sum and total of Ada's real-time >capabilities. Since the OP was asking in the most general sense I >thought it best to provide a more precise description of Ravenscar's >domain. That seems perfectly reasonable so thank you. I expected to be able to find something on the Ada IC site about Ravenscar, but it wasn't obvious from the front page where it would be, and there doesn't appear to be a search engine so I kind of gave up at that point (which is when I suggested the OP should look himself :-)