From: Peter Amey <peter.amey@praxis-cs.co.uk>
Subject: Re: Ada used in General Aviation (GA) applications?
Date: Wed, 12 May 2004 11:01:39 +0100
Date: 2004-05-12T11:01:39+01:00 [thread overview]
Message-ID: <2geb04F1pte3U1@uni-berlin.de> (raw)
In-Reply-To: <Xns94E5D0503CC17BerndSpechtgmxcom@151.189.20.10>
Bernd Specht wrote:
> Marin David Condic <nobody@noplace.com> wrote in
> news:409F69CB.8020604@noplace.com:
>
>
>
>>If Ada wants to be a player in General Aviation avionics it needs to do
>>something to either a) target & capture some more "general" market that
>>will provide the $$$ that will build the tools/talent/support
>
>
>
> There is a wide range of embedded applications on 8- and 16-bit processors
> like 8051 and HC11. But - no (Ada-)compiler vendor offers a compiler for
> such targets.
>
There might not be general Ada solutions for these processors but there
a SPARK one. Because SPARK is designed to require little or no run-time
library support it is possible to design and analyse in SPARK and then
compile to C en route to running on small processors. The translation
is simple because SPARK in unambiguous and because issues like array
bounds violation have all been dealt with and eliminated at the SPARK
design level. I am presenting a paper on this at Ada Europe this year.
Peter
next prev parent reply other threads:[~2004-05-12 10:01 UTC|newest]
Thread overview: 119+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-05-10 9:17 Ada used in General Aviation (GA) applications? Kai Glaesner
2004-05-10 11:39 ` Marin David Condic
2004-05-10 17:59 ` Jeffrey Carter
2004-05-11 11:38 ` Marin David Condic
2004-05-10 18:28 ` Bernd Specht
2004-05-10 20:10 ` Martin Dowie
2004-05-11 7:37 ` Dmitry A. Kazakov
2004-05-11 9:45 ` Bernd Specht
2004-05-11 9:52 ` Bernd Specht
2004-05-11 11:50 ` Marin David Condic
2004-05-12 0:07 ` Richard Riehle
2004-05-12 12:21 ` Marin David Condic
2004-05-12 15:36 ` Robert C. Leif
2004-05-11 19:34 ` Bernd Trog
2004-05-11 20:46 ` Bernd Specht
2004-05-12 17:09 ` Mike Silva
2004-05-12 18:51 ` Bernd Specht
2004-05-13 5:50 ` Pascal Obry
2004-05-13 7:21 ` Vinzent 'Gadget' Hoefler
2004-05-13 8:10 ` Bernd Specht
2004-05-13 8:57 ` Vinzent 'Gadget' Hoefler
2004-05-13 9:27 ` Ludovic Brenta
2004-05-13 11:46 ` Marin David Condic
2004-05-13 19:20 ` Randy Brukardt
2004-05-13 21:00 ` tmoran
2004-05-13 23:41 ` Alexander E. Kopilovich
2004-05-14 6:44 ` Anders Wirzenius
2004-05-14 13:54 ` Andersen Jacob Sparre
2004-05-17 5:27 ` Anders Wirzenius
2004-05-17 11:53 ` Marin David Condic
2004-05-14 22:31 ` Ludovic Brenta
2004-05-15 9:05 ` Jacob Sparre Andersen
2004-05-15 11:46 ` Ludovic Brenta
2004-05-16 16:48 ` Jeffrey Carter
2004-05-17 6:35 ` Time to market, was: " Anders Wirzenius
2004-05-17 12:17 ` Marin David Condic
2004-05-18 1:05 ` Jeffrey Carter
2004-05-18 7:58 ` Peter Amey
[not found] ` <40A9EFFC.7090708@noplace.com>
2004-05-19 0:45 ` Jeffrey Carter
2004-05-17 12:04 ` Marin David Condic
2004-05-17 6:09 ` Anders Wirzenius
2004-05-18 4:45 ` Simon Wright
2004-05-17 11:58 ` Marin David Condic
2004-05-17 6:15 ` Martin Krischik
2004-05-17 11:48 ` Marin David Condic
2004-05-13 16:45 ` Pascal Obry
2004-05-13 17:05 ` Lutz Donnerhacke
2004-05-13 20:59 ` Bartłomiej Świercz
2004-05-13 21:06 ` Pascal Obry
2004-05-14 1:07 ` Alexander E. Kopilovich
2004-05-13 22:37 ` Alexander E. Kopilovich
2004-05-14 6:41 ` Ole-Hjalmar Kristensen
2004-05-13 19:30 ` Bernd Trog
2004-05-13 16:17 ` Mike Silva
2004-05-11 20:15 ` Martin Dowie
2004-05-12 12:30 ` Marin David Condic
2004-05-13 7:55 ` Dmitry A. Kazakov
2004-05-13 12:01 ` Marin David Condic
2004-05-13 13:22 ` Dmitry A. Kazakov
2004-05-17 12:25 ` Marin David Condic
2004-05-17 13:11 ` Dmitry A. Kazakov
2004-05-13 19:29 ` Randy Brukardt
2004-05-14 10:45 ` Kai Glaesner
2004-05-14 22:35 ` Ludovic Brenta
2004-05-17 12:26 ` Marin David Condic
2004-05-17 19:29 ` Randy Brukardt
2004-05-18 1:09 ` Jeffrey Carter
[not found] ` <40A9F260.9080300@noplace.com>
2004-05-19 0:50 ` Jeffrey Carter
2004-05-19 1:34 ` Marin David Condic
2004-06-06 9:48 ` I R T
2004-05-18 4:50 ` Simon Wright
[not found] ` <40A9F38C.9080003@noplace.com>
2004-05-18 21:05 ` Simon Wright
2004-06-06 9:51 ` I R T
2004-05-18 12:05 ` Marin David Condic
2004-05-19 17:17 ` Randy Brukardt
2004-05-19 22:21 ` Marin David Condic
2004-05-20 19:10 ` Georg Bauhaus
2004-05-21 11:39 ` Marin David Condic
2004-05-19 22:42 ` Jeff C,
2004-05-20 11:36 ` Marin David Condic
2004-05-21 1:46 ` Jeff C,
2004-05-21 5:46 ` Richard Riehle
2004-05-21 5:44 ` Simon Wright
2004-06-06 10:01 ` I R T
2004-05-12 2:32 ` Steve
2004-05-12 12:34 ` Marin David Condic
2004-05-13 6:21 ` Richard Riehle
2004-05-13 8:30 ` End of "discussion" (was Re: Ada used in General Aviation (GA) applications?) Bernd Specht
2004-05-13 15:14 ` Robert I. Eachus
2004-05-13 12:09 ` Ada used in General Aviation (GA) applications? Marin David Condic
2004-05-13 14:58 ` Martin Dowie
2004-05-13 20:37 ` Symbian OS (was: Re: Ada used in General Aviation (GA) applications?) Alexander E. Kopilovich
2004-05-11 11:41 ` Ada used in General Aviation (GA) applications? Marin David Condic
2004-05-11 17:28 ` Bernd Specht
2004-05-12 12:42 ` Marin David Condic
2004-05-13 8:00 ` Dmitry A. Kazakov
2004-05-12 10:01 ` Peter Amey [this message]
2004-05-12 12:50 ` Marin David Condic
2004-05-12 14:45 ` Georg Bauhaus
2004-05-13 7:43 ` Peter Amey
2004-05-13 12:17 ` Marin David Condic
2004-05-12 17:13 ` Mike Silva
2004-05-10 21:31 ` Ludovic Brenta
2004-05-11 11:29 ` Martin Dowie
2004-05-11 20:12 ` Martin Dowie
2004-05-11 14:29 ` Britt Snodgrass
2004-06-06 9:30 ` I R T
-- strict thread matches above, loose matches on Subject: below --
2004-05-12 9:06 Lionel.DRAGHI
2004-05-12 12:52 ` Marin David Condic
2004-05-12 17:58 ` Bernd Specht
2004-05-12 18:13 ` Ludovic Brenta
2004-05-12 18:28 ` Mark Lorenzen
2004-05-13 13:31 ` Mike Silva
2004-05-12 14:25 Lionel.DRAGHI
2004-05-13 7:57 Lionel.DRAGHI
2004-05-13 8:39 Lionel.DRAGHI
2004-05-14 11:44 Lionel.DRAGHI
2004-05-14 18:11 ` Martin Dowie
2004-05-16 18:53 ` Robert I. Eachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox