= Colin Paul Gloster schrieb:
= > Do people write safety critical applications in C++?
= > The thought shocks me.

From: C & U Grein <[log in to unmask]>
= I guess they do Modern cars like Mercedes and BMW have a lot of code 
= inside - and they don't use Ada AFAIK.

In 2004, Ada-Germany organized a track on reliable software in a
workshop about Safety & Security for the automotive industry [1].
The slides of most presentations are available [2].

Two presentations by the companies mentioned above made clear that
they are using some Ada:

- I. Stürmer, M. Conrad (DaimlerChrysler AG):
  Code Generator Certification: A Testsuite-oriented Approach [3]

- D. Dickmanns (BMW):
  Softwareentwicklung in Ada95: Ein Erfahrungsbericht [4]

URLs:

[1] <http://www.ada-deutschland.de/aktuelles/Tagungsprogramm.html>
[2] <http://www.ada-deutschland.de/tagungen/webpdf/Tagungsprogramm_mit_pdf.htm>
[3] <http://www.ada-deutschland.de/tagungen/webpdf/Conrad2_Automotive2004.pdf>
[4] <http://www.ada-deutschland.de/tagungen/webpdf/Dickmanns_Automotive_2004.pdf>

I hope this helps,

Dirk
[log in to unmask] (for Ada-Belgium/-Europe/SIGAda/WG9 mail)

*** 12th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2007
*** June 25-29, 2007 * Geneva, Switzerland * http://www.ada-europe.org

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm