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=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,729bff287ce641cf X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-12-20 13:45:42 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: JeLlyFish.software@gmx.net (Vinzent Hoefler) Newsgroups: comp.lang.ada Subject: Re: A personal view of SigAda Date: 20 Dec 2002 13:45:42 -0800 Organization: http://groups.google.com/ Message-ID: <36f61440.0212201345.74a04ba3@posting.google.com> References: NNTP-Posting-Host: 12.161.103.180 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1040420742 11109 127.0.0.1 (20 Dec 2002 21:45:42 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 20 Dec 2002 21:45:42 GMT Xref: archiver1.google.com comp.lang.ada:32120 Date: 2002-12-20T21:45:42+00:00 List-Id: rod.chapman@praxis-cs.co.uk (Rod Chapman) wrote: Well, it was my first SIGAda and the reason I was there, were simply just private interests... but I'll try to comment a little bit. > Generally, a good SIGAda. Much credit to all the SIGAda > organising committee and program committee for such > a well-run event. Yes, this was my impression, too. > I also gave a full-day SPARK tutorial. Very tiring! Oh, I liked it. You went through damn fast (it *is* a large topic for one day), but I think I got most of the things... :) > The keynote from Robert Carey of Livermore Labs was amazing - they > are building a thing called the "National Ignition Facility" (NIF), > which is basically one of the world's biggest lasers. Oh yes, the figures looked very impressive... > Oh, and when the shot fires, the whole thing is supposed > to be synchronised to <20 _pico_seconds! Now that's what I call > hard real-time! I still wonder how they will achieve that, especially on a relatively large distributed system like this. I mean it basically requires more accuracy than the CPU clock alone has... > The keynote from Charles McKay was very good. Uuhm, yes. It was exciting. > Michael McEvilley did a good talk about the Common > Criteria, security stuff, and why the Ada community has something > to offer in the ComSec world (i.e. we know how to build really > reliable software!) Yes, I have the feeling that especially more and more security people get interested into Ada (if they aren't already, of course). Not just from this keynote, also by my own experience. > Papers > ------ > > Some good stuff. Some stuff I missed. Usual stuff from > the vendors. Two highlights for me were: Well, the paper about the Generic Genetic Algorithm was interesting, too. More in terms of teaching Software Engineering at University and experience of the students with Ada than in the usual terms of the mission- and safety critical area. All in all, I enjoyed the SIGAda2002 conference. Lots of interesting people. :) Ok... I guess there could be a lot more to say, but I don't want to bother the people in c.l.a. with my very personal view(s) too much. Vinzent.