Re: safety critical automotive software

[Midoan <midoan.ses@gmail.com>]

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.
[This is a repost]

The MISRA C guidelines, if they are complied with, do impose stronger
typing on C code (with its restrictions on type declarations and
stricter conversions rules).
So it is possible to "impose principles of strong typing where these
are not inherent in the language" for C.
Of course that sentence would not be there in the standard if the
MISRA C guidelines did not exist.

Regards,
David
---
Midoan Software Engineering Solutions
! check out our new videos on automatic test inputs generation from
Ada on www.midoan.com/mika.html