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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,fe98dee761ce56c8 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!postnews.google.com!39g2000yqa.googlegroups.com!not-for-mail From: Midoan Newsgroups: comp.lang.ada Subject: Re: safety critical automotive software Date: Sat, 18 Dec 2010 02:11:16 -0800 (PST) Organization: http://groups.google.com Message-ID: References: NNTP-Posting-Host: 188.141.92.189 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1292667076 10359 127.0.0.1 (18 Dec 2010 10:11:16 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sat, 18 Dec 2010 10:11:16 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: 39g2000yqa.googlegroups.com; posting-host=188.141.92.189; posting-account=X24XNwoAAACSn_ecescZSCM9-2ONsCM_ User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-GB; rv:1.9.2.10) Gecko/20100914 Firefox/3.6.10 GTB7.1,gzip(gfe) Xref: g2news2.google.com comp.lang.ada:16993 Date: 2010-12-18T02:11:16-08:00 List-Id: On Dec 16, 6:45=A0pm, Rolf wrote: > The upcoming ISO 26262 highly recommends "enforcement of strong > typing" [1]. There is a corresponding footnote saying " The objective > [...] is to impose principles of strong typing where these are not > inherent in the language". > > Does anybody know if Ada has ever been used (in ECU series production) > in an automotive application. Can you provide a reference? > > How do you achieve the "principles of strong typing" using C? > > =A0 Rolf > > [1] ISO DIS 26262-6, 2009 > -- > comp.lang.c.moderated - moderation address: c...@plethora.net -- you must > have an appropriate newsgroups line in your header for your mail to be se= en, > or the newsgroup name in square brackets in the subject line. =A0Sorry. [This is a repost] The MISRA C guidelines, if they are complied with, do impose stronger typing on C code (with its restrictions on type declarations and stricter conversions rules). So it is possible to "impose principles of strong typing where these are not inherent in the language" for C. Of course that sentence would not be there in the standard if the MISRA C guidelines did not exist. Regards, David --- Midoan Software Engineering Solutions ! check out our new videos on automatic test inputs generation from Ada on www.midoan.com/mika.html