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: 107f24,582dff0b3f065a52
X-Google-Attributes: gid107f24,public
X-Google-Thread: 109fba,582dff0b3f065a52
X-Google-Attributes: gid109fba,public
X-Google-Thread: 1014db,582dff0b3f065a52
X-Google-Attributes: gid1014db,public
X-Google-Thread: 103376,bc1361a952ec75ca
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-03 01:05:04 PST
From: "Martin Dowie" <martin.dowie@nospam.baesystems.com>
Newsgroups: comp.lang.ada,comp.lang.c,comp.lang.c++,comp.lang.functional
References: <bebbba07.0107292308.d1192fc@posting.google.com>
 <%CX97.14134$ar1.47393@www.newsranger.com>
 <L5Y97.14163$ar1.47661@www.newsranger.com>
 <tmgrs9anc69q95@corp.supernews.com> <9ka0on$me1@augusta.math.psu.edu>
 <tmhe597bt0eb23@corp.supernews.com> <3b69253a$1@pull.gecm.com>
 <9Mha7.3184$e%4.96024@news3.oke.nextra.no>
Subject: Re: How Ada could have prevented the Red Code distributed denial of
 service attack.
Date: Fri, 3 Aug 2001 09:05:01 +0100
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.00.2314.1300
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300
NNTP-Posting-Host: sg2c11210.dsge.edinbr.gmav.gecm.com
Message-ID: <3b6a58ea$1@pull.gecm.com>
X-Trace: 3 Aug 2001 08:55:22 GMT, sg2c11210.dsge.edinbr.gmav.gecm.com
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!btnet-peer1!btnet-feed5!btnet!newreader.ukcore.bt.net!pull.gecm.com!sg2c11210.dsge.edinbr.gmav.gecm.com
Xref: archiver1.google.com comp.lang.ada:11174 comp.lang.c:71841
 comp.lang.c++:79591 comp.lang.functional:7245
Date: 2001-08-03T09:05:01+01:00
List-Id: <comp.lang.ada>

I could have added that, IIRC, MISRA state that MISRA-C is suitable
for up to the equivalent of UK (DefStan0055/56) SIL3 or US Do-178B
LevelB systems and not the highest level of either safety standard.

Tor Rustad <torust@online.no.spam> wrote in message
news:9Mha7.3184$e%4.96024@news3.oke.nextra.no...
> "Martin Dowie" <martin.dowie@nospam.baesystems.com> wrote in message
> > I don't know. But I do know that MISRA (UK Motor Industry S/W
> > Reliability Association) publish guidelines that indicate that
> > Ada should be considered in preference to using C for safety
> > critical systems. The report defines MISRA-C, a "safe" subset
> > of C.
>
> IIRC, MISRA-C explains in some detail how to use the language correct.
[snip, some good points]