Re: safety critical automotive software

[Walter Banks <walter@bytecraft.com>]

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?

As far as I know Ada has not ever been used. I am familiar
with most of the current ECU's and almost all are using the
same parts implemented in C with some of the
ISO/IEC 18037 additions.


> How do you achieve the "principles of strong typing" using C?

Each of the automotive companies have internal design rules
that are company mandated. I am generally impressed to the degree
that  automotive coding standards are maintained. misra is often
looked at as a set of guidelines but most automotive companies
use misra as one of many sources for their internal standards.

Regards,


Walter..
--
Walter Banks
Byte Craft Limited
http://www.bytecraft.com
-- 
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.