TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Monospaced Font
Show HTML Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender: "Team Ada: Ada Programming Language Advocacy (83 & 95)" <[log in to unmask]>
Date: Sat, 24 Feb 2007 09:58:59 +0100
Content-Disposition: inline
Reply-To: "Team Ada: Ada Programming Language Advocacy (83 & 95)" <[log in to unmask]>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
In-Reply-To: <[log in to unmask]>
Content-Transfer-Encoding: 8bit
From: Dirk Craeynest <[log in to unmask]>
Parts/Attachments: text/plain (38 lines)
= 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

ATOM RSS1 RSS2