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=-0.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,fba8595cda50c2ec
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-06-01 11:23:17 PST
From: Vinzent Hoefler <JeLlyFish.software@gmx.net>
Newsgroups: comp.lang.ada
Subject: Re: Ada automatic code generation for Simulink models
Date: Sat, 01 Jun 2002 20:23:05 +0200
Organization: JeLlyFish software
Reply-To: JeLlyFish.software@gmx.net
References: <3CF539BA.32BE0D15@NOSPAM.visteon.com>
 <x7vwutki0ny.fsf@pushface.org> <3CF7DADA.77DB9166@NOSPAM.visteon.com>
 <u1ybr3ufv.fsf@gsfc.nasa.gov> <x7vn0ufdiyo.fsf@pushface.org>
X-Newsreader: Forte Agent 1.8/32.548
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
NNTP-Posting-Host: 62.202.185.216
Message-ID: <3cf9110e$1_4@news.bluewin.ch>
X-Trace: news.bluewin.ch 1022955790 62.202.185.216 (1 Jun 2002 20:23:10 +0200)
X-Complaints-To: abuse@bluewin.ch
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news-out.nuthinbutnews.com!propagator-sterling!news-in.nuthinbutnews.com!newsfeed-zh.ip-plus.net!news.ip-plus.net!news.bluewin.ch!not-for-mail
Xref: archiver1.google.com comp.lang.ada:25168
Date: 2002-06-01T20:23:05+02:00
List-Id: <comp.lang.ada>

Simon Wright <simon@pushface.org> wrote:

>Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov> writes:
>
>> John Kern <jkern3@NOSPAM.visteon.com> writes:
>
>> > and MISRA compliance, 
>> 
>> Don't know what this is; some industry standard, I guess.
>
>Motor Industry "standard" for writing safety-related software in C (and
>C++? not sure)

Motor Industry Software Reliability Association

And yes, there's a MISRA-C too, see:

http://www.misra.org.uk/misra-c.htm

(Well, I haven't tried the link yet, but I've read, even they
recommend Ada or Modula for that...)


Vinzent.