comp.lang.ada
 help / color / mirror / Atom feed
From: "Richard  Riehle" <adaworks@earthlink.net>
Subject: Re: 7E7 Flight Controls Electronics
Date: Thu, 03 Jun 2004 15:52:33 GMT
Date: 2004-06-03T15:52:33+00:00	[thread overview]
Message-ID: <5PHvc.252$uX2.81@newsread2.news.pas.earthlink.net> (raw)
In-Reply-To: 40bedede$0$97756$4c5eba9e@news.getnet.net

Aha!  Finally an answer to my original question.

It is interesting how we can bounce around all over the place
in response to a simple question, dispensing advice, proclaiming
our preferences, and ranting our doctrine before someone
comes forward with exactly the information we were seeking.

Thank you Vernon.

I can now announce to my students that 7e7 will indeed be
programmed largely in Ada.  In fact, I am giving a briefing
to a group of engineers next Friday on the subject of software
practice in safety-critical environments, and this will be useful
information.  I also intend to introduce them to the ideas in
SPARK along with other good stuff.

Naturally, my briefing will not be biased toward Ada.

Richard Riehle


"Vernon Brown" <vernonrbrown@inficad.com> wrote in message
news:40bedede$0$97756$4c5eba9e@news.getnet.net...
>
> I work for Honeywell ATS, but these comments are my own.
> I don't think I'm letting out any secrets here...
>   Some content for 7E7 will be done in C++, just
> because it's too hard to attract a large number (100s) of engineers who
> know Ada, or are willing to learn Ada and want to live in Phoenix (it's 86
> degrees
> right now at midnite!)
>
> However, a majority of the code will be written/converted to Ada95, just
> because we
> have so much Ada83 code to leverage from.
> I'm guessing the reason for only mentioning C/C++ in the ad is to get
> sufficient response
> so that prospective employee's can be interviewed and asked if they
> would mind learning Ada instead of using C++.  In reality, flight control
> software is very likely to all be Ada95.
> Currently I don't believe C++ is being proposed for use in any DO178B
Level
> A
> (safety critical) systems.
>






  parent reply	other threads:[~2004-06-03 15:52 UTC|newest]

Thread overview: 73+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-05-30 10:34 7E7 Flight Controls Electronics Rod Chapman
2004-06-03  8:18 ` Vernon Brown
2004-06-03 10:45   ` Martin Krischik
2004-06-03 15:52   ` Richard  Riehle [this message]
  -- strict thread matches above, loose matches on Subject: below --
2004-05-29  1:51 Jeffrey Carter
2004-05-29 10:21 ` Per Dalgas Jakobsen
2004-05-29 12:58   ` Marin David Condic
2004-05-29 13:35     ` Ed Falis
2004-05-29 17:29       ` Marin David Condic
2004-05-29 17:40         ` Ed Falis
2004-05-29 18:44           ` Marin David Condic
2004-05-29 18:58             ` Ed Falis
2004-05-30  7:55             ` Pascal Obry
2004-05-30 11:43               ` Georg Bauhaus
2004-05-30 16:10                 ` Pascal Obry
2004-05-31 11:56               ` Marin David Condic
2004-05-29 17:48         ` Wes Groleau
2004-05-29 18:53           ` Marin David Condic
     [not found]             ` <n42jb05e8rk7bsrtf2ikesu9t0bsmbphji@4ax.com>
2004-05-31 12:04               ` Marin David Condic
2004-06-06 10:35               ` I R T
2004-05-30  7:50         ` Pascal Obry
2004-05-31 12:25           ` Marin David Condic
2004-06-02 16:45           ` Warren W. Gay VE3WWG
2004-06-02 17:48             ` Martin Dowie
2004-06-03 15:57               ` Warren W. Gay VE3WWG
2004-06-03  0:09             ` Marin David Condic
2004-06-03  1:08               ` Ed Falis
2004-06-03 12:06                 ` Marin David Condic
2004-06-03 12:33                   ` Ed Falis
2004-06-03 16:44                   ` Wes Groleau
2004-06-03 17:52                   ` tmoran
2004-06-04  1:13                   ` Jeffrey Carter
2004-06-04 11:27                     ` Marin David Condic
2004-06-04 18:38                       ` Jeffrey Carter
2004-06-06 21:37                     ` Leon Winslow
2004-06-07 11:08                       ` I R T
2004-06-08  2:22                         ` Richard  Riehle
2004-06-08  9:07                           ` I R T
2004-06-08 11:33                           ` Marin David Condic
2004-06-09 21:02                           ` Robert I. Eachus
2004-06-09 21:22                             ` Ed Falis
2004-06-09 23:30                               ` Richard  Riehle
2004-06-10  2:02                               ` Jeffrey Carter
2004-06-10  2:27                                 ` Ed Falis
2004-06-10 19:54                                   ` Jeffrey Carter
2004-06-07 11:19                       ` Marin David Condic
2004-06-07 22:24                         ` Alexander E. Kopilovich
2004-06-08  1:11                           ` Marin David Condic
2004-06-08  2:35                           ` Richard  Riehle
2004-06-08  6:59                             ` tmoran
2004-06-08 19:44                               ` Wes Groleau
2004-06-09  1:32                             ` Alexander E. Kopilovich
2004-06-09  6:23                               ` Richard  Riehle
2004-06-09  7:09                                 ` Martin Dowie
2004-06-10  1:41                                 ` Alexander E. Kopilovich
2004-06-10  6:13                                   ` Richard  Riehle
2004-06-11  2:03                                     ` Alexander E. Kopilovich
2004-06-12  2:31                                     ` Robert I. Eachus
2004-06-15 16:07                                       ` Richard  Riehle
2004-06-09  7:54                               ` Dmitry A. Kazakov
2004-06-09  6:31                         ` Robert I. Eachus
2004-06-09  9:43                           ` I R T
2004-06-09 15:28                           ` Jerry Petrey
2004-05-29 15:58     ` Preben Randhol
2004-05-29 17:45       ` Marin David Condic
2004-05-29 17:51         ` Ed Falis
2004-05-29 19:55       ` Jeffrey Carter
2004-05-30  7:57       ` Pascal Obry
2004-05-30 18:35         ` Richard  Riehle
2004-05-31 12:38           ` Marin David Condic
2004-06-04 12:56           ` Warren W. Gay VE3WWG
2004-06-05  8:49             ` Pascal Obry
2004-06-06 10:27 ` I R T
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox