Ada User Journal
Total Page:16
File Type:pdf, Size:1020Kb
ADA Volume 24 USER Number 2 JOURNAL June 2003 Contents Page Editorial Policy for Ada User Journal 66 Editorial 67 News 68 Conference Calendar 109 Forthcoming Events 114 Articles S Tucker Taft “Object-Oriented Programming Enhancements in Ada 200Y” 119 Ada-Europe 2002 Sponsors 128 Ada-Europe Associate Members (National Ada Organizations) Inside Back Cover Ada User Journal Volume 24, Number 2, June 2003 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 first of the submitted to refereeing by at least two inclusion is at the discretion of 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 24, Number 2, June 2003 Ada User Journal 67 Editorial In this issue of the Ada User Journal we continue our close watch on the on-going Ada language revision process. Experience with Ada 95 has brought about the urge to push the language forward along the two main avenues of its advanced support: high-integrity real-time programming and object-oriented programming (OOP). After covering the former topic, we now turn our attention to the latter and have the pleasure of hosting S Tucker Taft, who illustrates for us the rationale and the outline of the proposed completion of the OOP language support in Ada 200Y. Our readers should know that the editing of the News section is by far the most effort-intensive part of the volunteer-based production of the Ada User Journal. Interestingly, this is so because of the health of the language user community and the impressive wealth of information that flows in the various channels monitored by our News editor. Over the last year we have seen the News section often account for about half of every 64-page issue. The feedback we receive suggests that our readers find the News section useful and informative. They should as well know that the section contents are only a small fragment (but hopefully a representative overview) of a much larger, some 30 times larger, material, which is to be logged, linked and excerpted. All in all a major effort, which may sometimes take longer than anticipated. Please, bear with us while we continue this effort to produce an enjoyable and timely journal. Tullio Vardanega Padova June 2003 Email: [email protected] Ada User Journal Volume 24, Number 2, June 2003 68 News Dirk Craeynest (ed) Offis nv/sa and K.U.Leuven. Email [email protected] A leading European developer of Ada 95 meet these requirements, Wind River is technology, ACT Europe offers native, investing in technology that will meet the Contents embedded and safety-critical Ada demands of IA Directive 8500.2. [...] page solutions on a large variety of systems. Ada-related Organizations 68 Embedded Systems and Real Time The company specializes in project systems are all an important past of the Ada-related Events 68 support and consulting for users of GNAT Ada and Education 71 military infrastructure and will be a Pro Development Environment for Ada foundation for our future infrastructure. Ada-related Resources 72 95, a programming language designed for Ada-related Tools 75 Wind River will present their High embedded systems. ACT Europe also Reliability, Safety and Secure Solutions Ada-related Products 82 develops components of GNAT Pro Ada and Linux 87 for Embedded Developers. They will technology including the GtkAda discuss how their architecture strategy Ada and Microsoft 88 graphical toolkit, the new GNAT References to Publications 89 addresses those programs that must meet Programming System (GPS) IDE, and the high integrity, safety-critical, and high- Ada Inside 90 GNAT Pro High Integrity Edition. Ada in Context 97 assurance requirements for the Ada 95, C, With members that span the globe, the and C++ programming languages. ARA is a trade association of companies The AE 653 operating system/software Ada-related whose products and services represent engineering environment is utilized for more than 90 percent of the Ada avionics applications and many other Organizations development tools marketplace. applications requiring temporal/spatial For more information on Ada and on separation. It serves as a baseline for ACT Europe Joins Ada ACT Europe, please see Wind Rivers' work in the formal methods Resource Association http://www.adaic.org. Or write to Ann arena supporting the Common Criteria Brandon, Communications Director, Ada Evaluation Assurance Level (EAL) / URL: http://www.adaic.org/news/acte- Resource Association, Multi Level Security (MLS) and Multiple ara.html [email protected]. Levels of Independent Security (MILS) Subject: ARA News Release requirements instrumental in Ada Resource Association Adds ACT Communications Security (COMSEC), Europe to Global Membership Ada-related Events Avionics, Unmanned Aerial Vehicles [The announcements reported below are a (UAV), and other mission critical Salt Lake City -- Software Technology selection of the many Ada-related events applications. [...] Conference (April 30, 2003) -- organized by local groups. If you are Clyde Roby's Presentation Available The Ada Resource Association (ARA) is organizing such an event, feel free to pleased to announce the addition of its inform us as soon as possible. If you At the DC SIGAda meeting on 9 January newest member, ACT Europe, which attended one please consider writing a 2003, Clyde Roby gave an excellent develops components of the GNAT Pro small report for the Journal. -- dc] presentation titled: Evolving Ada technology for the Ada programming Bindings and Ada APIs. [See also "Jan 9" language. Apr 8 - ACM Baltimore/DC topic in AUJ 24-1 (Mar 2003), p.6. -- dc] Slides from his presentation are available Founded and led by Cyrille Comar and SIGAda Meeting […] online as a Powerpoint Presentation at Franco Gasperoni, ACT Europe is the http://www.acm.org/sigada/locals/dc/2003 Paris-based sister company to the long- From: Currie Colket <[email protected]> Date: Wed, 26 Mar 2003 14:55:07 -0500 01_APIWG-Presentation.ppt (ppt, standing ARA member Ada Core 276KB).