comp.lang.ada
 help / color / mirror / Atom feed
From: ebaychatter@yahoo.com
Subject: Re: safety critical automotive software
Date: Fri, 24 Dec 2010 13:14:24 -0600 (CST)
Date: 2010-12-24T19:14:26+00:00	[thread overview]
Message-ID: <clcm-20101224-0017@plethora.net> (raw)
In-Reply-To: clcm-20101216-0007@plethora.net

On Dec 16, 6:45 pm, Rolf <rolf.ebert_nosp...@gmx.net> 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?
>
>   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 seen,
> or the newsgroup name in square brackets in the subject line.  Sorry.

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.



  parent reply	other threads:[~2010-12-24 19:14 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-12-16 18:45 safety critical automotive software Rolf
2010-12-18 10:11 ` Midoan
2010-12-18 10:49 ` Manuel Gomez
2010-12-18 11:00   ` Manuel Gomez
2010-12-24 19:11 ` Dmitry A. Kazakov
2010-12-24 19:13 ` Midoan
2010-12-24 19:13 ` Peter C. Chapin
2010-12-24 19:14 ` ebaychatter [this message]
2010-12-24 19:16 ` Paul Colin Gloster
2010-12-24 19:16 ` Paul Colin Gloster
2011-01-07 21:40 ` Walter Banks
2011-01-09 17:09   ` Gerd
2011-01-10 14:56     ` Peter Hermann
2011-01-10 19:24       ` Gerd
2011-02-23  3:32   ` ebaychatter
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox