comp.lang.ada
 help / color / mirror / Atom feed
From: Manuel Gomez <mgrojo@gmail.com>
Subject: Re: safety critical automotive software
Date: Sat, 18 Dec 2010 03:00:21 -0800 (PST)
Date: 2010-12-18T03:00:21-08:00	[thread overview]
Message-ID: <46b2e36e-2631-478e-afe8-e240b9c4a2f1@v23g2000vbi.googlegroups.com> (raw)
In-Reply-To: 1d6e910c-1a48-4583-80ed-982ac2456810@g26g2000vba.googlegroups.com

In fact, it doesn't say anything about automobiles, so probably Saab
here means the aerospace and defence division, which I didn't know
before digging about this subject.



On Dec 18, 11:49 am, Manuel Gomez <mgr...@gmail.com> wrote:
> 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-...
>
> 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?
>



  reply	other threads:[~2010-12-18 11:00 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 [this message]
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