From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.50.85.115 with SMTP id g19mr16039757igz.0.1427752636146; Mon, 30 Mar 2015 14:57:16 -0700 (PDT) X-Received: by 10.140.16.229 with SMTP id 92mr531284qgb.37.1427752635994; Mon, 30 Mar 2015 14:57:15 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!h15no1953003igd.0!news-out.google.com!f74ni2qge.0!nntp.google.com!z60no751769qgd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 30 Mar 2015 14:57:15 -0700 (PDT) In-Reply-To: <00d45b3c-0cde-4208-88a9-c79ec8100408@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=81.243.140.142; posting-account=Bgy5LQkAAAD2FHrkQmchWhf6L1_zMQgh NNTP-Posting-Host: 81.243.140.142 References: <00d45b3c-0cde-4208-88a9-c79ec8100408@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <44729422-96ec-4483-970e-7681babc4239@googlegroups.com> Subject: Re: Ada / Automation fellows From: lgrphotography84@gmail.com Injection-Date: Mon, 30 Mar 2015 21:57:16 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Xref: news.eternal-september.org comp.lang.ada:25342 Date: 2015-03-30T14:57:15-07:00 List-Id: On Thursday, March 26, 2015 at 11:37:55 AM UTC+1, slos wrote: > Hello, >=20 > I am fond of Ada and I am in the automation field, hence my little projec= t "Ada for Automation" : > http://slo-ist.fr/ada4autom >=20 > I have recently discovered that it is listed here : > http://www.adaic.org/ada-resources/tools-libraries/ >=20 > Those are details but I'd prefer the name to be "Ada for Automation" rath= er than "Ada 4 Automation" and the introduction states that the site is in = French, which is true, though I have translated the documentation in Englis= h, which could be added : > http://slo-ist.fr/A4A/Documentation/A4A-Book-en.html >=20 > Anyway, I am proud to see it listed among those many great projects altho= ugh I do not know of anybody using and only one trying it... >=20 > Feeling alone, I have tried to see if any other fellows were interested i= n doing automation applications in Ada. >=20 > I have only found those guys but I have seen not much on their web site a= nd my message in the contact page got no reply : > http://adaautomation.com/web/ >=20 > Are they reading this list ? >=20 > I have also found this interesting paper : > http://www.ias.uni-stuttgart.de/lehre/praktika/industrialautomation/unter= lagen/02-ADA-en.pdf >=20 > I have written an email to the author but got no answer also. > Is he reading this list too ? >=20 > Anyone working in industrial automation field ? >=20 > Best Regards, > St=E9phane Hi - your email made me go back in time, i was an Ada programme manager in = the EC in the 80's when we tried to keep the industry going to compete with= the might of the DoD and its public procurement demands... We had quite a = few projects in automation and real time - SDL, GEC, Siemens, NPL were name= s I recall involved. There was a CUP book series @Ada Companion" series wit= h some parts devoted to this. However, I have not come across anyone in the= past 10 years really using Ada for run time environments, maybe for formal= methods or programme verification ... a guy called John Nissen in UK maybe= able to help you. Try and track him down, London I think.=20 Mike, Brussels