From: Manuel Gomez <mgrojo@gmail.com>
Subject: Re: safety critical automotive software
Date: Sat, 18 Dec 2010 02:49:16 -0800 (PST)
Date: 2010-12-18T02:49:16-08:00 [thread overview]
Message-ID: <1d6e910c-1a48-4583-80ed-982ac2456810@g26g2000vba.googlegroups.com> (raw)
In-Reply-To: clcm-20101216-0007@plethora.net
I remember reading that Saab uses Ada in some context. Searching Ada
Saab I found this reference:
http://www.militaryaerospace.com/index/display/mae-defense-executive-article-display/311897/articles/military-aerospace-electronics/executive-watch/rti-works-with-saab-to-integrate-ada-compiler-with-real-time-middleware.html
On Dec 16, 7: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
>
next prev parent reply other threads:[~2010-12-18 10:49 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 [this message]
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
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