comp.lang.ada
 help / color / mirror / Atom feed
From: Midoan <midoan.ses@gmail.com>
Subject: Re: safety critical automotive software
Date: Fri, 24 Dec 2010 13:13:10 -0600 (CST)
Date: 2010-12-24T19:13:12+00:00	[thread overview]
Message-ID: <clcm-20101224-0012@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.

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.



  parent reply	other threads:[~2010-12-24 19:13 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 [this message]
2010-12-24 19:13 ` Peter C. Chapin
2010-12-24 19:14 ` ebaychatter
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