ADA Volume 31 USER Number 4 December 2010 JOURNAL Contents Page Editorial Policy for Ada User Journal 222 Editorial 223 Quarterly News Digest 225 Conference Calendar 250 Forthcoming Events 257 Student Programming Contest “The Ada Way” 260 Overview of the 14th International Real-Time Ada Workshop A. Burns, A. J. Wellings “Multiprocessor Systems Session Summary” 263 T. Vardanega, M. González-Harbour, L. M. Pinho “Session Summary: Language and Distribution Issues” 266 S. Michell, J. Real “Conclusions of the 14th International Real-Time Ada Workshop” 273 A. Burns “Progress Report from the 14th International Real-Time Ada Workshop – IRTAW14” 275 Special Contribution A. Burns, J. L. Tokar (Eds.) “Ada and the Software Vulnerabilities Project: the SPARK Annex” 278 Ada Gems 291 Ada-Europe Associate Members (National Ada Organizations) 296 Ada-Europe 2010 Sponsors Inside Back Cover Ada User Journal Volume 31, Number 4, December 2010 222 Editorial Policy for Ada User Journal Publication Original Papers Commentaries Ada User Journal — The Journal for Manuscripts should be submitted in We publish commentaries on Ada and the international Ada Community — is accordance with the submission software engineering topics. These published by Ada-Europe. It appears guidelines (below). may represent the views either of four times a year, on the last days of individuals or of organisations. Such All original technical contributions are March, June, September and articles can be of any length – submitted to refereeing by at least two December. Copy date is the last day of inclusion is at the discretion of the people. Names of referees will be kept the month of publication. Editor. confidential, but their comments will Opinions expressed within the Ada be relayed to the authors at the Aims User Journal do not necessarily discretion of the Editor. Ada User Journal aims to inform represent the views of the Editor, Ada- readers of developments in the Ada The first named author will receive a Europe or its directors. programming language and its use, complimentary copy of the issue of the general Ada-related software Journal in which their paper appears. Announcements and Reports engineering issues and Ada-related We are happy to publicise and report By submitting a manuscript, authors activities in Europe and other parts of on events that may be of interest to our grant Ada-Europe an unlimited license the world. The language of the journal readers. to publish (and, if appropriate, is English. republish) it, if and when the article is Reviews Although the title of the Journal refers accepted for publication. We do not to the Ada language, any related topics require that authors assign copyright to Inclusion of any review in the Journal are welcome. In particular papers in the Journal. is at the discretion of the Editor. any of the areas related to reliable A reviewer will be selected by the Unless the authors state explicitly software technologies. Editor to review any book or other otherwise, submission of an article is publication sent to us. We are also taken to imply that it represents The Journal publishes the following prepared to print reviews submitted original, unpublished work, not under types of material: from elsewhere at the discretion of the consideration for publication else- Editor. • Refereed original articles on where. technical matters concerning Ada Submission Guidelines and related topics. News and Product Announcements All material for publication should be Ada User Journal is one of the ways in • News and miscellany of interest to sent to the Editor, preferably in which people find out what is going on the Ada community. electronic format. The Editor will only in the Ada community. Since not all of accept typed manuscripts by prior • Reprints of articles published our readers have access to resources arrangement. elsewhere that deserve a wider such as the World Wide Web and Prospective authors are encouraged to audience. Usenet, or have enough time to search contact the Editor by email to through the information that can be determine the best format for • Commentaries on matters relating found in those resources, we reprint or submission. Contact details can be to Ada and software engineering. report on items that may be of interest found near the front of each edition. to them. • Announcements and reports of Example papers conforming to conferences and workshops. formatting requirements as well as Reprinted Articles some word processor templates are • Reviews of publications in the While original material is our first available from the editor. There is no field of software engineering. priority, we are willing to reprint (with limitation on the length of papers, the permission of the copyright holder) though a paper longer than 10,000 • Announcements regarding material previously submitted words would be regarded as standards concerning Ada. elsewhere if it is appropriate to give it exceptional. a wider audience. This includes papers Further details on our approach to published in North America that are these are given below. not easily available in Europe. We have a reciprocal approach in granting permission for other publications to reprint papers originally published in Ada User Journal. Volume 31, Number 4, December 2010 Ada User Journal 223 Editorial The majority of the content of this last issue of 2010 is the result of the work of two groups of Ada practitioners which devote part of their time to the development and promotion of the Ada language within two of the topics where Ada is without doubts a strong technology: real-time systems and reliable software. In the first part of the issue, we present an overview of the 14th International Real-Time Ada Workshop (IRTAW), which was held approximately one year ago, in Portovenere, Italy. This overview provides not only the workshop’s session summaries, allowing readers to get the necessary insight in the fruitful discussions and results of the workshop, but also a post workshop report, by Alan Burns, of the University of York, UK, presenting how the workshop proposals are going through the Ada 2012 standardization process (since many times we wonder what happens to the Ada Issues that the workshop produces). IRTAW has been and still is a major forum for Ada evolution (and not only in the real-time arena); it is therefore with happiness that in the issue we also have the announcement of the next edition of the workshop, which will take place in September 2011, in the mountains nearby Santander, Spain. In the second part o the issue, we conclude the publication of the results of the work of the Software Vulnerabilities group, which produced the Ada annex (published in the September issue of the Ada User Journal) to the ISO Technical Report on “Avoiding Programming Language Vulnerabilities through Language Selection and Use” (ISO/IEC PDTR 24772.2). To finalize the work, in this issue we publish the annex concerning SPARK. I would also like to point out to our readers the forthcoming events section, where, before the IRTAW call for papers, we already have preliminary information concerning “The Ada Connection”, an event that combines the Ada-Europe 2011 conference and the Ada-Conference UK 2011, taking place in Edinburgh, Scotland, next June 20-24. In the Ada Gems section, the issue publishes the series of gems concerning the Distributed Systems Annex, by Thomas Quinot, of AdaCore, France. Last, but definitely not least, readers will find the wealthy of information in the usual news digest and calendar sections. In a final note, this last 2010 issue of the Ada User Journal should be reaching you already in 2011. Nevertheless, hopefully there was no substantial delay (except for the normal printing and distribution time). We are making our best efforts in putting the AUJ back in its scheduled publication date, and I would like to thank the Editorial Team of the Journal – Jorge Real (Deputy Editor), Dirk Craeynest (Calendar and Events), and Marco Panunzio (News Digest) – for all their volunteer efforts in achieving this. Our best wishes for 2011, Luís Miguel Pinho Porto December 2010 Email: lmp@isep.ipp.pt Ada User Journal Volume 31, Number 4, December 2010 225 Quarterly News Digest Marco Panunzio University of Padua. Email: panunzio@math.unipd.it twitter-indeti.ca-facebook-RSS feeds, and Freenode IRC #ada channel and look for Contents more! ThomasLocke. If you speak (or at least understand ;-) ) The meeting is of course free. Ada-related Organizations 225 French, please visit us at: Ada-related Events 225 [contact Ada-DK at info@ada-dk.org Ada Semantic Interface Specification http://www.ada-france.fr/ —mp] (ASIS) 227 From: Georg Bauhaus Ada-related Events Ada-related Resources 228 Date: Wed, 03 Nov 2010 16:41:54 +0100 Ada-related Tools 229 Subject: Re: New site for Ada-France [To give an idea about the many Ada- Ada-related Products 231 Newsgroups: comp.lang.ada related events organized by local groups, Ada and GNU/Linux 234 some information is included here. If you Ada Inside 235 […] are organizing such an event feel free to Ada in Context 236 http://www.ada-france.org/ inform us as soon as possible. If you attended one please consider writing a I guess? Otherwise, this would have been small report for the Ada User Journal. Ada-related a literally cosmetic change. :-) —mp] Organizations Les voilà les accents! Good to see the correct characters. Workshop on Object- Oriented technologies and Video and PDF of From: J-P. Rosen Date: Thu, 04 Nov 2010 11:50:24 +0100 Ada in High-Integrity presentations at the Subject: Re: New site for Ada-France Systems Ada-Europe 2010 conference Newsgroups: comp.lang.ada […] From: J-P. Rosen From: Thomas Løcke Date: Tue, 07 Sep 2010 16:54:41 +0200 Date: Tue, 19 Oct 2010 Ooops, yes of course, sorry for the Subject: Ann: Workshop on OO and Ada in Subject: Ada-Europe 2010 - the videos confusion. High Integrity Systems URL: http://ada-dk.org/? First open meeting of "Ada Newsgroups: comp.lang.ada page=news&news_id=194 in Denmark" There will be a workshop during SIGAda, Yesterday Jorge Real (Ada-Europe whose goal is to define a set of Ada General Secretary) informed me that the Ada-Europe 2010 conference talks are From: Thomas Løcke restrictions that would make using Object now online as PDF's and/or video. Date: Thu, 04 Nov 2010 Oriented technologies with Ada more Subject: An open Ada-DK meeting! applicable to high integrity systems. The To that I only have one thing to say: URL: http://ada-dk.org/ workshop could lead to the definition of a Great! ?page=news&news_id=204 profile and to a document explaining and No less than 33 talks are available for December 7th, 2010 marks the day when justifying the profile, following the download, so if you're interested in Ada, example of the Ravenscar profile for the the first open Ada-DK meeting is being then the odds are good for finding concurrency aspects. held. something of interest to you. All those interested are invited: The "open" part means that the meeting is Now if you'll excuse me, I'll go pour not a member only affair, but that - to attend myself a cup of tea, grab a comfortable anybody interested in Ada is welcome, so - and/or send suggestions for possible chair and start watching some Ada talks. feel free to invite whomever you might restrictions (with justification) If all goes well, I'll come out of it a bit believe could be interested in spending an wiser. to rosen@adalog.fr evening talking about Ada. A big thank you to Ada-Europe for The workshop will start with a summary We do not yet have an agenda for the making all this material available, and to of received proposals, followed by meeting, simply because we don't know the authors for permitting it. discussion and (hopefully!) agreement on how many are going to attend. It might be the content of the profile. [you can find the material at a smashing hit, a massive failure or http://www.disca.upv.es/jorge/ae2010/ something in between. Time will tell. If Those who are interested in the topic but outcome.html —mp] it's not a complete failure, I'm certain are not aware of all the issues are invited we'll come up with an agenda for the next to attend the tutorial on the same topic New website for Ada-France meeting. during the conference. The plan is to have one open Ada-DK More info on From: J-P. Rosen meeting each month, on the first Tuesday http://www.sigada.org/conf/sigada2010/ Date: Wed, 03 Nov 2010 16:16:58 +0100 of the month. Subject: New site for Ada-France Please pass the word around, and see you Newsgroups: comp.lang.ada If you're interested in participating, feel in Fairfax! free to send us an email, and we'll inform Ada-France is pleased to announce the From: J-P. Rosen you of the when and where. Or join the total revamping of its website, with up-to- Date: Wed, 08 Sep 2010 07:28:01 +0200 date information, new look-and-fill, Ada User Journal Volume 31, Number 4, December 2010 226 Ada-related Events Subject: Re: Ann: Workshop on OO and Candidate submissions will be judged on events giving visibility to worthy projects Ada in High Integrity Systems a number of evaluation criteria including: and languages. Ada-Belgium organized Newsgroups: comp.lang.ada two very successful series of - Coverage of requirements. presentations at FOSDEM 2006[2] and > […] Hope there will be some on-line - Syntactic, semantic, programmatic and FOSDEM 2009[3], earning a good publications after this meeting (just a design correctness. reputation for reliability and quality, and wish). - Clarity and readability of the code. is now seeking speakers for FOSDEM > […] 2011. Two speakers have already - Quality of design. This is definitely the intent. volunteered. - Ingenuity and cuteness of the solution. From: J-P. Rosen [1] http://www.fosdem.org Date: Fri, 15 Oct 2010 12:25:35 +0200 - Time and space efficiency of the [2] http://archive.fosdem.org/2006/2006/ Subject: Material for the HR-OO workshop solution. index/dev_room_ada.html at SIGAda The winning submission will win a [3] http://people.cs.kuleuven.be/ Newsgroups: comp.lang.ada framed award, one free registration and ~dirk.craeynest/ada- I have made a page in preparation for the up to 3 reduced student fees for belgium/events/09/090207-fosdem.html High-Reliability Object-Oriented Ada representatives of the winning team to workshop at SIGAda: attend to the Ada-Europe 2011 For several years now, Ada-Belgium has Conference[3], accommodation and been running a dedicated mailing list for http://www.adalog.fr/hr-oo-workshop/ airfare for the team representatives, an the coordination of Ada at FOSDEM [4]. If you plan to attend, there is no exhibition slot in the conference program, If you would like to be a speaker or just requirement to send a formal position and visibility in electronic and printed attend the event, please subscribe to this paper, but it would be nice if you could media. mailing list and peruse the archives; send your views in advance as a proposal, traffic is low and the signal-to-noise ratio This year's competition is sponsored by as explained in the above page. is extremely high :) We can discuss Ada-Europe, AdaCore, and Atego. accommodation and catering issues as If you don't plan to attend, you are also To enter, and for the full specification and well as technical ones on this list. A welcome to send proposals and good details of software requirements, please proposal should consist of a 10-line ideas! go to the official web site of "The Ada summary of the presentation, a 10-line See you in Fairfax. Way", www.ada-europe.org/AdaWay. biography of the speaker and an optional small picture (in JPEG or PNG) of the About Ada-Europe Ada-Europe Programming speaker. Contest "The Ada Way" Ada-Europe is the international non-profit The deadline for the submission of organization that promotes the knowledge proposals for a Developers' Room at and use of the Ada programming From: Dirk Craeynest FOSDEM is ten (10) days from now on language in academia, research and October 16, 2010 [5]. If you would like to industry in Europe. Ada-Europe has Date: Mon, 27 Sep 2010 20:22:27 +0000 be a speaker, please react now on the member organizations all over the UTC adafosdem list so we can arrange for a continent, in Belgium, Denmark, France, Subject: Press Release - Ada-Europe Kicks joint proposal for all Adaists. Germany, Spain, Sweden, Switzerland, as Off First Programming Contest well as individual members in many other [4] http://listserv.cc.kuleuven.be/ Newsgroups: comp.lang.ada, countries. archives/adafosdem.html fr.comp.lang.ada,comp.lang.misc A PDF version of this press release is [5] http://www.fosdem.org/2011/ FOR IMMEDIATE RELEASE available at www.ada-europe.org. call_for_mainspeakers_devrooms Ada-Europe Kicks Off its First Annual Press contact From: Dirk Craeynest Student Programming Contest "The Ada Way" Dirk Craeynest, Ada-Europe Vice- Date: Wed, 27 Oct 2010 23:44 CEST President, Brussels, Belgium (September 28, 2010) - Subject: Again NO Ada at FOSDEM (was: Dirk.Craeynest@cs.kuleuven.be Ada-Europe[1], the international Call for speakers for Ada at FOSDEM organization that promotes the knowledge [1] www.ada-europe.org 2011) and use of the Ada programming [2] www.ada-europe.org/AdaWay Mailing list: ada-belgium-info@ language in European academia, research cs.kuleuven.be and industry, is pleased to announce "The [3] www.ada-europe.org/conference2011 Dear Ada-Belgium friend, Ada Way"[2]. This annual student Ada at FOSDEM 2011 programming contest aims to attract This is a short status report on what has students and educators to Ada in a form happened since we posted the appended that is both fun and instructive. Entries are From: Ludovic Brenta Based on the feedback we received, we and judging takes place in May next year. Date: Wed, 6 Oct 2010 02:28:49 -0700 PDT prepared a detailed proposal for an Ada Subject: Call for speakers for Ada at In line with the start of the football Developer Room during both days of FOSDEM 2011; deadline on season, this year's challenge is to build a FOSDEM 2011 next February. 2010-10-16! software simulator of a football match. Newsgroups: comp.lang.ada Our proposal, including the full list of The software system, programmed in The next FOSDEM[1], the Free and presentations and speakers, is available on Ada, will need to support a number of Open-Source European the Ada at FOSDEM 2011 web-page at gaming and football features including speed, tactical skills and player fatigue. Developers'Meeting, will take place on http://www.cs.kuleuven.be/~dirk/ada- Saturday 5 and Sunday 6 February 2011 belgium/events/11/110205-fosdem.html The submitted code will include a in Brussels, Belgium. The event is software core, implementing the logic of entirely free; speakers and attendees alike Unfortunately, earlier today Valentine the simulation, as well as read-write are unpaid but enthusiastic volunteers. wrote to the AdaFOSDEM mailing list: graphical panels for participating football The audience consists mostly of fellow "Hi all team managers. developers. FOSDEM is one of the major Volume 31, Number 4, December 2010 Ada User Journal Ada Semantic Interface Specification (ASIS) 227 bad news … Shouldn't be Asis.Text.Character_ was wondering about this type definition. they did not send a mail to say our Position be defined so that is can be used This leads into trouble when I try to build request was rejected… as an index in Asis.Program_Text? This it with Gela-ASIS, because with Gela- but as far as i can read … would imply Character_Position would ASIS, Character_Position and be a derived from Standard.Positive, and Line_Number are not subtypes (direct or :/ due to the way Character_Position is indirect) of Natural. http://www.fosdem.org/2011/news/ derived, as explained above, this would As the packages specifications seems to accepted-devrooms" imply the root implementation defined be raw copy of what you get from the link The list of accepted DevRooms does not type, should be instead, at least derived above, I suppose TenDRA is right. include Ada, so after very successful and from Positive or an ancestor type of well attended Ada DevRooms in 2006 and Positive. And you are right too, the accessors to be used to get text representation are indeed 2009, we once more didn't make it for Which is wrong? TenDRA with Gela- the Asis.Text.XTZ_Image. So there is no 2011. ASIS or the ASIS ISO reference (which I need for Character_Position to be a Thanks again, everybody involved with do not own, so I cannot check). subtype of the index type of the proposal this year. Comments and lightings welcome from Program_Text. So the ASIS specification Maybe we should reconsider and start any one owning a copy of the ASIS is not wrong either. looking for another event than FOSDEM reference, so that I can figure if I should By the way, another question: do you for next year… primarily patch Gela-ASIS or know a link to a working draft version of AdaControl. Valentine, Ludovic, Dirk ASIS 2005 ? From: Vadim Godunko The FOSDEM Team of Ada-Belgium (I know this can be inferred from ASIS Issues list, just that this would be Date: Tue, 9 Nov 2010 06:18:16 -0800 PST cleaner… but I don't bother if there is Ada Semantic Interface Subject: Re: Asis.Text.Character_Position : none) inconsistency ? Specification (ASIS) Newsgroups: comp.lang.ada […] […] Here are official ASIS packages From: Simon Wright On inconsistencies in ASIS specifications: type definitions and ASIS Date: Sun, 07 Nov 2010 19:20:40 +0000 http://www.sigada.org/wg/asiswg/ versions specs/asis20s.txt Subject: Re: Asis.Text.Character_Position : inconsistency ? From: Simon Wright Newsgroups: comp.lang.ada From: Yannick Duchêne > the source I am dealing with makes the Date: Sun, 07 Nov 2010 12:34:56 +0000 Date: Sun, 07 Nov 2010 09:04:11 +0100 assumption that Character_Position is a Subject: Re: Asis.Text.Character_Position : Subject: Asis.Text.Character_Position : subtype of Natural, and that is why I inconsistency ? inconsistency ? was wondering about this type Newsgroups: comp.lang.ada Newsgroups: comp.lang.ada definition. […] […] GNAT ASIS is pretty clear (at least Hello Ada writers, I think the source must be making from the copyright notice) that most of unwarranted assumptions. I was trying to patch AdaControl the public part of package specs is from (http://www.adalog.fr/adacontrol2.htm ) the standard. From: Yannick Duchêne so that it can build with Gela-ASIS. This ASIS.Text is about fragments of code -- is an interesting process of little Date: Sun, 07 Nov 2010 21:44:04 +0100 the part of the source text corresponding refactoring, as Gela-ASIS is clearly Subject: Re: Asis.Text.Character_Position : to an element -- in type Span. designed so that it make no reference at inconsistency ? Line_Number is the line in the source all to a specific compiler implementation Newsgroups: comp.lang.ada text, Character_Position is the position in (it do so defining an Implementation_ the line. […] But the compiler did not reject Defined_Type from which other discrete anything ;) So the responsibility must be types are derived). After a first attempt I I suspect you're supposed to use shared with the underlying ASIS library restarted again and felt something was Element_Image, Line_Image etc? too (remember, Ada is strongly typed, if wrong as I could not get something From: Yannick Duchêne there was no issue with ASIS-for-GNAT coherent about types. too, this could not even compile with this Prior note: I do not own a copy of the ISO Date: Sun, 07 Nov 2010 20:03:41 +0100 one) ASIS reference, so I cannot tell who of Subject: Re: Asis.Text.Character_Position : From: J-P. Rosen TenDRA or ISO is right or wrong. inconsistency ? Date: Sun, 07 Nov 2010 20:35:43 +0100 Newsgroups: comp.lang.ada What disturbs me, if I believe (as I feel it Subject: Re: Asis.Text.Character_Position : is) that Gela-ASIS heavily stick on the […] Gela-ASIS seems too, as the package inconsistency ? ASIS standard: Asis.Text defines two specification they used is a raw copy of Newsgroups: comp.lang.ada types, Character_Position and what you can get from there: […] I don't think there is a public version Line_Number. Character_Position is http://www.sigada.org/wg/asiswg/ of the current state of the ASIS manual derived from ASIS_Natural, which in intro.html (Randy will correct me if I'm wrong). turn is derived from ASIS_Integer, which, the latter, is implementation > […] I suspect you're supposed to use Note that there will be no ASIS 2005. defined. Element_Image, Line_Image etc? Given the current lagging of ASIS w.r.t. Ada, ISO took the decision to skip ASIS Also, ASIS defines a type … and Comment_Image and 2005 and to issue ASIS 2012, Asis.Program_Text, which is not Non_Comment_Image and approximately at the same time, and then implementation defined, and which is Debug_Image, Yes. keep both in sync. explicitly an unconstrained subtype of the But the source I am dealing with makes Ada's type Standard.Wide_String. the assumption that Character_Position is a subtype of Natural, and that is why I Ada User Journal Volume 31, Number 4, December 2010 228 Ada-related Resources From: Randy Brukardt SPARK libraries, the introduction of the […] SPARKbridge feature. If you go to sourceforge.net and search Date: Fri, 12 Nov 2010 13:35:16 -0600 [webinar to be held on December 7, 2010 for 'ada' you'll get 138 results -- OK, the Subject: Re: Asis.Text.Character_Position : - 5:00pm CET —mp] first isn't appropriate, but the rest of the inconsistency ? first page of results looks relevant, I didn't Newsgroups: comp.lang.ada Ada code examples for check further. […] That's right. The only way to get educational purposes From: Georg Bauhaus member of the ARG. We could use some From: R Tyler Croy Date: Sat, 13 Nov 2010 14:18:00 +0100 additional ASIS expertise, so that's not Date: 12 Nov 2010 20:25:16 GMT Subject: Re: Finding code to read for out of the question. Subject: Finding code to read for educational purposes The SIs themselves are publicly available educational purposes Newsgroups: comp.lang.ada on www.ada-auth.org, so you can find out Newsgroups: comp.lang.ada […] about individual changes that way. I've commented on a GitHub support The GNAT distribution always includes ticket to ask them to support/index Ada an examples directory. code in their "Explore" functionality, but Ada and Education I'm wondering if there are any other good I think some programs in there will be sites to find collections of well about a few pages in length. Webinar on AdaCore's commented, well structured Ada code to From: Ed Falis GPS 5.0 help me learn Ada properly? Date: Sat, 13 Nov 2010 07:11:23 -0800 PST Somewhere between simple one page Subject: Re: Finding code to read for From: Jamie Ayre tutorials and giant programs would be educational purposes Date: Thu, 28 Oct 2010 helpful. Newsgroups: comp.lang.ada Subject: GPS 5.0 webinar Source: LinkedIn Groups - Ada From: Jeffrey Carter […] Programming Language Date: Fri, 12 Nov 2010 14:22:56 -0700 You might find the "Ada Gems" page at Subject: Re: Finding code to read for The GNAT Pro InSight webinar series AdaCore's site interesting: educational purposes continues with a presentation and demo of Newsgroups: comp.lang.ada http://www.adacore.com/category/ the new features introduced in GPS 5.0. developers-center/gems/ […] This release sees many enhancements to These are a set of small tutorials on the GPS IDE technology including You can find plenty of examples of Ada various topics having to do with Ada - improved support for C/C++ in addition code at http://www.adaworld.com/ and there are 90 some-odd ones there. Also, if to its already comprehensive support for http://www.adaic.org/. Many of them are you go to libre.adacore.com, sources are the Ada language, more powerful source libraries, so they're reasonably easy to available for all of the downloadable tools editing, improved ease of use, better tool understand. and components. support (GNATstack, CodePeer), and The Ada-specific search at AdaIC.org From: Marc A. Criley enhanced documentation generation. might also be useful. Date: Sun, 14 Nov 2010 18:10:00 +0100 This webinar is open to all. If you would You can find both the PragmAda Subject: Re: Finding code to read for like to join us, please visit: Reusable Components and the educational purposes http://www.adacore.com/home/products/ Mine_Detector game (not giant, but a Newsgroups: comp.lang.ada gnatpro/webinars/ complete program) at The Ada sub-reddit [webinar to be held on December 14, http://pragmada.x10hosting.com/ (http://www.reddit.com/r/ada) has links to 2010 - 5:00pm CET —mp] From: Thomas Løcke a variety of Ada related information, including Ada software projects, nearly Date: Sat, 13 Nov 2010 11:14:32 +0100 Webinar on SPARK Pro 9.1 all of which provide source code. Subject: Re: Finding code to read for educational purposes From: AdaCore Webinar webpage Newsgroups: comp.lang.ada Ada-related Resources Date: Fri, 12 Nov 2010 [fetched] […] Subject: Introducing SPARK 9.1 DSA Messenger URL: http://www.adacore.com/home/ I personally enjoy the Ada examples at products/gnatpro/webinars/ http://rosettacode.org From: Vadim Godunko The InSight webinar series continues with http://rosettacode.org/wiki/Category:Ada a presentation by Angela Wallenburg on Some links from the Ada-DK website: Date: Tue, 26 Oct 2010 15:02:07 -0700 the new features of the AdaCore/Altran PDT Praxis joint offering – SPARK Pro. http://ada-dk.org/?page=basics Subject: Announce: DSA Messenger SPARK Pro combines the proven SPARK http://wiki.ada-dk.org example Ada language and supporting toolset with http://wiki.ada-dk.org/index.php/ Newsgroups: comp.lang.ada AdaCore’s GNAT Programming Studio Ada_Resources Hello, (GPS) integrated development environment, backed by unrivalled Another option is keeping an eye on I am pleased to announce new example of support systems. http://planet.ada.cx for various Ada use QtAda in distributed application - projects. Download, unpack, enjoy! DSA Messenger. It is simple multiuser SPARK Pro 9.1 is a major release From: Simon Wright chat application, which uses DSA including many new features – the use of application personality of PolyORB to full range array subtypes, the relaxation of Date: Sat, 13 Nov 2010 12:27:49 +0000 split Ada application into several aliasing rules for record fields, the ability Subject: Re: Finding code to read for partitions and QtAda to implement client's to specify VC generation on a per-file educational purposes GUI. basis in metafiles, the introduction of new Newsgroups: comp.lang.ada Volume 31, Number 4, December 2010 Ada User Journal Ada-related Tools 229 You can download source code by 3. Intuitionistic fuzzy sets with the [see also "AVR-Ada 1.1" in AUJ 31-1 following this link: operations on them; (Mar 2010), p.9 —mp] http://adaforge.qtada.com/cgi-bin/ 4. Fuzzy logic based on the intuitionistic Arduino Ethernet Shield tracker.fcgi/qtada4/downloader/ fuzzy sets and the possibility theory; support for AVR-Ada download/file/1 5. Fuzzy numbers both integer and and found important additional floating-point ones with conventional From: Tero Koskinen information arithmetical operations; http://adaforge.qtada.com/cgi-bin/ 6. Dimensioned fuzzy numbers; Date: Wed, 29 Sep 2010 17:53 tracker.fcgi/qtada4/wiki/Examples/ Subject: Arduino Ethernet Shield support 7. Fuzzy linguistic variables and sets of DSAMessenger for AVR-Ada linguistic variables with operations on URL: http://tero.stronglytyped.org/ them; Ada-related Tools 8. Dimensioned fuzzy linguistic I finally got my code working with Arduino Ethernet Shield and put it variables and sets; available at Simple components for 9. String-oriented I/O is supported; http://bitbucket.org/tkoskine/ Ada v3.10 10. GUI interface based on GTK+ (The arduino-ethernet/. GIMP Toolkit) with fuzzy set editors, From: Dmitry A. Kazakov Only receiving data via TCP client truth values widgets and renderers, connections is supported, but I plan to linguistic variables sets editors. Date: Sat, 30 Oct 2010 21:45:32 +0200 improve the library as my time permits. Subject: ANN: Simple components for Ada http://www.dmitry-kazakov.de/ada/ [see also http://www.arduino.cc/en/Main/ v3.10 fuzzy.htm ArduinoEthernetShield —mp] Newsgroups: comp.lang.ada Changes to the version 5.4. The library provides implementations of - A fuzzy set renderer property was added Mathpaqs - November 2010 smart pointers, directed graphs, sets, to prefix the rendered value with a maps, stacks, tables, string editing, string; From: Gautier de Montmollin unbounded arrays, expression analyzers, - Fuzzy set renderer commits changes lock-free data structures, synchronization Date: Wed, 10 Nov 2010 13:11:45 -0800 when Enter is pressed while no drop primitives (events, race condition free PST down has been popped up; pulse events, arrays of events, reentrant Subject: Mathpaqs release 10-Nov-2010 mutexes, deadlock-free arrays of - Procedure Get added to Newsgroups: comp.lang.ada mutexes), pseudo-random non-repeating Gtk.Generic_Fuzzy_Linguistic_Set_Me Hello, numbers, symmetric encoding and asure_Tree_View and There is a new release of mathpaqs, a set decoding, IEEE 754 representations Gtk.Generic_Fuzzy_Linguistic_Set_Me of various mathematical packages in Ada support. It grew out of needs and does not asure_Editor to get dimensioned set of including algebra, finite elements, random pretend to be universal. Tables linguistic variables as a dimensionless variables, probability dependency models, management and strings editing are set and scale; unlimited integers. described in separate documents see - Fuzzy.Stream_IO provides conversions Tables and Strings edit. The library is In this release, the main change is a bug in to stream elements arrays; kept conform to both Ada 95 and Ada the Gaussian copula simulation which has 2005 language standards. - Minor bug fixes in been fixed. Fuzzy.Abstract_Edit.Named. http://www.dmitry-kazakov.de/ada/ http://sf.net/projects/mathpaqs/ components.htm [see also "Fuzzy Sets for Ada v5.4" in AUJ 30-3 (Sep 2009), p.142 —mp] Ada Server Faces The version 3.10 extends the package Object.Handle.Generic_Set and provides AVR-Ada 1.1.0 port with From: Stephane Carrez some bug fixes. AVR-GCC 4.3.2 for Date: Thu, 11 Nov 2010 23:21 +0100 [see also "Simple Components for Ada OpenBSD Subject: Ada Servlet Example v3.9" in AUJ 31-3 (Sep 2010), p.156 URL: http://blog.vacs.fr/index.php?post/ —mp] 2010/11/11/Ada-Servlet-Example From: Tero Koskinen Fuzzy sets for Ada v5.5 To write a web application, Java Date: Wed, 1 Sep 2010 04:00 developers can use the servlet API. Subject: AVR-Ada 1.1.0 port with AVR-GCC From: Dmitry A. Kazakov The servlet technology, created around 4.3.2 for OpenBSD 1997, is a simple and powerful framework URL: http://tero.stronglytyped.org/ Date: Sun, 31 Oct 2010 10:09:22 +0100 on top of which many web applications Subject: ANN: Fuzzy sets for Ada v5.5 I updated my AVR-Ada port to version and higher web frameworks have been Newsgroups: comp.lang.ada 1.1.0. It consists of three parts: created. The current version includes distributions - AVR-GCC 4.3.2 with Ada support - This article shows how to write the same of string edit, interval arithmetic and http://bitbucket.org/tkoskine/avr-gcc kind of web application in Ada. simple components packages. It provides - AVR-Ada 1.1.0 runtime files - Ada Servlet Framework implementations of: http://bitbucket.org/tkoskine/avr-ada-rts The Ada Servlet framework is provided 1. Confidence factors with the operations - AVR-Ada 1.1.0 library files (AVR.* by Ada Server Faces. It is an adaptation not, and, or, xor, +, *; packages) - http://bitbucket.org/ and implementation of the JSR 315 (Java 2. Classical fuzzy sets with the set- tkoskine/avr-ada-lib Servlet Specification) for the Ada 05 theoretic operations and the operations For now, only Arduino (atmega328p) is language. of the possibility theory; supported in avr-ada-lib package. The Ada API is very close to the Java API as it provides the Servlet, Filter, Request, Ada User Journal Volume 31, Number 4, December 2010 230 Ada-related Tools Response and Session types with quite the New in QtAda 3.1.0: I do not use Ada myself so I can't really same methods. It should be quite easy for say more. This wrapper should do the job - support for QtOpenGL module someone who is familiar with Java if you do use Ada. servlets to write an Ada servlet. - support for QDir, QFileInfo, Thanks a lot to Reto Buerki, the author of QProcessEnvironment, QSettings, QUrl The Ada Servlet implementation uses the the Ada wrapper, for writing the sample classes of QtCore module Ada Web Server as a web server. In the code for me. future other other web servers such as - support for Apache or Lighthttpd could be used. QAbstractTextDocumentLayout, P2Ada QColorDialog, QGraphicsObject, [download the sources of the project, QGraphicsSimpleTextItem, From: Gautier de Montmollin available under the Apache License 2.0, at QGraphicsTextItem, QImage, http://code.google.com/p/ada-asf/ —mp] QImageReader, QImageWriter, Date: Mon, 6 Sep 2010 14:34:58 -0700 PDT Ada binding for the shapelib QPlainTextDocumentLayout, QRgb Subject: ANN: P2Ada August 2010 classes of QtGui module Newsgroups: comp.lang.ada library - support for additional operations of Hello. classes of QtCore and QtGui modules From: Ian Clifton Source codes and now binaries of P2Ada - support for mixed GtkAda/QtAda for Windows and Mac PPC / Intel are Date: Fri, 01 Oct 2010 21:29:49 +0100 applications on X11 platform available on Source Forge web (Aug- Subject: Ada shapelib binding? 2010): - bug fixes and performance speedups Newsgroups: comp.lang.ada http://sourceforge.net/projects/p2ada/files/ [see also "QtAda 3.0 and 2.2" in AUJ Has anyone got an Ada binding to the 30-3 (Sep 2009), p.145 —mp] P2Ada is a set of helpful tools used to shapelib library for ESRI shapefiles for translate Pascal source code in Ada source geographic data? Ada bindings for cURL code. http://en.wikipedia.org/wiki/Shapefile P2Ada includes : From: Tero Koskinen or any other way of reading shapefiles - aflex lexer from Ada. I probably only want to read Date: Wed, 13 Oct 2010 19:23 polygons. I could bite the bullet and - ayacc parser Subject: Ada bindings for cURL cobble together some partial thin routines, URL: http://tero.stronglytyped.org/ - NewP2Ada translator for ISO standards I as just wondering if anyone has anything better already. […] I put my Ada bindings to libcurl available - ObjP2Ada translator for Delphi and FPC at http://hg.stronglytyped.org/curl-ada/. NewP2Ada translator is well known and From: Tom Moran Date: Fri, 1 Oct 2010 21:47:59 +0000 UTC At the moment, they are pretty simple and stable. Subject: Re: Ada shapelib binding? contain only a small subset of libcurl, but ObjP2Ada translator is new with a very Newsgroups: comp.lang.ada they allow me to fetch data over http/https preliminary release. and that is good enough for my current […] Feel free to send feedback on web site: purposes. I did one several years ago to read BLM http://sourceforge.net/projects/p2ada/ The bindings should work with GNAT data for Scout. It's at: support and Janus/Ada on 32-bit and 64-bit http://home.comcast.net/~tommoran4/ systems. […] shp.zip The build scripts are less than optimal, but libsparkcrypto 0.1.0 QtAda 3.1.0 with some effort you should figure out how to build the bindings. From: Alexander Senier From: Vadim Godunko PC/SC WinSCard API Date: Thu, 9 Sep 2010 00:08:53 +0200 Subject: ANN: libsparkcrypto Date: Sun, 10 Oct 2010 07:17:50 -0700 Newsgroups: comp.lang.ada From: Ludovic Rousseau's blog PDT Date: Fri, 20 Aug 2010 05:32 CEST Hello, Subject: Announce: QtAda 3.1 Subject: PCSC sample in Ada Newsgroups: comp.lang.ada I'm happy to announce the first release of URL: http://ludovicrousseau.blogspot.com/ libsparkcrypto. We are pleased to announce the 2010/08/pcsc-sample-in-ada.html immediate availability of the QtAda 3.1.0. Further information, license and source Here is the PC/SC [WinSCard —mp] You can download multi platform source code is available here: sample in Ada language I promised […]. code package or Microsoft Windows http://senier.net/libsparkcrypto/ binary package from the our download Installation page: Version 0.1.0 of libsparkcrypto can be The PCSC/Ada project is hosted at downloaded here: http://www.qtada.com/en/download.html http://www.nongnu.org/pcscada. http://senier.net/libsparkcrypto/ QtAda is an Ada2005 language bindings PCSC/Ada is available as package in libsparkcrypto-0.1.0.tgz to the Qt libraries and a set of Debian testing/unstable and Ubuntu development tools. QtAda allows easily to 10.04. libsparkcrypto is a formally verified create cross-platform powerful graphical implementation of several widely used The API documentation is available user interface completely on Ada 2005. symmetric cryptographic algorithms using online at QtAda applications will work on most the SPARK programming language and popular platforms -- Microsoft Windows, http://www.nongnu.org/pcscada/api/ toolset. For the complete library proofs of Mac OS X, Linux/Unix -- without any index.html. the absence of run-time errors like type changes and platform specific code. […] range violations, division by zero and QtAda allows to use all power of visual numerical overflows are available. Some GUI development with Qt Designer. of its subprograms include proofs of partial correctness. Volume 31, Number 4, December 2010 Ada User Journal Ada-related Products 231 The distribution contains test cases for all - A "thick" binding to a subset of each of http://www.dmitry-kazakov.de/ada/ implemented algorithms and a benchmark the supported messaging protocols that fuzzy_ml.htm to compare its performance with the includes a callback-based OpenSSL library. The achieved speed has publish/subscribe and client/server Ada-related Products been found to be very close to the reference implementation. optimized C and Assembler - A "thin" binding to a subset of the implementations of OpenSSL. AdaCore — GNATbench WireAPI protocol that is supplied as part […] of the OpenAMQ message broker 2.4.1 for Wind River distribution. Workbench ssprep-1.5.3 - The STOMP protocol is simply a definition of a text-based protocol, and From: AdaCore Press Center From: Per Sandberg the TOMI_4_Ada.STOMP_Adapter Date: Tue, 21 Sep 2010 package implements it. An externally Subject: AdaCore Upgrades GNATbench for Date: Wed, 13 Oct 2010 17:11:02 +0200 supplied transport protocol (such as Wind River Workbench Subject: ANN: ssprep-1.5.3 TOMI_4_Ada.Transport.TCP_Connect) URL: http://www.adacore.com/2010/09/21/ Newsgroups: comp.lang.ada and supporting messaging broker, such gnatbench-241/ ssprep contains a few helpers to manage as Apache ActiveMQ, is then required to New platforms and features benefit Ada and generate projects based on GNAT convey messages utilizing the STOMP developers on Wind River Workbench project files. protocol. NEW YORK and PARIS, September 21, ssprep: which is a tool to generate project In addition a number of simple test 2010 – Embedded Systems Conference structures from templates using the programs are provided in the 'test' Boston […] templates_parser. directory that exercise various aspects of AdaCore, a leading supplier of Ada getbuildorder: Which is a tool that takes a the thick bindings. These can be used as a development tools and support services, set of GNAT project files and calculates starting point for implementing one's own today announced a major update to the build order it could be used to application-specific messaging. GNATbench, the Ada plug-in that brings automatically perform a make/make TOMI_4_Ada was developed on Linux the advantages of AdaCore’s GNAT Pro install in correct order. (Ubuntu 10.04) using the GNAT GPL toolset to Wind River’s Workbench From: Per Sandberg 2010 compiler and verified in that integrated development environment for environment with the Apache ActiveMQ embedded systems running VxWorks. Date: Wed, 13 Oct 2010 17:51:53 +0200 broker, the OpenAMQ broker, and Per The latest version of GNATbench, 2.4.1, Subject: Re: ANN: ssprep-1.5.3 Sandberg's ZeroMQ binding. is now available as part of the recent Newsgroups: comp.lang.ada TOMI_4_Ada 0.10 is considered an alpha GNAT Pro 6.3.2 release, and is supported Sorry missed the link: release, but currently has no known on Wind River Workbench 3.1 / 3.2, outstanding bugs. It is available on hosted on Windows, Linux, and Solaris. http://sourceforge.net/projects/ssprep/ SourceForge at “AdaCore is one of Wind River’s […] http://sourceforge.net/projects/tomi4ada/ strategic partners, and our business files. relationship goes back many years,” said TOMI_4_Ada 0.10 Robert Dewar, AdaCore President and […] CEO. “Maintaining this relationship is an From: Marc A. Criley ongoing process, it involves making Fuzzy machine learning Date: Mon, 25 Oct 2010 19:13:12 -0500 critical contributions to our joint Subject: Announce: TOMI_4_Ada 0.10 framework v0.1 technology and enhancing our products to Initial Release meet customers’ growing needs. Newsgroups: comp.lang.ada From: Dmitry A. Kazakov Our new version of GNATbench meets TOMI_4_Ada is "Text-Oriented both these goals.” Date: Sun, 7 Nov 2010 10:42:05 +0100 Messaging Interfaces 'for' Ada", Subject: ANN: Fuzzy machine learning “We’ve introduced support for significant providing a basic Ada interface to existing framework v0.1 new Wind River platforms as well as for a messaging middleware providers, and a Newsgroups: comp.lang.ada new version of an existing major framework for expanding support to platform,” said Dr. Patrick Rogers, currently unsupported ones. While most Fuzzy machine learning framework is a GNATbench Project Lead. “These messaging middleware supports binary as library and a GUI front-end for machine platforms address the application domains well as text messaging (text being simply learning using intuitionistic fuzzy data. within which Ada is most advantageous. a subset of binary), TOMI_4_Ada focuses The approach is based on the intuitionistic We’ve also enhanced our integration with exclusively on textual transfers so as to fuzzy sets and the possibility theory. the Wind River project builder and simplify the interface, but remaining well- Further characteristics are: fuzzy features replaced the underlying Ada compilation equipped to support the broad domain of and classes; numeric, enumeration engine.” text-based messaging protocols, i.e. XML, features and features based on linguistic HTML, JSON, raw text, etc. variables; user-defined features; derived GNATbench 2.4.1 now supports three and evaluated features; classifiers as new Wind River platforms: VxWorks Out of the box TOMI_4_Ada provides features for building hierarchical systems; 653, version 2.3; VxWorks Cert, version interfaces to the text messaging automatic refinement in case of dependent 6.6.2; and VxWorks MILS, version 2.1. capabilities of three protocols: features; incremental learning; fuzzy In addition, GNATbench now supports - STOMP protocol via the Apache control language support; object-oriented VxWorks 6.8 (General Purpose Platform ActiveMQ broker software design with extensible objects 3.8) and Workbench 3.2. Tutorials for - AMQP via the OpenAMQ broker and automatic garbage collection; generic these new platforms are now provided, as data base support through ODBC; text I/O - ZeroMQ (brokerless) well as new tutorials for building shared and HTML output; advanced graphical libraries. TOMI_4_Ada provides the following user interface based on GTK+; examples capabilities: of use. GNATbench now uses the Wind River default “flexible” managed build type for Ada User Journal Volume 31, Number 4, December 2010

15TH INTERNATIONAL REAL-TIME ADA WORKSHOP - Ada-Europe

Similar 15TH INTERNATIONAL REAL-TIME ADA WORKSHOP - Ada-Europe