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: 103376,fe98dee761ce56c8,start
X-Google-NewGroupId: yes
X-Google-Thread: 100850,fe98dee761ce56c8,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,gid7c87141b2d,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!news.glorb.com!news2.glorb.com!newsfeeds.sol.net!post2.nntp.sol.net!posts.news.megabitz.net!nnrp2-asbnva.megabitz.net!not-for-mail
From: Rolf <rolf.ebert_nospam_@gmx.net>
Newsgroups: comp.lang.ada,comp.lang.c.moderated
Subject: safety critical automotive software
Date: Thu, 16 Dec 2010 12:45:05 -0600 (CST)
Organization: http://groups.google.com
Sender: clcm@herd.plethora.net
Message-ID: <clcm-20101216-0007@plethora.net>
User-Agent: G2/1.0
Complaints-To: groups-abuse@google.com
Return-Path: <news@google.com>
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 1291728100 2711 127.0.0.1 (7 Dec 2010 13:21:40
 GMT)
Injection-Info: h22g2000vbr.googlegroups.com; posting-host=192.109.190.88;
 posting-account=-RRRjAkAAAAGFvmHqTCN-L7gNQ7lRGfd
X-Http-useragent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 5.1;
 .NET CLR 2.0.50727; .NET CLR 3.0.4506.2152; .NET CLR 3.5.30729;
 .NET CLR 1.1.4322; InfoPath.2),gzip(gfe)
X-Authentication-warning: ywd9.prod.google.com: news set sender to
 news@google.com using -f
NNTP-Posting-Date: 16 Dec 2010 18:41:13 GMT
NNTP-Posting-Host: f76bff7e.news.megabitz.net
X-Trace: 
 DXC=>BAl3L><<kEgFWXdY44kaD><6FU_Q:4mB^W\Y;gN2lOM=cOVK:V?i7C_ok9LlJPQ3M7d@DE\31QYEMoRO]O40E3H`H03LY\jMh@[NdY1>h\hHK
X-Complaints-To: abuse@megabitz.net
Xref: g2news2.google.com comp.lang.ada:16960 comp.lang.c.moderated:2877
Date: 2010-12-16T18:41:13+00:00
List-Id: <comp.lang.ada>

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?

  Rolf

[1] ISO DIS 26262-6, 2009
-- 
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.