ADA Volume 28 USER Number 2 June 2007 JOURNAL Contents Page Editorial Policy for Ada User Journal 66 Editorial 67 News 69 Conference Calendar 102 Forthcoming Events 111 Articles J A de la Puente “13th International Real-Time Ada Workshop (IRTAW-13)” 117 W Glaister “Template Driven Design in UML and Ada 95” 122 Ada-Europe 2007 Sponsors 128 Ada-Europe Associate Members (National Ada Organizations) Inside Back Cover Ada User Journal Volume 28, Number 2, June 2007 66 Editorial Policy for Ada User Journal Publication Original Papers Commentaries Ada User Journal – The Journal for the Manuscripts should be submitted in We publish commentaries on Ada and 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 28, Number 2, June 2007 Ada User Journal 67 Editorial If you would allow me a grand, legendary quotation, I should like to title this editorial: “The times they are a-changin” (Bob Dylan, 1964). Yes indeed they are, though in less prophetical ways in our little world of the Ada-Europe organization than in that historical song. We have held the production of this June issue up past the week of the Ada-Europe conference because a number of changes were in preparation that involved the attention of several of us. Now that the 12th International Conference on Reliable Software Technologies – Ada Europe 2007 has been celebrated, and with considerable success, we ought to say, thanks to the dedicated effort of the organizing team at the University of Applied Sciences in Geneva, Western Switzerland, we can just begin to see the extent of the changes. We will talk about them at length in the next issue of the journal. For now, suffice it to say that the Ada User Journal will have a new editor-in-chief in the person of Luís Miguel Pinho of Portugal, to whom I address my best wishes and encouragement for a taxing but also rewarding job. This is thefore the last editorial I am signing after 5 years of service, which amount to 5 volumes and 20 issues in journal terms: almost a lifetime by the sound of it! I had the luck of being editor through the beautiful time of the Ada language amendment process, which fed the journal with lot of value to process and to read. That much I will remember as a treat to me and, hopefully, to the readership as well. We (meaning the editorial team and I) have tried hard to keep the journal production timely, which we have managed to achieve but only at times, for which I must apologize to the readers. When I took over the editorship of the Ada User Journal the backlog was thin and we had to go ways to stimulate the production of articles of value. In handing over the baton to Miguel, I am happy to leave behind a robust backlog of worthwhile material. I look forward to enjoying reading the articles in store (and the new ones that will surely come along) in future journal issues. Let me now come to illustrate the contents of this issue. You may remember that in the previous editorial I talked about IRTAW-13 (the 13th edition of the International Real-Time Ada Workshop, which took place last April in the mountains of Vermont). Well, I am happy that the workshop chair, Juan Antonio de la Puente, kept his promise to deliver his workshop report in time for publication in this issue. Since I had the pleasure to attend that event I can safely recommend you to read that report and have some taste of the insightful discussions that it hosted. I am also happy to inform you that we are taking steps in these days to obtain permission to publish the proceedings of IRTAW-13 in a future issue of the Ada User Journal. With the second technical article in this issue we also commence the staggered publication of the proceedings of the Industrial Track of the Ada-Europe 2007 conference. The first article to appear is by Wain Glaister from AgustaWestand, UK, which talks about UML design patterns, templates, and foundation code frameworks in Ada. Let me conclude this editorial by thanking the News editor, Santiago Urueña, and the Calendar editor, Dirk Craeynest, for the continued support (often as large as half issues) that they provided to me and to the journal in the years of my tenure. Thanks again lads. Proficiat to the new editor-in-chief and long live the Ada User Journal. Tullio Vardanega Padova June 2007 Email: [email protected] Ada User Journal Volume 28, Number 2, June 2007 69 News Santiago Urueña Technical University of Madrid (UPM). Email: [email protected] implementation through either a ACATS Modification List 2.6B and the sequential or concurrent type. Support for associated test files have been posted. safety and security is enhanced with the Also, the first development snapshot for Contents inclusion of the Ravenscar Profile (a ACATS 3.0 was posted. tasking subset that is amenable to safety http://www.adaic.com/compilers/ Ada-related Organizations 69 certification), syntax that avoids some testing.html Ada-related Events 70 common Object-Oriented Programming Ada-relatred Resources 73 errors with inheritance, and a mechanism Ada-Belgium — Upcoming Ada-related Tools 73 for defining language profiles. Other Ada-related Products 77 enhancements increase the language's SC22/WG9 meeting Ada and GNU/Linux 85 general expressiveness, for example by Ada and Macintosh 87 allowing nested subprograms to be passed From: Dirk Craeynest References to Publications 87 as run-time parameters, and by extending <[email protected]> Ada Inside 87 the predefined environment with new To: [email protected] Ada in Context 90 functionality such as a Containers library.