Re: Ada / Automation fellows

[lgrphotography84@gmail.com]

On Thursday, March 26, 2015 at 11:37:55 AM UTC+1, slos wrote:
> Hello,
> 
> I am fond of Ada and I am in the automation field, hence my little project "Ada for Automation" :
> http://slo-ist.fr/ada4autom
> 
> I have recently discovered that it is listed here :
> http://www.adaic.org/ada-resources/tools-libraries/
> 
> Those are details but I'd prefer the name to be "Ada for Automation" rather than "Ada 4 Automation" and the introduction states that the site is in French, which is true, though I have translated the documentation in English, which could be added :
> http://slo-ist.fr/A4A/Documentation/A4A-Book-en.html
> 
> Anyway, I am proud to see it listed among those many great projects although I do not know of anybody using and only one trying it...
> 
> Feeling alone, I have tried to see if any other fellows were interested in doing automation applications in Ada.
> 
> I have only found those guys but I have seen not much on their web site and my message in the contact page got no reply :
> http://adaautomation.com/web/
> 
> Are they reading this list ?
> 
> I have also found this interesting paper :
> http://www.ias.uni-stuttgart.de/lehre/praktika/industrialautomation/unterlagen/02-ADA-en.pdf
> 
> I have written an email to the author but got no answer also.
> Is he reading this list too ?
> 
> Anyone working in industrial automation field ?
> 
> Best Regards,
> Stéphane

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 names I recall involved. There was a CUP book series @Ada Companion" series with 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. 
Mike, Brussels