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.8 required=5.0 tests=BAYES_00, FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM,HEADER_FROM_DIFFERENT_DOMAINS, HEADER_SPAM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 7c87141b2d,fe98dee761ce56c8 X-Google-Attributes: gid7c87141b2d,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news1.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nx01.iad01.newshosting.com!newshosting.com!newspump.sol.net!posts.news.megabitz.net!nnrp3-asbnva.megabitz.net!not-for-mail From: ebaychatter@yahoo.com Newsgroups: comp.lang.ada,comp.lang.c.moderated Subject: Re: safety critical automotive software Date: Fri, 24 Dec 2010 13:14:24 -0600 (CST) Organization: http://groups.google.com Sender: clcm@herd.plethora.net Message-ID: References: User-Agent: G2/1.0 Complaints-To: groups-abuse@google.com Return-Path: X-Old-complaints-to: groups-abuse@google.com Content-Type: text/plain; charset=ISO-8859-1 Mime-Version: 1.0 X-Old-trace: posting.google.com 1292648092 826 127.0.0.1 (18 Dec 2010 04:54:52 GMT) Injection-Info: w17g2000yqh.googlegroups.com; posting-host=96.237.111.24; posting-account=gkXWvwoAAAAIOWt4G5fe4U4esr7n9m0D Content-Transfer-encoding: quoted-printable X-Http-useragent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.0.8) Gecko/2009033100 Ubuntu/9.04 (jaunty) Firefox/3.0.8,gzip(gfe) X-Authentication-warning: yws13.prod.google.com: news set sender to news@google.com using -f NNTP-Posting-Date: 24 Dec 2010 19:14:26 GMT NNTP-Posting-Host: 5ef84cae.news.megabitz.net X-Trace: DXC=09ESE@I\=\WYR><6FU_Q:4mR^W\Y;gN2lO]<2Ghd\cZc8YTQ6V[fhLf6[7d@DE\31QYUMoRO]O40E3X`H03LY\jMhP_LcCa@R_ZTU X-Complaints-To: abuse@megabitz.net Xref: g2news2.google.com comp.lang.ada:17102 comp.lang.c.moderated:2893 Date: 2010-12-24T19:14:26+00: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. DON'T FEED THE TROLL. Go buy an Ada car. -- comp.lang.c.moderated - moderation address: clcm@plethora.net -- you must have an appropriate newsgroups line in your header for your mail to be seen, or the newsgroup name in square brackets in the subject line. Sorry.