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.2 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM,HEADER_FROM_DIFFERENT_DOMAINS, HEADER_SPAM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,fe98dee761ce56c8 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news1.google.com!news.glorb.com!indigo.octanews.net!news-out.octanews.net!mauve.octanews.net!newsfeeds.sol.net!post2.nntp.sol.net!posts.news.megabitz.net!nnrp3-asbnva.megabitz.net!not-for-mail From: Midoan Newsgroups: comp.lang.ada,comp.lang.c.moderated Subject: Re: safety critical automotive software Date: Fri, 24 Dec 2010 13:13:10 -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 Domainkey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=x-authentication-warning:to:path:from:newsgroups:subject:date :organization:lines:message-id:references:nntp-posting-host :mime-version:content-type:content-transfer-encoding:x-trace :x-complaints-to:nntp-posting-date:complaints-to:injection-info :user-agent:x-http-via:x-http-useragent; b=VY/JcHwQL2plmZAGEmLw74KP2dv0cOfbCdgfMz4V1wS6eMvDYPwLzxhR5vbjir+JgL lUbRAdGnDTC8mZznDRUy8cDyIzQegOWbp2YOwYr9LJLuGF99UcDzQRT+s/p9z2VFmNhY 8VweBNhqS0JVSUW2CDJ1LQJkMCUaU0k8X0nQc= Content-Type: text/plain; charset=ISO-8859-1 Dkim-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:received :x-authentication-warning:to:path:from:newsgroups:subject:date :organization:lines:message-id:references:nntp-posting-host :mime-version:content-type:content-transfer-encoding:x-trace :x-complaints-to:nntp-posting-date:complaints-to:injection-info :user-agent:x-http-via:x-http-useragent; bh=/+nwhxRKxsuaukE8VyZFFdZI4fsy7nTG1+FQV6QVMrw=; b=Ie76wiCneV4LBBhR/smpfrLjX+uxcwnEA4wzrhlx76OS3mJ1Ku5N73eE2GMwHfFi0g zrhLRXCA3O1iZh3+fkPqRqmY4AsePUoJT/uRC5iN5WBgusafvaGQX4ZM2eZf77hCDoK4 nj6fBP2oihfE0rJ5hFylNzgdZvs6UUxs85o1s= Mime-Version: 1.0 X-Http-via: 1.0 proxystf.itcarlow.ie:3128 (squid/2.6.STABLE21) X-Old-trace: posting.google.com 1292586692 1841 127.0.0.1 (17 Dec 2010 11:51:32 GMT) Injection-Info: j29g2000yqm.googlegroups.com; posting-host=149.153.4.110; posting-account=X24XNwoAAACSn_ecescZSCM9-2ONsCM_ Content-Transfer-encoding: quoted-printable X-Http-useragent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US) AppleWebKit/534.10 (KHTML, like Gecko) Chrome/8.0.552.224 Safari/534.10,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:13:12 GMT NNTP-Posting-Host: 5ef84cae.news.megabitz.net X-Trace: DXC=:emWPQTlNJ8:_3S>JR9h44><6FU_Q:4m2^W\Y;gN2lO=7gjSZ9@HY8>^9m3``_J2]27d@DE\31QY5MoRO]O40E38`H03LY\jMh0AmcnkD[BoF> X-Complaints-To: abuse@megabitz.net Xref: g2news2.google.com comp.lang.ada:17105 comp.lang.c.moderated:2910 Date: 2010-12-24T19:13:12+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. The MISRA C guidelines, if they are complied to, do strengthen type checking in C (e.g. rules about types and conversion rules). So I guess you could say that they do "impose principles of strong typing where these are not inherent in the language". Of course that sentence would not have been there if MISRA C did not exist ... Regards, David >>> Midoan Software Engineering Solutions check out our new automatic test inputs generation videos for Ada at www.midoan.com/mika.html -- 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.