Volume 30 Number 1 March 2009
Total Page:16
File Type:pdf, Size:1020Kb
ADA Volume 30 USER Number 1 March 2009 JOURNAL Contents Page Editorial Policy for Ada User Journal 2 Editorial 3 News 5 Conference Calendar 30 Forthcoming Events 37 Articles J. Barnes “Thirty Years of the Ada User Journal” 43 J. W. Moore, J. Benito “Progress Report: ISO/IEC 24772, Programming Language Vulnerabilities” 46 Articles from the Industrial Track of Ada-Europe 2008 B. J. Moore “Distributed Status Monitoring and Control Using Remote Buffers and Ada 2005” 49 Ada Gems 61 Ada-Europe Associate Members (National Ada Organizations) 64 Ada-Europe 2008 Sponsors Inside Back Cover Ada User Journal Volume 30, Number 1, March 2009 2 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 March, June, September and All original technical contributions are articles can be of any length – December. Copy date is the last day of submitted to refereeing by at least two inclusion is at the discretion of the the month of publication. people. Names of referees will be kept Editor. confidential, but their comments will Opinions expressed within the Ada Aims be relayed to the authors at the discretion of the Editor. User Journal do not necessarily 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 activities in Europe and other parts of By submitting a manuscript, authors grant Ada-Europe an unlimited license on events that may be of interest to our the world. The language of the journal readers. is English. to publish (and, if appropriate, republish) it, if and when the article is Although the title of the Journal refers accepted for publication. We do not Reviews 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 Unless the authors state explicitly A reviewer will be selected by the software technologies. otherwise, submission of an article is Editor to review any book or other taken to imply that it represents publication sent to us. We are also The Journal publishes the following prepared to print reviews submitted types of material: original, unpublished work, not under consideration for publication else- from elsewhere at the discretion of the • Refereed original articles on where. Editor. technical matters concerning Ada and related topics. News and Product Announcements Submission Guidelines Ada User Journal is one of the ways in All material for publication should be • News and miscellany of interest to which people find out what is going on sent to the Editor, preferably in the Ada community. in the Ada community. Since not all of electronic format. The Editor will only 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 through the information that can be contact the Editor by email to • Commentaries on matters relating found in those resources, we reprint or determine the best format for to Ada and software engineering. report on items that may be of interest submission. Contact details can be to them. found near the front of each edition. • Announcements and reports of Example papers conforming to conferences and workshops. Reprinted Articles formatting requirements as well as 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 30, Number 1, March 2009 Ada User Journal 3 Editorial This first issue of Volume 30 marks the beginning of the celebration of the Thirty Years of the Ada User Journal. The longevity of the Journal is a credit to the Journal authors and readers, after all the reason for the Journal’s existence, that have demonstrated during these years their loyalty and interest. Also important, it is a credit to all that volunteered their effort in the preparation, publishing and in the distribution of the Journal. To all of them, I address our appreciation. I am very much pleased that the first article of this issue, kindly provided to us by John Barnes, is an overview of the history of the Ada User Journal during these thirty years. As a special treat, the article presents images of some of the covers of the Journal during its different periods, which are exceptionally published in color in order that our readers can fully appreciate them. I know that the readers will enjoy reading the article as much as I did. As a side note, I would like to point our readers to the online archive of the Journal, available via the website of Ada-Europe, where the latest period in the history of the Ada User Journal can be browsed online. At this time, the online archive provides the full contents of all issues from March 2002 to March 2008, and the table of contents of the last four published issues. Coming back to this issue, it also provides a paper by James Moore and John Benito, with a progress report on the ISO/IEC Technical Report 24772 concerning Programming Language Vulnerabilities, a work being done in the framework of the Vulnerabilities Working Group (WG 23). I take this opportunity to point out that this matter will also be analyzed, obviously with a focus in Ada, in a one day workshop planned to be held in conjunction with the Ada-Europe 2009 conference, this June in Brest, France. The third paper of the issue finalizes the publication of material derived from the Industrial Track of the Ada-Europe 2008 conference. The paper, by Bradley Moore, of General Dynamics, Canada, explores some of the Ada 2005 features and the Distributed Systems Annex to support complex and dynamic networks. The technical part of the issue ends with two interesting Ada Gems, by Matthew Heaney and Quentin Ochem, related to Interfaces. And as usual, the reader will find the rich information of the News and Calendar sections, contributed by Marco Panunzio and Dirk Craeynest, their respective editors. Luís Miguel Pinho Porto March 2009 Email: [email protected] Ada User Journal Volume 30, Number 1, March 2009 5 News Marco Panunzio University of Padua. Email: [email protected] last weekend, are available on the Ada- Contents Belgium web site now. AdaCore — A few pictures taken during the event are Ada-Europe 2009 Ada-related Events 5 on-line as well. Ada-related Resources 6 From: AdaCore Press Center Ada-related Tools 7 Most presentations can be downloaded in Date: Tuesday February 17, 2009 Ada-related Products 12 an open format (ODP) and for all a PDF Subject: Ada Europe 2009 Ada and GNU/Linux 14 version is available: RSS: http://www.adacore.com/2009/02/17/ Ada and Microsoft 14 ⁃ "Introduction to Ada", Jean-Pierre ada-europe-2009/ References to Publications 15 Rosen, Adalog AdaCore is a major sponsor of this event. Ada Inside 15 AdaCore staff will also be giving the Ada in Context 16 ⁃ "GNAT Project Facility", Vincent Celier, AdaCore following talks: ⁃ ⁃ "GPS - GNAT Programming Studio", Implementation of the Ada 2005 Task Ada-related Events Vincent Celier, AdaCore Dispatching Model in MaRTE OS and [To give an idea about the many Ada- GNAT - Jose F. Ruiz, Mario Aldea, ⁃ "Ada in Debian GNU/Linux", Ludovic Michael Gonzalez Habour. related events organized by local groups, Brenta, Debian some information is included here. If you The following tutorials: ⁃ "Ada Distributed Systems Annex", are organizing such an event feel free to ⁃ Thomas Quinot, AdaCore Building Cross Language Applications inform us as soon as possible. If you using Ada - Quentin Ochem attended one please consider writing a ⁃ "NARVAL - Distributed Data ⁃ small report for the Ada User Journal. Acquisition in Ada", Xavier Grave, Hard Real-Time and Embedded —mp] Centre National de la Recherche Systems Programming - Pat Rogers Scientifique ⁃ Software Fault Tolerance - Pat Rogers FOSDEM 2009 — ⁃ "GPRBuild - Multi-Language Builder", And the following industrial presentation: Presentations available on- Vincent Celier, AdaCore ⁃ Couverture - An Innovative Open line ⁃ "OO Programming Model in Ada Framework for Coverage