Re: safety critical automotive software

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Thu, 16 Dec 2010 12:45:05 -0600 (CST), 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.

Not to my knowledge.

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

AFAIK, they don't care.

Then I guess that the recommendation does not really mandate or even mean
*application* of strong typing in the software design. I.e. you could be
free to deploy int8, unsigned16 instead of meaningful user-defined numeric
data types of domain specific ranges and defined behavior. So "principles
of strong typing" in C could simply mean treating warnings about comparing
signed with unsigned ints as errors.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
-- 
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.