ADA Vo lume 28 USER Number 3 September 2007 JOURNAL Contents Page Editorial Policy for Ada User Journal 130 Editorial 131 News 133 Conference Calendar 166 Forthcoming Events 173 Articles J. Miranda “Towards Certification of Object-Oriented Code with the GNAT Compiler” 178 P. E. Black “SAMATE and Evaluating Static Analysis Tools” 184 G. Bernat, R. Davis, N. Merriam, J. Tuffen, A. Gardner, M. Bennett, D. Armstrong “Identifying Opportunities for Worst-Case Execution Time Reduction in an Avionics System” 189 Ada-Europe Associate Members (National Ada Organizations) 196 Ada-Europe 2007 Sponsors Inside Back Cover Ada User Journal Volume 28, Number 3, September 2007 130 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 28, Number 3, September 2007 Ada User Journal 131 Editorial As the new editor-in-chief of the Ada User Journal, I am pleased to start by thanking Tullio Vardanega for his effort and accomplishments in his five years of service. During this period, Tullio was able to uncover diverse sources of interesting content, providing regular and worthwhile material for us. Well done, Tullio! I am also pleased to salute all the Journal authors and readers. I have now the (difficult) task of taking over, and I am confident that you will help me in making the Journal continue in the right path. If you do not mind, I would like to talk about another, more important, change that took place in Ada-Europe. During our flagship conference, last June in Geneva, the General Assembly witnessed the end of the six years of service of Erhard Plödereder as the President of Ada-Europe. At the same Assembly, Tullio was unanimously voted for the position. I would like to wish Tullio a great success in his new role, and congratulate Erhard for the Ada-Europe accomplishments during his tenure. I am glad that Erhard will continue in the Ada-Europe board, as a member at-large, providing us with his vast experience and knowledge. Coming back to the Journal, I have to apologise for the delay in the production of the issue you have in your hands. I have just started to understand the effort that it is necessary to build each individual issue. It would be an impossible job, if not for the commitment of the editorial team. My deepest and sincere thanks to Santiago Urueña, Dirk Craeynest and Jorge Real for their support. As for its contents, the news and calendar section form an important part of the issue. In these days of vast, overwhelming, information, the job of data mining is a deeply important, but difficult one. Therefore I strongly recommend you to read the sections that Santiago and Dirk have prepared. Also please note the forthcoming events section, where you will encounter the call for participation for SIGAda 2007 and the call for papers for Ada Europe 2008. The technical part of the issue provides three papers from the Industrial Track of the Ada Europe 2007 conference. In the first paper, Javier Miranda of the University of Las Palmas de Gran Canaria, Spain, describes some of the enhancements currently being applied to the GNAT technology to support certification of object-oriented Ada code for high-integrity systems. The second paper, by Paul Black of the National Institute of Standards and Technology, USA, presents the SAMATE project, which addresses evaluation measures and methods and tools for software assurance. The last paper of this issue is by a group of authors from Rapita Systems and Hawk Mission Systems, both in UK, reporting the results of a study for the reduction of worst-case execution time in the operational flight program of the Hawk mission computer. I am sure you will enjoy reading them as much as I did. To close this editorial, let me shed some light into the near future. As mentioned in the previous issue, an effort was being made to obtain permission to publish the proceedings of the 13th International Real-Time Ada Workshop. I am very pleased to inform you that this has been granted and we will publish the staggered proceedings of this important workshop in the next issues of the Journal. I am also happy to inform that we are taking similar steps to obtain permission to publish selected contributions from the AdaCore Gem of the Week series. Therefore, the future looks promising; and I challenge all of you to play a part building it. Luís Miguel Pinho Porto September 2007 Email: [email protected] Ada User Journal Volume 28, Number 3, September 2007 133 News Santiago Urueña Technical University of Madrid (UPM). Email: [email protected] organizations, and return comments to the Date: Sat, 16 Jun 2007 07:16:12 +0000 ARG as soon as feasible. UTC Contents The editorial review period ends on Organization: Ada-Belgium, c/o Dept. of September 21, 2007. Note that Computer Science, K.U.Leuven substantive comments received after this Newsgroups: Ada-related Organizations 133 date would probably cause the comp.lang.ada,fr.comp.lang.ada,be.com Ada-related Events 133 corresponding AIs to be removed from p.programming,nl.comp.programmeren Ada and Education 134 the list submitted to WG9, as there would Post-event announcements Ada-related Resources 136 not be enough time left to properly Ada-Belgium recently organized Ada-related Tools 136 answer the comments. a technical presentation by Ada-related Products 138 Ludovic Brenta of Barco Avionics, Ada and CORBA 142 The AIs can be found on-line at Belgium Ada and GNU/Linux 143 http://www.ada-auth.org/ Ada at Barco Avionics: Ada and Macintosh 143 AI05-SUMMARY.HTML.