ISO/IEC JTC1/SC22/WG9 N488

Draft 4, 19 June  2008, Joyce Tokar

Draft Detailed Agenda
Meeting #54 of ISO/IEC JTC1/SC22/WG9
20 June 2008
Venice, Italy

In accordance with Resolution 53-5, the next meeting of ISO/IEC JTC 1/SC 22/WG 9 will be held in conjunction with Ada Europe conference, beginning at 9:00 AM in the morning of Friday 20 June 2008 in Venice Italy. We will meet in room 8 of the Conference Center.

Conference and venue information can be found at the conference web site.

The announcement and preliminary agenda for this meeting were circulated as N487.

Agenda

References

Detailed Agenda Items

Opening Orders, Joyce Tokar, Meeting Chair

Call to Order

The meeting is scheduled to begin at 9:00 am.

Welcoming Remarks by Host

Our host for the meeting is AdaEurope.

Appointment of Meeting Secretary

<TBD> has volunteered to serve as meeting Secretary.

Approval of Agenda

The meeting agenda is shown here.

Approval of Minutes of Meeting #53

Background

The draft minutes of Meeting #53 are recorded in document N486.

Resolution:

[Resolution 54-1]

Agenda

National Body Introductions and Reports

Attendees:

National Body Representatives:

Belgium

Dirk Craeynest (HOD)

Report

Canada 

Brad Moore (HOD), Stephen Michell, Luke Wong (unable to attend)

Report

France

Jean-Pierre Rosen (HOD)

Report

Germany

TBD

Report

Italy

Tullio Vardanega (HOD)

Report

Japan

Kiyoshi Ishihata (HOD)

Report

Switzerland

Urs Mauer (HOD)

Report

UK

John Barnes (HOD)

Report

USA

Robert Dewar (HOD), Randy Brukardt

Report

Agenda

Liaison Representatives:

Ada-Europe

Erhard Ploedereder

Report

SIGAda

John McCormick

Report

OWG: Vulnerabilities

Erhard Ploedereder

Report

Agenda

WG9 Officers:

Convener

Joyce Tokar

Webmaster

Clyde Roby

ARG Rapporteur

Ed Schonberg

HRG Rapporteur

Alan Burns

PRG Rapporteur

Stephen Michell

Project Editors

ISO/IEC 8652: Erhard Ploedereder, Randy Brukardt , and Pascal Leroy (unable to attend)

 ISO/IEC 13813 and 13814: Don Sando, Jon Squire and Ken Dritz (all unable to attend)

ISO/IEC 14519: Ted Baker (unable to attend)

ISO/IEC 15291: Clyde Roby and Greg Gicca

ISO/IEC TR 15942: Brian Wichman (unable to attend)

ISO/IEC 18009: Erhard Ploedereder

ISO/IEC TR 24718: Alan Burns

Other Attendees:

 Guests:

 Jim Moore – OWG Secretariat

HOD Reports:

Belguim:
<TBD>
Agenda
Canada:

The CAC (Canadian Advisory Council) WG9 Team-Ada members met recently by teleconference.

Discussion mostly centered around the PRG work plans. There has not been much progress since the PRG met in February. We attribute the slow progress due the limited resources of a small group of volunteers with busy schedules.

Stephen Michell and I plan to meet in Venice on June 15-16th, prior to the WG9 meeting to see how we can progress the work.

Agenda
France:

AFNOR Ada group met on Thursday, june 5th, 2008, in preparation for the Venice meeting. The group reviewed the agenda.

Regarding resolution 48-7, we noted (with pleasure) that AMD-1 appears on the ISO site with status 60.60 (published). We therefore propose to close this resolution.

Re 40-6, we noted that 13813 appears as confirmed, while 13814 appears as withdrawn...

Regarding the AIs, given the large number of AIs circulated for pre-review, we would have appreciated that the list be given in the preliminary agenda.

Agenda
Germany:
<TBD>
Agenda
Italy:
<TBD>

Agenda

Japan:
<TBD>

Agenda

Switzerland:

Nothing to Report.

Agenda
UK:

Received from J. Barnes, 1 June 2008

The BSI Ada Panel met recently. The main topics of discussion were matrix  multiplication and a couple of "heritage" problems in Ada that arise from  reasons of compatibility with previous versions of the International  Standard.

 PS And we had the usual excellent BSI Curry in a local Indian.

Agenda
USA:

Nothing to Report.

Agenda

Liaison Reports

Report of Ada-Europe, Liaison Representative, Erhard Ploedereder

Background

Ada-Europe is a Category C Liaison to WG9 (See N414)

Report

Ada-Europe has recently organized the publication of the Ada 2005 Rationale in the Springer LNCS series. The book has been distributed for free to all Ada-Europe members and to the attendees at the Venice conference.

The next Ada-Europe conference will be in Brest, France, in early June 2009.


Agenda

Report of SIGAda Liaison Representative, John McCormick

Background

SIGAda is a Category C Liaison to WG9 (See N414)

Report

Nothing to Report.

Agenda

Report Other Working Group: Vulnerabilites, Liason Representative, Erhard Ploedereder

Background

The OWG: Vulnerabilities is an ad hoc Working Group of ISO/IEC/JTC1/SC22 (see N469).

Report

Since the last WG9 meeting, OWG met twice for three day meetings: Pittsburgh, USA, December, 12-14, and Amsterdam, NL, April 9-11.  I attended the Pittsburgh meeting, but was unable to join the Amsterdam meeting.  At and between the meetings, the individual vulnerabilities were refined or completed. After the Amsterdam meeting, the write-ups of the vulnerabilities have been combined into a PDTR document to be submitted to SC22 in September.  An additional meeting is scheduled in Washington, USA, for June 30 to July 2, with the commenting deadline set to June 23.  Because of a change of the meeting date, I am unable to attend this meeting.  The next regular meeting is scheduled in Stuttgart, Germany, September 29 to October 1, shortly after the SC22 meeting.

Discussions are underway to turn the OWG into a regular WG.

I am still concerned that the time schedule for the produced document is such that input from people not directly tied to C and C++ is not being obtained in sufficient quantity to the detriment of the quality of the document.

Agenda

Convener's Report

At Meeting #50 (N470), we learned that SC22 has created a project to provide a cross-language comparison of the vulnerabilities that exist in various programming languages and the manner in which these vulnerabilities may be avoided or mitigated.  At that time the convener of OWGV, John Benito, provided a presentation on the progress of the group. Erhard Ploedereder has been representing the interests of WG9 in OWGV.

At this meeting, we are fortunate that the secretariat of OWGV, Jim Moore, will provide a presentation on the progress of the group.

Goals for this Meeting

The most important work for this meeting is to organize WG9 to conduct the various items of work that recently started. These include:

     ASIS – what is the progress on the development of this update and what is the schedule will be for completion,

     POSIX/Ada binding – leadership and direction, and

     Extended containers – status and direction.

Agenda

Summary of Action Items and Unimplemented Resolutions

This is the "To Do" list for WG9. Some are informal action items assigned to various participants. Some are formal resolutions, which are not yet implemented. Some items are simply in suspense awaiting action by other groups.

Action Item 47-1A

[Editor, TR 24718] Monitor implementation by ITTF of free availability for ISO/IEC TR 24718.

For status, see: [Project Editor Maintenance Report, 24718]

Resolution 48-7 

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period: ISO/IEC 8652:1995, Information Technology--Programming Languages--Ada, as amended by COR.1:2001. This recommendation is made with the understanding that WG9 is currently preparing an amendment to the standard with completion expected during 2006. 

For status: See [Project Editor Maintenance Report, 8652]

Action Item 50-1

Investigate the possibility that ANSI might be willing to sell the revised ASIS standard ISO/IEC 15291:200x inexpensively, i.e. at a price similar to that of programming language standards -- $18.

Status: Open. It has been surprisingly difficult to obtain the appropriate contact information.

Resolution 50-5:

WG9 requests that the ARG consider solutions to the problem described in comment 12 of N459 [containers], as well as other possible extensions to the standard library, and develop a New Work Item Proposal for a Type 2 Technical Report that will provide a "trial use" specification to users and implementers, and that will be suitable for future standardization.

For status: See [Report of Ada Rapporteur Group]

Resolution 50-9:

Noting the current systematic review of ISO/IEC 14519 and the absence of any working group responsible for maintenance of the standard, SC22/WG9 recommends to SC22 that the standard should be confirmed in the current review and states its willingness to accept the editorial responsibility for the standard. It offers the services of Steve Michell (Canada) to serve as project editor, subject to national body confirmation.

For status: See [Project Editor Maintenance Report, 14519]

Resolution 51-7:

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be withdrawn when it reaches the end of its five-year review period: 

  • ISO/IEC 13813:1998 Generic packages of real and complex type declarations and basic operations for Ada (including vector and matrix types) 

For status, see: [Project Editor Maintenance Report, 13813]

Agenda

Scheduling of Meetings

Background

Resolution 51-5 scheduled meeting #53 in conjunction with the 2007 SIGAda conference on the afternoon of Thursday, 8 November 2007 in Fairfax, VA, USA.  Resolution 53-5 scheduled meeting #54 in conjunction with the 2008 Ada-Europe conference, Friday morning, 20 June 2008, Venice, Italy.

[The resolution offered below confirms the previous resolution and states the intention of WG9 to colocate meeting #55 with the 2008 SIGAda conference.]

Discussion

Resolution

[Resolution 54-5]

Project Editor Maintenance Reports

Project Editor Maintenance Report, ISO/IEC 8652

Document Status

ISO/IEC 8652:1995 Information Technology--Programming Languages--Ada, 22.10.01, Randy Brukardt and Erhard Ploedereder, Project Editors, supported by the Ada Rapporteur Group.

ISO/IEC 8652:1995/COR.1:2001, Technical Corrigendum to Information Technology--Programming Languages--Ada, 22.10.01, Randy Brukardt and Erhard Ploedereder, Project Editors, supported by the Ada Rapporteur Group.

ISO/IEC 8652:1995/AMD.1:2007, Amendment to Information Technology--Programming Languages—Ada,  Randy Brukardt and Erhard Ploedereder, Project Editors, supported by the Ada Rapporteur Group.

Maintenance action recommendation is due in <TBD> for systematic review in <TBD>.

Project Status

The request for subdivision [N388] of Project 22.10.01, to create AMD.1 was endorsed by WG9 Resolution 40-7 [N389], and approved by SC22 N3310 on 2001-09-12. The project editors are Randy Brukardt and Pascal Leroy, supported by the Ada Rapporteur Group. Preparation of the Working Draft was delegated to the United States for execution by Axe Consulting. The draft prepared by Axe was contributed to WG9 as [N460]. SC22 has approved Resolution 05-29 authorizing its Secretariat to to initiate an FPDAM ballot for ISO/IEC 8652: 1995, Ada, upon receipt of the text from the WG9 (Ada) Convener. The convener submitted the draft as [N467]. The FPDAM ballot completed successfully with no dissent and no comments. The editor prepared a draft for FDAM ballot at the JTC1 level. It has been submitted to the SC22 Secretariat.

Continuing Item

Resolution 48-4: 

WG9 requests the project editor of the 8652 amendment to remain prepared to respond to any request from ITTF for a manuscript of a third edition to 8652. 

Open Items

Resolution 48-7:

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period: ISO/IEC 8652:1995, Information Technology--Programming Languages--Ada, as amended by COR.1:2001. This recommendation is made with the understanding that WG9 is currently preparing an amendment to the standard with completion expected during 2006. 

Status: The ISO web site indicates that systematic review is underway.

Do we need to amend this resolution to take into account ISO/IED 8652:1995/AMD.1:2007, Amendment to Information Technology--Programming Languages--Ada ?

Report

The ARG is continuing maintenance on the standard; see the ARG report for details.

Resolution

No resolution.

Project Editor Maintenance Report, ISO/IEC 13813 and 13814

Document Status

ISO/IEC 13813:1998, Information Technology--Programming Languages--Generic Packages of Real and Complex Type Declarations and Basic Operations for Ada (including Vector and Matrix Types), 22.10.04, Don Sando and Ken Dritz, Project Editors

The standard addresses the Ada 87 language. WG9 plans to incorporate the substance of this standard in the Amendment to ISO/IEC 8652:1995. WG9 has recommended that the 1998 standard be confirmed during the period while the Amendment is under preparation.

ISO/IEC 13814:1998, Information Technology--Programming Languages--Generic Package of Complex Elementary Functions for Ada, 22.10.05, Jon Squire and Ken Dritz, Project Editors

WG9 has voted to withdraw this standard by year-end 2004. (The action awaits implementation by ITTF.) The standard addressed the Ada 87 language and is effectively replaced by the 1995 language standard.

Open Items

Resolution 40-6:

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period: 

  • ISO/IEC 13813:1998 Generic packages of real and complex type declarations and basic operations for Ada (including vector and matrix types) 

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be withdrawn when it reaches the end of its five-year review period: 

  • ISO/IEC 13814:1998 Generic package of complex elementary functions for Ada 
Resolution 51-7:

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be withdrawn when it reaches the end of its five-year review period: 

  • ISO/IEC 13813:1998 Generic packages of real and complex type declarations and basic operations for Ada (including vector and matrix types) 

Status: OPEN. The recommendations above were endorsed by SC22 Resolution 01-07 at their September 2001 plenary meeting. They have been forwarded to JTC1 for approval (during 2003) and implementation by ITTF (during 2004). However, JTC1 voted to confirm ISO/IEC 13814 rather than withdraw it as requested by WG9 and SC22. The SC22 Secretariat conducted a letter ballot authorizing it to request that JTC1 reconsider its action. Accordingly, the request was sent to JTC1 and JTC1 responded by circulating a letter ballot (J1N7405) to withdraw the standard. The ballot ended on 22 June 2004 with the decision to recommend withdrawal (22N7451). At its 2005 plenary meeting, SC22 approved resolution 05-05: "JTC1/SC22, noting JTC1/SC22 Resolution 01-07 and that this withdrawal request has not been completed and that this standard is listed as confirmed on the ISO website, requests that the withdrawal of ISO/IEC 13814: 1998 be implemented." At the 2006 SC22 plenary, it was noted that the status indication on the ISO web site has been changed recently to 95.20, indicating that the ISO-level ballot to withdraw the standard has commenced. The recommendation to withdraw ISO/IEC 13813 has been submitted to SC22.

Report

[No written report.]

Project Editor Maintenance Report, ISO/IEC 14519

Document Status

ISO/IEC 14519:2001 Ed. 2, Information technology -- POSIX Ada Language Interfaces -- Binding for System Application Program Interface (API), 22.21.04.02, Ted Baker, Project Editor

In 2005, this document was reassigned by SC22, from WG15 to WG9.

Open Items

Resolution 50-9:

Noting the current systematic review of ISO/IEC 14519 and the absence of any working group responsible for maintenance of the standard, SC22/WG9 recommends to SC22 that the standard should be confirmed in the current review and states its willingness to accept the editorial responsibility for the standard. It offers the services of Steve Michell (Canada) to serve as project editor, subject to national body confirmation.

Status: SC22 reassigned the standard to WG9 with Ted Baker as project editor. Processing of the document's confirmation by systematic review has not been completed.

Email note from Ted Baker, 31 October 2006

I regret to say that will not be able to attend. I have exchanged several e-mails with Stephen Michell on the subject of the POSIX Ada binding standard. I provided him with a pdf version of the POSIX Ada binding document, so that he and a group of Canadian colleagues could review it. I understand that they will be estimating the scope of work that would be required to bring the standard up to date with respect to Ada and the base POSIX/Unix C-language API. There have been a few other exchanges, with a representative of Adacore Technologies and a user. The scope of the project can be scaled to fit the available human resources, by limiting the changes to only features that are not already provided by the existing POSIX Ada binding and the Ada language *and* have been requested by members of the Ada community. To this end, it might be reasonable to ask WG9 representatives to provide some e-mail lists of individuals and organizations that we could poll, to determine a list of features for which there is a demand.

Report

[<TBD>]

Project Editor Maintenance Report, ISO/IEC 15291

Document Status

ISO/IEC 15291:1999, Information Technology--Programming Languages--Ada Semantic Interface Specification (ASIS), 22.15291, Clyde Roby and Greg Gicca, Project Editors, supported by the ASIS Rapporteur Group.

This document was "confirmed" by JTC1 in its 2004 systematic review.

Report

The scope of the ARG's ASIS activity is "to add or modify interfaces of the current ASIS specification in order to permit representation of the new language features that have been added to ISO/IEC 8652 since 1995. Care should be given to backward compatibility of existing ASIS applications." 

 

A collection of ASIS items have been developed to meet this objective.   To date, 24 SIs have been approved by the ARG and incorporated into the latest draft of the document. Eight SIs are still in work: SI99-0007, SI99-0019, SI99-0021, SI99-0024, SI99-0030, SI99-0035, SI99-0036, & SI99-0037.

 

Of these, most require only minor work. The largest and most difficult is SI99-0024, the purpose of which is to provide a semantic model in addition to existing syntactic model. The model has been developed, but needs additional review, as well as agreement on an approach for its documentation.

 

Additional action that is likely needed includes an update to the "ASIS technical concepts" section, both to be consistent with the current standard (e.g., remove references to obsolescent features),  as well as to illustrate use of the new features (e.g., the semantic model).

 

Completion of SI-024, (and the related changes to other parts of the document) is likely to require several additional meetings. Having a complete draft available by the Ada-Europe 2009 meeting seems achievable, but prior to that may be challenging.

Agenda

Project Editor Maintenance Report, ISO/IEC TR 15942

Document Status

ISO/IEC TR 15942:2000, Guidance for the Use of Ada in High Integrity Systems, 22.15942, Brian Wichmann, Project Editor, supported by the Annex H Rapporteur Group.

This is a Type 3 Technical Report; it is publicly available.

Open Items

SC22 Resolution 04-05: Standards for 2005 Periodic Review

JTC1/SC22 recommends to JTC1 that at the end of their 5-year review period, the following standards and technical report be confirmed:  ISO/IEC TR 15942: 2000, Guidance for the use of Ada Programming Language in High-Integrity Systems.

Status: The request was forwarded to JTC1 for action during 2005. However, the result of their action is not evident. The convener has requested clarification.

Report

[<TBD>]

Agenda

Project Editor Maintenance Report, ISO/IEC 18009

Document Status

ISO/IEC 18009:1999, Conformity Assessment of an Ada Language Processor, 22.18009, Erhard Ploedereder, Project Editor, supported by the Ada Rapporteur Group.

This document was "confirmed" by JTC1 in its 2004 systematic review.

Report

[<TBD>]

Agenda

Project Editor Maintenance Report, ISO/IEC TR 24718

Document Status

ISO/IEC TR 24718:2005, Guide for the use of the Ada Ravenscar Profile in high integrity systems

22.24718, Alan Burns, Project Editor, supported by the Annex H Rapporteur Group

This is a Type 3 Technical Report providing guidance for users; it is publicly available.

Report

[<TBD>]

Agenda

Report of Ada Rapporteur Group, Ed Schonberg (Rapporteur)

Background

WG9 [N406]: Procedures of the ARG

Resolution 44-4 of [N428]: The convener directs the chair of the ARG to send the list of AIs intended for submission to WG9 to NB and liaison representatives at the time they enter the 'editorial review' state. It would then be the duty of each NB and liaison representative to circulate this information within their own organization for the purpose of developing a position for the forthcoming meeting of WG9.

WG9 N464r, N468: Terms of reference and approach for the revision of ISO/IEC 15291 (approved by Resolution 50-7 [N470])

Resolution 50-6 of [N470]: Until otherwise directed by WG9, the ARG is requested to observe the following priorities in its work: (1, the highest priority) develop a revision of ISO/IEC 15291, ASIS; (2) respond to Defect Reports and/or Ada Issues on ISO/IEC 8652; (3) develop Technical Reports or Standards improving the Ada libraries--notably with respect to containers; and (4) consider proposals for extending the language.

Open Items

Resolution 50-5:

WG9 requests that the ARG consider solutions to the problem described in comment 12 of N459 [containers], as well as other possible extensions to the standard library, and develop a New Work Item Proposal for a Type 2 Technical Report that will provide a "trial use" specification to users and implementers, and that will be suitable for future standardization.

Status: Open

Previous Discussion re AMD.1 to ISO/IEC 8652

From Minutes of Meeting #49 [N458]

While it is understood that the document delivered to WG9 is the Amendment document, the ARG, in compliance with resolution 48-3, is prepared to provide an integrated document (known in the vernacular as Reference Manual), and special care has been taken to ensure the consistency of these documents.

Previous Discussion re Revision of ISO/IEC 15291

From Minutes of Meeting #49 [N458]

There was discussion of the appropriate scope of the revision: update enough to permit access to the new Ada language features or restructure the interfaces to exploit the new language features. It was suggested that it might be appropriate to ask the users of ASIS what they prefer. (Several papers at the SIGAda conference mentioned the use of ASIS.) The work should minimize impact on existing ASIS programs by paying attention to backward compatibility. ...

The amended document was retitled as "Approved Plan for the Revision of the ASIS Standard, ISO/IEC 15291" and renumbered as [N457].

From meeting #49 – Applying AIs Retroactively

Request from ARG

The ARG Rapporteur posed the following question: Should it be permitted to select AIs of the amendment and implement them upon Ada 95?

Discussion

The ARG Rapporteur reported that there has been email discussion of applying some of the AIs of the amendment to the unamended language. It has been suggested that the AIs that constitute "corrections" or "clarifications" should be applied to old compilers.

The Convener stated that AIs become part of the standard only when incorporated into a Corrigendum or an Amendment. AIs that are not incorporated but result in changing tests indicate only that the test was incorrect.

Randy Brukardt (who operates the Ada Conformity Assessment Authority) noted that currently the ACATS suite is updated only for the Technical Corrigendum and has not been updated as a result of any AIs since then. As this is the operational test of conformity, it would not be possible to certify a compiler as conforming if it were to apply AIs processed since that date, but short of the full amendment.

As a result of the discussion, the following resolution was approved.

Resolution
Resolution 49-7:

WG9 recommends that all effort in enhancing the ACATS should be dedicated to tests appropriate for assessing conformance to Ada 2005.

From Minutes of Meeting #52

The ARG has its "usual" motion for the June meeting for approval of a series of AIs. See the list below.  Pointers to retrieve the AIs are included.  The list includes one Ada 95 AI: this is not a mistake; this AI makes it possible for existing compilers to support new Ada 2005 syntax in their Ada 95 implementation, in order to ease transition to the new language.

The cited AIs can be found online at http://www.ada-auth.org/AI-SUMMARY.HTML and http://www.ada-auth.org/AI05-SUMMARY.HTML.

Ada 95 AI:

AI95-00447-01/02   2006-06-16 --  Null_exclusions allowed in Ada 95

Ada 2005 AIs:

AI05-0007-1/03   2006-12-13 --  Stream 'Read and private scalar types

AI05-0014-1/02   2006-06-20 --  Accessibility of designated objects

AI05-0015-1/03   2006-12-13 --  Constant return objects

AI05-0016-1/02   2006-12-13 --  Others => <> can be used in place of null record

AI05-0020-1/02   2006-12-13 --  Universal operators of fixed point and access types

AI05-0021-1/02   2006-12-13 --  Issues with containers

AI05-0025-1/02   2006-12-13 --  Missing legality rules for formal_package_association

From Minutes of Meeting #53

The ARG has approved of a series of AIs. See the list below. 

The cited AIs can be found online at http://www.ada-auth.org/AI-SUMMARY.HTML and http://www.ada-auth.org/AI05-SUMMARY.HTML.

AI05-0002-1/04   2007-10-01 --  Unconstrained arrays and C interfacing

AI05-0008-1/05   2007-10-01 --  General access values that might designate constrained objects

AI05-0017-1/04   2007-10-01 --  Freezing and incomplete types

AI05-0019-1/04   2007-10-01 --  Primitive subprograms are frozen with a tagged type

AI05-0024-1/05   2007-10-01 --  Run-time accessibility checks

AI05-0028-1/06   2007-10-01 --  Problems with preelaboration

AI05-0035-1/04   2007-10-01 --  Inconsistences with pure units

AI05-0037-1/02   2007-10-08 --  Out of range <> associations in array aggregates

AI05-0040-1/03   2007-10-08 --  Limited with clauses on descendants

AI05-0043-1/02   2007-10-08 --  The Exception_Message for failed language-defined checks

AI05-0046-1/03   2007-10-08 --  Null exclusions must match for profiles to be fully conformant

AI05-0055-1/03   2007-10-08 --  Glitch in EDF protocol

AI05-0056-1/02   2007-06-17 --  Wrong result for Index functions

 

Report

Received from E. Schonberg, 11 June 2008

The ARG met in Fairfax, Virginia in November 2007, and in Tampa, Florida. In February 2008.  Roughly a third of each meeting was dedicated to ASIS, and the rest to maintenance of Ada 2005.

Work on the ASIS document is still behind the schedule proposed in Porto. The most significant item of work is the proposed semantic interface, that is intended to provide a higher-level set of primitives to the ASIS programmer than the current syntax-oriented queries. Preliminary versions of the new interface have been presented by Tucker Taft. To determine whether this new set of queries simplifies substantially the writing of ASIS applications, a test case has been proposed, involving an ASIS application that flags potentially unsynchronized access to global entities from uncoordinated tasks. The existing ASIS95 version of the application already exists.

At the Tampa meeting The ARG completed discussion of a substantial number of AI's, and moved to submit them to the WG9 June meeting for approval The list is  below.  Pointers to retrieve the AIs are included.

The cited AIs can be found online at http://www.ada-auth.org/AI-SUMMARY.HTML.

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard

AI05-0013-1/13   2008-05-21 --  No_Nested_Finalization is difficult to enforce

AI05-0022-1/04   2008-04-09 --  Container tampering should be checked for formal subprograms

AI05-0023-1/06   2008-04-09 --  'Read on records with variant parts

AI05-0026-1/04   2008-04-09 --  Missing rules for Unchecked_Unions

AI05-0027-1/06   2008-05-15 --  Behavior of container operations when passed a finalized container object

AI05-0029-1/04   2008-04-21 --  Operations that are not declared but still exist

AI05-0030-2/04   2008-04-21 --  Requeue on synchronized interfaces

AI05-0032-1/02   2007-11-11 --  Extended return statements for class-wide functions

AI05-0033-1/04   2008-05-21 --  Rules for non-library level interrupt handlers

AI05-0034-1/04   2007-11-26 --  Categorization of limited views

AI05-0036-1/01   2007-01-18 --  Number of characters to be output for Text_IO for enumerations

AI05-0038-1/03   2007-11-26 --  Minor Errors in Ada.Text_IO.

AI05-0039-1/04   2008-05-15 --  User-defined stream attributes cannot be dynamic

AI05-0041-1/08   2008-05-15 --  Derived types and partial views

AI05-0042-1/04   2008-05-21 --  Overriding versus implemented-by

AI05-0044-1/04   2008-05-15 --  Equivalence and equality in containers

AI05-0045-1/05   2008-04-21 --  Termination of unactivated tasks

AI05-0047-1/07   2008-05-27 --  Annoyances in the array packages

AI05-0048-1/03   2008-04-21 --  Redispatching is not expected in language-defined subprograms

AI05-0058-1/01   2007-08-01 --  Abnormal completion of an extended return statement

AI05-0060-1/07   2008-05-21 --  The definition of Remote access types is too limiting

AI05-0062-1/03   2008-04-18 --  Null exclusions and deferred constants

AI05-0064-1/01   2007-09-13 --  Redundant finalization rule

AI05-0065-1/03   2008-04-18 --  Remote access types should be defined as externally streamable

AI05-0066-1/05   2008-05-21 --  Temporary objects are required to live too long

AI05-0068-1/03   2008-04-18 --  Inherited subprograms may be both abstract and require overriding

AI05-0070-1/01   2007-10-24 --  Elaboration of interface types

AI05-0072-1/02   2007-12-13 --  Termination only signals 'Terminated when it is True

AI05-0073-1/04   2008-04-18 --  Questions about functions returning abstract types

AI05-0076-1/03   2008-04-18 --  Meaning of "function with a controlling result"

AI05-0077-1/03   2008-04-18 --  The scope of a declaration does not include any context clause

AI05-0078-1/03   2008-04-18 --  Alignment need not match for Unchecked_Conversion

AI05-0079-1/04   2008-05-21 --  An other_format character should be allowed wherever a separator is allowed

AI05-0080-1/04   2008-05-21 --  "view of" is not needed when it is clear from context

AI05-0082-1/03   2008-04-18 --  Accessibility level of generic formal types

AI05-0084-1/03   2008-04-18 --  Pragma Remote_Types for Container library units

AI05-0086-1/02   2008-04-18 --  Statically compatible needs to take null exclusions into account

AI05-0087-1/03   2008-04-18 --  Formal nonlimited derived types should not have limited actual types

AI05-0088-1/01   2008-01-30 --  Only the value of "**" is equivalent to repeated "*"s

Discussion

Resolutions

[Resolution 54-2 ] [Resolution 54-6]

Agenda

Report of Annex H Rapporteur Group, Alan Burns (Rapporteur)

Background

WG9 N416, Charter of the HRG

Open Item

Prior Discussion

From the Minutes of Meeting #49 [N458]

The HRG has not met since the last meeting of WG9. It has reviewed (by email) its future agenda and has decided that it should revisit the Guidelines for use of Ada in High Integrity Applications [ISO/IEC 15942] report with a view to updating it for Ada 2005. A plan to review this report will be drawn up once the Ada 2005 definition has been passed by WG9.

From the Minutes of Meeting #49 [N458]

Both Steve Michell and Erhard Ploedereder stated that they planned to participated in OWG:Vulnerability representing Canada and Germany respectively.

Report

Received from A. Burns, 2 June 2008.

The HRG has not met for some time (over a year) and although there has been some email interactions the group cannot be described as active. A number of members feel that it would be appropriate to update its technical reports in line with Ada 2005. However no members has offered sufficient effort to make these updates possible - and hence I am unwilling to instigate a new work item.

The existence of the OWG work on program vulnerabilities has also lead to a view that Ada-specific TRs are not as useful as previously.

If WG9 requests we review the role of our TRs once the OWG work is compete then I will attempt to do this. Otherwise I feel , unfortunately, that  the HRG has no active role at this time.

No issues have been raised with the two technical reports. Brian and I  are happy to continue as editors.

Resolutions

[Resolution 54-3 ]

Agenda

Report of POSIX/Ada binding Rapporteur Group, Steve Michell (Rapporteur)

Background

PRG Report to WG9                 29 June 2007

The PRG was created at SC22/WG9 meeting 51, 16 November 2006. The immediate goals were to have a first meeting, create a work plan, create a set of procedures, and report to WG9 progress made.

To date I have not called a meeting of the full PRG. An email reflector has been created at

   [email protected]

I have created a draft set of procedures from the ARG procedures. I can present them to WG9, but since a PRG meeting has not considered them, I think this is premature.

I have worked with Randy Brukhardt to set up a web-site similar to ada-auth.org, but this work is still in its beginnings.

I have met with Ted Baker, Brad Moore and Luke Wong in an informal review of IS14519. This "informal" meeting happened 19-21 February 2007 at Ted's locale and was a 3-day review of the existing document and a Canadian contribution that we prepared in Oct and Nov 2006. From this meeting we have a list of items that need likely attention. It is a large list, but many of the items can likely be dealt with directly. One of the issues that we would need to come to terms with is if we treat these as AI's are treated, can we lump them into a few larger PI's or will we need a plethora of PI's. My intention is to call a meeting and use this list as a starting point for discussions.

From this meeting and subsequent events I can report:

•         Ted is willing to continue as editor, but has no financial resources to put to this task.

•         Luke Wong was intending to volunteer as Rapporteur. This looks like it will not happen, which leaves me in a challenging position. My workload (and no funding) is one of the reasons why more progress has not been made.

•         The standard needs updating, at least minimally. We reviewed most of the significant decisions from the earlier binding activities and believe that they are still correct, such as not implementing access to POSIX features that conflict with Ada-provided services, such as task (or thread) management, or IO, or not implementing services that were too large and troublesome, such as System V material, logging, etc. The main issues that need attention are those from mistakes in the current binding and changes because of new POSIX errors, symbols, and new capabilities in services that we already provide.

•         There is some interest in seeing this standard progressed, but to date we have not found anyone wanting to fund one or more of us to do the work. That being said, if this is an all-volunteer effort it will run at a minimal rate.

Received from Stephen Michell, Wednesday, November 07, 2007 21:37

 

Report to WG9 on status of Ada-POSIX Binding Investigation

      Stephen Michell, Rapporteur PRG, November 2007.

 

Project: Revision of ISO/IEC 14519:1998 Ada POSIX Binding

 

Calling meeting for Feb 6-8 in Ottawa or Florida, pending availability of Ted Baker. Greg Gicca is hosting ARG Meeting 8-10 Feb 2008, and is

willing to host us 6-8 Feb. Hopefully we can overlap with ARG for Friday morning.

 

Analysed existing Ada POSIX Binding document, 9945:2008(Draft) to identify

   What is still valid

   What we don't want to include

      (c-specific, already in Core Ada or in Annexes)

   Parts that have been obsoleted by 9945 since 1996

      (and there are quite a few)

 

Developed list of issues - about 1800 individual data points and categorized them.

 

A small group (Michell, Moore, Wong) met in Tallahassee with Ted Baker (Editor) in Feb 2006  to review proposed approach and review our

analysis, reasons and to gain his perspective on various issues.

 

What we are left with is a set of approximately 350 individual datapoints that need further analysis. These have a significant variety of reasons for needing further analysis. Most will be solved by a careful review and a change of a name or just a POSIX reference in the document. A few might need new the possible addition of new procedures, constants or types. A very few could require new packages and functionality defined.

 

We have a plan to develop a web site in parallel with ada-auth.org mainitained by Randy Brukhart, and to develop a few POSIX Issues.

 

POSIX Issues

We predict only a small number (20-50) POSIX Issues needed to capture analysis done or to be done.

 

PRG Interest

There is a group of about 10 people that have expressed interest in the activity. An email reflector has been set up but has not been used much yet. (need web site to support the activity).

 

PRG Procedures

I have prepared a set of procedures for presentation and review at the first meeting. This document came from ARG procedures. I expect that some simplification will occur.

 

Standardization

The final product needs IEEE and ISO/IEC/JTC1 approval processes. This may govern the final product. Ideally an amendment or even a technical corrigendum might be possible, if IEEE agrees. We (Ted) asked IEEE to waive copywright but have had no response.

 

Austin Group has offered to help, but in non-technical ways. I expect that they could be used for sanity checks and to help navigate the EEE balloting processes.

 

Workload

The amount of work to be done probably translates to about 1 person years of work. Since we are unfunded, 5 or 6 people over 2 years could probably do this work.

 

Officers

It seems as though I should stay on as Rapporteur. My heavy workload interferes with progress, but given the lack of interest of anyone else wanting to lead this effort, it seems like the best alternative. Ted Baker has agreed to stay involved as editor. Given Ted's expertise and knowledge of the toolset in producing the document, this will also minimize our effort.

Report

Received from S.  Michell, 19 June 2008.

Report to WG9 on status of Ada-POSIX Binding Investigation

      Stephen Michell, Rapporteur PRG, June 2008.

Project: Revision of ISO/IEC 14519:1998 Ada POSIX Binding

Officers:

   Stephen Michell, Rapporteur

   Ted Baker, Editor

Membership:  Stephen Michell, Ted Baker, Luke Wong, Canada, Brad Moore, Canada, Matt Gingell, USA, Michael Gonzales-Harbour, Spain, some on internet as observers.

Future meetings:

•         Monthly teleconferences July - Nov 2008

•         Oct 26-27 2008 in Portland, Ore,

•         Feb 18-20 2009 in Tallahassee,

•         June 2009 in Brest, France

Meeting 2-4 Feb 2008 Florida

Discussed PRG Procedures document. The document discusses the way that PIs are discussed, but not how the standard itself is dealt with. The document does not include IEEE maintenance issues. We probably need to make this a joint maintenance committee and figure out how to make this work. Steve and Ted have an action Item to discuss with IEEE how a standards group can be organized.

Discussed various approaches for standardization. The largest challenge is the IEEE balloting effort, as it would seem that we are unlikely to build the balloting membership with the proper mix of vendors, users, acedemia to carry a successful ballot. We have tried to identify IEEE officers to help us examine alternative    approaches, but have no responses to any queries for information. I have also been thinking that ISO could use their copywrite to unilaterally issue an amendment to the document, but need to hold discussions with ITTF and the JTC1 secretariat to determine feasibility of such an approach.

We took the list of issues developed in 2007 and developed 22  PI's. These PI's are a statement of the issue and a collation of  the issues collected. Each PI was assigned to a member to develop a primary writeup, analysis and proposed approach. In many cases the proposed approach will be no action (since the Ada already has the functionality, it is pure C language functionality, and other reasons).  Once these are done, the intention was to triage these into importance

Meeting 15-16 June 2008

A small subset met in Venice and worked exclusively on PI's. From this work, 4 PI's have provisional writeups, and 3 new PI's were created. One issues (Localization of character sets and Date/time is being transferred to the ARG to consider for an Ada technical corrigendum.

Although the PRG web site is up, no PI's have been placed on this site, due to the immaturity of the issues identified and lack or writeups.

Progress has been slower than I want, and we are not getting the attendance necessary. I have therefore proposed holding the next meetings by monthly phone conferences, with a goal to push the generation and review of PI's. A full PRG meeting is planned for Oct 26-27 2008 in Portland, Ore, Feb 18-20 2009 in Tallahassee, and June 2009 in Brest.

Developed list of issues - about 1800 individual data points and categorized them.

POSIX Issues

We predict only a small number (30-40) POSIX Issues needed to capture analysis done or to be done.

PRG Interest

There is a group of about 10 people that have expressed interest in the activity. An email reflector has been set up but has not been used much yet. (need web site to support the activity).

PRG Procedures

I have prepared a set of procedures for presentation and review at the first meeting. This document came from ARG procedures. We need to include more focus on standardization.

Standardization

The final product may need IEEE and ISO/IEC/JTC1 approval processes. This may govern the final product. Ideally an amendment or even a technical corrigendum might be possible, if IEEE agrees. We (Ted) asked IEEE to waive copyright but have had no response.

Austin Group has offered to help, but in non-technical ways. I expect that they could be used for sanity checks and to help navigate the IEEE balloting processes, if we use this process.

Work Item:

We should not need to create an NP for maintenance or development of a TC. At this point we would fail the requirement for 5 countries but could likely add some supporting folks.

Workload:

The amount of work to be done probably translates to about 1 person years of work. Since we are unfunded, 5 or 6 people over 2 years could  probably do this work.

Discussion

Resolutions

[Resolution 54-4]

Agenda

 

Invited Presentation: Progress of SC22 Project on Programming Language Vulnerabilities, Jim Moore, Secretariat SC22/OWGV

Background

Document [N454] reported that SC22 had initiated a project to provide a commensurate treatment of vulnerabilities in programming languages. WG9  appointed Erhard Ploedereder (AdaEurope) to represent the interests of WG9 in OWG:Vulnerability.

Presentation:

Discussion:

Resolution:

[Resolution 54-10]

Agenda

 

Committee of the Whole

Background
Discussion
Resolution

[Resolution] Agenda

Unfinished Business

Background
Discussion
Resolution

[Resolution] Agenda

New Business

Background
Discussion
Resolution

[Resolution] Agenda

Administrative Actions

Action:

[We appreciate the comfortable accommodations provided by Ada Europe. The resolution expresses WG9's gratitude.

[Resolution 54-07]

Action:

We appreciate the services of the meeting Secretary, <TBD>. The resolution expresses WG9's gratitude.

[Resolution 54-08]

Action:

We appreciate the continuing services of the WG9 Web Master, Clyde Roby. The resolution expresses WG9's gratitude.

[Resolution 54-09]

Action:

[<TBD>]

Review of New Action Items

[<TBD>]

Agenda

Final Consideration of Resolutions

[Numbering of resolutions is provisional and may be changed following the meeting.]

Administration

Resolution 54-1:

[The minutes of Meeting #53 are contained in document N486 are approved.]

[Discussion] Agenda

Resolution 54-2:

[ISO/IEC JTC1/SC22/WG9 continues its Ada Rapporteur Group until the next plenary meeting and expresses its grateful appreciation to the Rapporteur and the members for their continuing service.

Ed Schonberg (US) is continued as Rapporteur.

The membership of the ARG is designated to be: Steve Baird (SIGAda), John Barnes (UK), Randy Brukardt (US), Alan Burns (UK), Robert Dewar (US), Gary Dismukes (US), Robert Duff (US), Kiyoshi Ishihata (Japan), Bibb Latting (US), Pascal Leroy (France), Brad Moore (Canada), Erhard Ploedereder (Germany), Jean-Pierre Rosen (France), Ed Schonberg (US), Tucker Taft (US), Bill Thomas (SIGAda), and Tullio Vardanega (Italy).

The Convener of WG9 is authorized to act for WG9 between meetings in appointing additional members of the ARG. In doing so, she shall consult with the Rapporteur and the National Body or Liaison Organization nominating the member.

Rapporteurs are instructed that they may permit other individuals to observe the deliberations of the Rapporteur Group. The admission of observers and the extent of participation permitted to observers are at the discretion of the Rapporteur with the concurrence of the membership of the Rapporteur Group.]

[Discussion] Agenda

Resolution 54-3:

[ISO/IEC JTC1/SC22/WG9 continues its Annex H Rapporteur Group until the next plenary meeting and expresses its grateful appreciation to the Rapporteur and the members for their continuing service.

Alan Burns (UK) is continued as Rapporteur.

The membership of the HRG is designated to be: Peter Amey (UK), John Barnes (UK), Patrick de Bondeli (France), Alan Burns (UK), Rod Chapman (UK), Robert Dewar (US), Bob Duff (US), Michael Holloway (SIGAda), Stephen Michell (Canada), Michael Pickett (UK), Erhard Ploedereder (Germany), Juan Antonio de la Puente (Ada Europe), George Romanski (SIGAda), Jean-Pierre Rosen (France), Mark Saaltink (Canada),  Tullio Vardanega (Italy), and Brian Wichmann (UK).

The Convener of WG9 is authorized to act for WG9 between meetings in appointing additional members of the HRG. In doing so, she shall consult with the Rapporteur and the National Body or Liaison Organization nominating the member.

Rapporteurs are instructed that they may permit other individuals to observe the deliberations of the Rapporteur Group. The admission of observers and the extent of participation permitted to observers are at the discretion of the Rapporteur with the concurrence of the membership of the Rapporteur Group.]

[Discussion] Agenda

Resolution 54-4:

[ISO/IEC JTC1/SC22/WG9 continues its POSIX/Ada binding Rapporteur Group (PRG) until the next plenary meeting and expresses its grateful appreciation to the Rapporteur and the members for their continuing service.

Stephen  Michell(Canada) is continued as Rapporteur.

The membership of the PRG is designated to be: Ted Baker (US), Stephen Michell (Canada),  Luke Saaltink (Canada).

The Convener of WG9 is authorized to act for WG9 between meetings in appointing additional members of the PRG. In doing so, she shall consult with the Rapporteur and the National Body or Liaison Organization nominating the member.

Rapporteurs are instructed that they may permit other individuals to observe the deliberations of the Rapporteur Group. The admission of observers and the extent of participation permitted to observers are at the discretion of the Rapporteur with the concurrence of the membership of the Rapporteur Group.]

[Discussion] Agenda

Resolution 54-5:

[WG9 schedules future meetings as follows:

  • Meeting #55, in conjunction with the 2008 SIGAda conference, Thursday afternoon, 30 Oct 2008, Portland, Oregon USA.
  • Meeting #56, in conjunction with the AdaEurope conference, Friday morning, 2009,  Brest, France.]

[Discussion] Agenda

Work Programme

Resolution 54-6:

[WG9 approves the following AIs, which have been previously approved by the ARG: ]

 [Discussion] Agenda

Appreciation

Resolution 54-7:

[ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Ada Europe for their gracious accommodations in hosting Meeting #54.]

[Discussion] Agenda

Resolution 54-8

[ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to <TBD> for serving as Secretary of Meeting #53.]

[Discussion] Agenda

Resolution 54-9:

[ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Clyde Roby for his continuing service in maintaining the WG9 Web Page.]

[Discussion] Agenda

Resolution 54-10:

[ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Jim Moore, the secretariat of ISO/IEC SC22/OWGV for his informative presentation on the project for programming language vulnerabilities.]

[Discussion] Agenda

Resolution 54-11:

[Discussion] Agenda

Recess

[The meeting is expected to end at 12:00 NOON. It is the convener's request that the meeting should recess subject to her call. HODs may anticipate email ballots to be conducted during the months between this meeting and the next one.]

Agenda

References

Relevant WG9 Documents

ISO/IEC 8652:1995 Information Technology--Programming Languages—Ada

ISO/IEC 8652:1995/COR.1:2001, Technical Corrigendum to Information Technology--Programming Languages—Ada

ISO/IEC 8652:1995/AMD.1:2007, Amendment to Information Technology--Programming Languages--Ada

N388, Request for Subdivision of Project ISO/IEC 8652:1995

N389, Minutes, Meeting #40 of ISO/IEC JTC1/SC22/WG9, Friday, 18 May 2001, Leuven, Belgium

N404, Working Draft, Revision of ISO/IEC 13813

N405, Recommendation on ISO/IEC 13813 from the UK

N406, Procedures of the Ada Rapporteur Group

N412, Instructions to the Ada Rapporteur Group from SC22/WG9 for Preparation of the Amendment to ISO/IEC 8652, 10 October 2002

N414, Notification of Approval of Category C Liaisons between SC22/WG9 and Ada-Europe and SIGAda

N416, Charter of the Annex H Rapporteur Group (HRG)

N417, Charter of the ASIS Rapporteur Group (ASISRG)

N423, Convener's Comments on Instructions to the Ada Rapporteur Group from SC22/WG9 for Preparation of the Amendment to ISO/IEC 8652, December 2002

N424, University of York Technical Report YCS-2003-348, Guide for the use of the Ada Ravenscar Profile in high integrity systems

N426, Proposed New Work Item, Guide for the use of the Ada Ravenscar Profile in High-Integrity Systems

N428r, Minutes, Meeting #44 of ISO/IEC JTC1/SC22/WG9, Friday, 20 June 2003, Toulouse, France

N435, Draft for PDTR Approval Ballot, ISO/IEC TR 24718, Guide for the use of the Ada Ravenscar Profile in high integrity systems, 14 Feb 2004

N437, ARG Rapporteur's Proposal for Defining Scope of Amendment to ISO/IEC 8652:1995, 9 April 2004

N441, SC22 N3758, WG9 Request for National Body Contributions on Implementation of Coded Character Sets in Ada (text document),

N442, Draft submitted for DTR Approval Ballot, ISO/IEC TR 24718, Guide for the use of the Ravenscar Profile in high integrity systems, 20 July 2004 (PDF file, 626 KBytes)

N444, Meeting Report: ISO/IEC JTC1/SC22, 6-10 September 2004, Jeju, Republic of Korea

N445, DRAFT Explanatory Report re SC22 Resolution 04-15

N447, Explanatory Report re SC22 Resolution 04-15

N452r, Convener's Report, 2005, ISO/IEC JTC1/SC22/WG9 (Ada)

N454, Meeting Report: ISO/IEC JTC1/SC22 (Programming Languages, Operating Systems and Environments), 29 September to 2 October 2005, Mont Tremblant, Quebec, Canada

N456, Convener Proposal for the Revision of the ASIS Standard, ISO/IEC 15291

N457, Approved Plan for the Revision of the ASIS Standard, ISO/IEC 15291

N458, Minutes, Meeting #49 of ISO/IEC JTC1/SC22/WG9, 17 November 2005, Atlanta, Georgia, USA

N459, Disposition of Informal Comments Received on Editor's Draft of Amendment, 23 March 2006

N460, Editor's Draft, Amendment 1 to ISO/IEC 8652, March 2006

N462, JTC1 Directives, 5th edition, Version 2, April 2006 (JTC001-N-8122)

N463, ISO/IEC Directives, Part 2, Rules for the structure and drafting of International Standards

N464r, 2nd Preliminary draft New Work Item Proposal for the Revision of ISO/IEC 15291, ASIS

N465, Response of ISO/IEC JTC1/SC22/WG9 to SC22 Resolution 5-15

N467, Submission of ISO/IEC 8652:1995/FPDAM 1 to SC22 for FPDAM ballot

N468, Example approach for structuring the revised ASIS Standard

N469, John Benito, "OWG: Vulnerability -- A new type of Working Group used for a new SC22 Working Group," for SC22/WG9 Meeting, Porto, Portugal, June 2006

N470, Minutes, Meeting #50 of ISO/IEC JTC1/SC22/WG9, 9 June 2006, Porto, Portugal

N472, Proposal to Revise ISO/IEC 15291, Information technology - Programming languages - Ada Semantic Interface Specification (ASIS)

N475, Meeting Report: Plenary Meeting of ISO/IEC JTC 1/SC 22, 18-22 September 2006, London, UK.

N477, Canadian Contribution, Initial Work Scope Summary for updating Ada POSIX Bindings IS 14519:2001 to POSIX Draft IS 9945:2008 and Ada 2005.

N479, SIGAda contribution, Clyde Roby, Notes of Birds-of-a-Feather session on POSIX-Ada Binding, conducted at SIGAda 2006, November 15, 2006, Albuquerque, NM, USA.

N480, Announcement and Draft Agenda, Meeting #52 of ISO/IEC JTC 1/SC 22/WG 9, 29 June 2007, Geneva, Switzerland.

N481, Draft Detailed Agenda, Meeting #52 of ISO/IEC JTC 1/SC 22/WG 9, 29 June 2007, Geneva, Switzerland

N482, Draft Minutes, Meeting #52 of ISO/IEC JTC 1/SC 22/WG 9, 29 June 2007, Geneva, Switzerland

N483, Annual Convener's Report, 2007, ISO/IEC JTC1/SC22/WG9 (Ada)

N484, Announcement and Draft Agenda, Meeting #53 of ISO/IEC JTC1/SC22/WG9, Thu, 8 November 2007, Vienna, VA, USA

N485, Detailed Agenda, Meeting #53 of ISO/IEC JTC 1/SC 22/WG 9, 8 November 2007, Vienna VA, USA

N486, Draft Minutes, Meeting #53 of ISO/IEC JTC 1/SC 22/WG 9, 8 November 2007, Vienna, VA, USA

N487, Announcement and Draft Agenda, Meeting #54 of ISO/IEC JTC1/SC22/WG9, Friday 20 June 2008, Venice, Italy

External Web Sites

ISO Web Site: http://www.iso.org/

ITTF Web site of publicly available standards: http://isotc.iso.ch/livelink/livelink/fetch/2000/2489/Ittf_Home/PubliclyAvailableStandards.htm.

JTC1 Web Site: http://www.jtc1.org/

SC22 Web Site: http://www.open-std.org/JTC1/SC22/

WG9 Web Site: http://www.open-std.org/JTC1/SC22/WG9/

SC22 High Integrity Ad Hoc Group Web Site: http://www.aitcnet.org/isai/

ACAA Web Site: http://www.ada-auth.org/

ACAA Web Site for ARG Minutes: http://www.ada-auth.org/arg-minutes.html

ACAA Web Site for AIs: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/

ACAA Web Site for Amendment: http://www.ada-auth.org/amendment.html

Ada-Europe Web Site: http://www.ada-europe.org/

Ada-Europe 2008 Conference Web Site:  http://www.ada-europe.org/conference2008.html

SIGAda Web Site: http://www.acm.org/sigada/

SIGAda 2008 Conference Web Site: http://www1.acm.org/sigs/sigada/conf/sigada2008/

OWG: Vulnerabilities Site:  http://www.aitcnet.org/isai/

[Agenda]

End of Document