These minutes are not official until approved at a subsequent meeting.
Draft 1.2, 1 July 2006, Jim Moore: Incorporates suggestions from Vardanega and Brukardt.
Meeting #50 of ISO/IEC JTC1/SC22/WG9 was held in conjunction with the Ada-Europe conference, 9:00 am, Friday, 9 June 2006, in Porto, Portugal. Conference and venue information can be found at the conference web site.
The announcement and preliminary agenda for this meeting were circulated as N461. The detailed agenda was circulated as N467.
The convener called the meeting to order at 9:05 am.
The President of Ada-Europe, Erhard Ploedereder, welcomed us to the meeting. In honor of the event of the 50th meeting, he led the group in a toast to WG9.
The convener took notes during the meeting.
The meeting agenda is shown here. No additions were proposed and the agenda was approved.
The draft minutes of Meeting #49 are recorded in document N458. They were approved without change by [Resolution 50-1].
[Agenda]
| Belgium | Dirk Craeynest (HOD) | |
| Canada | Steve Michell (HOD), Brad Moore | |
| France | Jean-Pierre Rosen (HOD), Pascal Leroy, Robert Cholay (unable to attend) | Report |
| Germany | Erhard Ploedereder (HOD) | |
| Italy | Tullio Vardanega (HOD) | Report |
| Japan | Kiyoshi Ishihata (HOD) (unable to attend) | |
| Switzerland | Urs Mauer (HOD) | |
| UK | John Barnes (HOD), Alan Burns | |
| USA | Joyce Tokar (HOD), Randy Brukardt, Ed Schonberg, Tucker Taft |
| Ada-Europe | Erhard Ploedereder |
| SIGAda | John McCormick |
| Convener | Jim Moore |
| Webmaster | Clyde Roby (unable to attend) |
| ARG Rapporteur | Pascal Leroy |
| HRG Rapporteur | Alan Burns |
| Project Editors |
|
| Guests: |
John Benito, Co-Convener SC22/OWGV Ahlan Marriott, President, Ada-Switzerland |
Email received from Jean-Pierre Rosen, 3 June 2006:
The Ada group of AFNOR met on May 22nd, 2006.
We are of course very happy of the submission of the amendment, and express our appreciation to the editors, the ARG, and the convenor and members bodies of WG9.
Given the number of P members of SC22 from countries without a representative in WG9, we feel that some lobbying would be appropriate to make sure that these countries vote promptly - and positively. We have identified some countries where we can have appropriate contacts; it might be useful during the meeting to review all SC22 countries and try to share the lobbying among WG9 members.
Regarding the current vote about ISO/IEC 14519:2001 (Posix-Ada), there was some uncertainty about the possible benefits and drawbacks of stabilizing vs confirming. We'd like to hear the positions of other members on this issue.
Regarding the status of 18009: we'd like a discussion about the status of the validation suite for Ada 2005.
Regarding the Disposition of Informal Comments Received on Editor's Draft of Amendment: we consider that these proposals fall beyond the possible scope of corrections at this stage of the standardization process. However, we recognize that the third suggestion (Include bounded and protected or synchronized versions of the Container packages in the Ada standard) could be studied by the ARG, provided the goal and scope of work are defined at WG9 level.
Email from Tullio Vardanega, 5 May 2006:
[Agenda]
Ada-Europe is a Category C Liaison to WG9 [See N414]
Prof. Ploedereder requested a confirmation of the date for the conclusion of the FPDAM ballot in SC22. The convener replied that the ballot is scheduled to close on 27 August, but noted that Secretariats sometimes "stop the clock" to allow late ballots to be processed.
[Agenda]
SIGAda is a Category C Liaison to WG9 [See N414]
From Minutes of Meeting #49 [N458]
The SIGAda Extended Executive Committee has approved the creation of an Application Programming Interface Working Group (APIWG). Geoff Smith chairs the group. A new chair has been appointed for the ASISWG, Bill Thomas. John McCormick, the SIGAda President, will serve as its liaison representative to WG9.
[Agenda]
Given the current scheduling, I will be unable to attend the November 2006 meeting of WG9. My employer has other plans for me on that date. I plan to ask another participant in WG9 to preside over the meeting in my place. Of course, I will work with that person to prepare an appropriate agenda.
My third term as convener will end with the SC22 plenary of September 2006. Considering the two years spent as acting convener, I will have served for eleven years in all. The US conducted a call for candidates but there were no offers. Therefore, I submitted my credentials in response to a second call. I anticipate that the US will endorse my candidacy. Serving this long as a convener is unusual and is discouraged. It is up to SC22 to decide whether to reappoint me.
Since Meeting #49, AXE Consulting, via the US National Body has contributed the draft of AMD.1 to ISO/IEC 8652 to WG9. As directed by Action Item 49-2, I conducted a letter ballot of WG9 to approve progressing the draft to SC22 for balloting. That action was approved by a vote of 9-0-0. At the request of WG9, SC22 had previously authorized its Secretariat to skip the typical step of a PDAM ballot and proceed directly to FPDAM balloting. That ballot is currently in progress and will close 27 August. It is important for every WG9 participant to urge their national body to vote so that we meet the requirement that at least 50% of the SC22 nations must vote.
As you know, 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. I am the convener of OWGV, the group created by SC22 to execute this project. At this meeting, we are fortunate that the co-convener of OWGV, John Benito, will provide a presentation on the progress of the group.
Previously, WG9 decided that Erhard Ploedereder would represent the interests of WG9 in OWGV, but we also asked the HRG to formulate a long-term recommendation. We will have an opportunity to discuss these ideas.
In the newly revised Directives, JTC1 has inserted a rule that for a vote to be valid any level, at least 50% of the participating nations must cast a ballot. Acceptable ballots include Yes, No, and Abstain. Fully representative voting has never been a problem at the WG9 level, however it is a chronic problem at the SC22 level. In every SC22 vote affecting WG9, it is vitally important that every nation which participates in WG9 cast a ballot at the SC22 level -- even if the ballot is simply an abstention. As relevant ballots occur in SC22, I will remind WG9 participants to contact their SC22 counterpart and ensure that a ballot is cast.
Of course, the most important topic for this meeting is to determine the next steps for the processing of the amendment to ISO/IEC 8652. There are also questions concerning the disposition of comments received during the informal commenting period on the draft amendment. In addition, we will discuss the priorities of the ARG and their new work on the revision of ISO/IEC 15291, ASIS.
[Agenda]
Document [N454] reported that SC22 had initiated a project to provide a commensurate treatment of vulnerabilities in programming languages. WG9 reacted with the following resolution:
Pending determination of the relationship of the HRG to OWG:Vulnerability, Erhard Ploedereder (Germany) is appointed to represent the interests of WG9 in OWG:Vulnerability. OWG:Vulnerability is invited to colocate its meeting with the Ada-Europe Conference, 5-9 June 2006, and the meeting of WG9, 9 June 2006, both in Porto Portugal.
OWG:Vulnerability was unable to colocate its meeting, but its co-convener, John Benito, is attending to provide a status briefing [N469].
Tokar (US) asked if the OWGV is interested in participation by language users. Benito replied affirmatively. Taft (US) mentioned that "Cyclone" [apparently, http://www.research.att.com/viewProject.cfm?prjID=67 -- convener] might be a source of information. Ploedereder (Germany): Calling the subject "language vulnerabilities" may create a language war; it would be better to call the subject "programming vulnerabilities". Steve Michell (Canada): WG9 should contribute its TR 15942 to the project. The convener asked that Michell attend the next OWGV meeting and make a presentation introducing 15942. Taft (US): It is important for the project to appeal to tool vendors; they would be more likely to read and act upon the contents of the resulting TR.
[ Resolution 50-14 ]
[Agenda]
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.
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 JTC1/SC22/WG9 recommends to SC22 that the following Standard be withdrawn when it reaches the end of its five-year review period:
For status, see: [Project Editor Maintenance Report, 13813]
(Reassigned to Rapporteur of ARG): Draft a new work item proposal for the revision of the ASIS standard, ISO/IEC 15291.
For status, see [Report of Ada Rapporteur Group]
[Editor, TR 24718] Monitor implementation by ITTF of free availability for ISO/IEC TR 24718.
For status, see: [Project Editor Maintenance Report, 24718]
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.
Status: Administratively CLOSED. The action is noted as a continuing duty of the editor. See [Project Editor Maintenance Report, 8652]
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]
[Editor of 8652] (Assigned by SC22 Resolution 5-15) Review the work of the Free University of Amsterdam on "Grammar Engineering" at http://www.cs.vu.nl/grammars/browsable (and as discussed in JTC1/SC22 N 3977), investigate areas for cooperation, and report upon progress made and issues found.
For status: See [Project Editor Maintenance Report, 8652]
[ARG Rapporteur] Invite Axe Consulting to circulate its contracted draft materials related to the proposed amendment to the National Bodies and Liaison Organizations of WG9 for review and comment on the draft of the proposed amendment prior to the formal contribution of the proposed amendment to WG9 by the US National Body. The period of review will be approximately 60 days. Circulated documents will be PDF in A4 paper size and will include a draft ISO Foreword.
Status: CLOSED. Draft was circulated.
[Convener] Following contribution of the proposed draft amendment by the US National Body, the convener is requested to conduct a letter ballot of WG9 to authorize submission of the document to SC22 for FPDAM ballot.
Status: CLOSED. Ballot was conducted with the result that the submission to SC22 was approved. The SC22 ballot has commenced; it will close on 27 August.
[HRG Rapporteur] The HRG is requested to suggest a relationship to OWG:Vulnerability.
For status: See [Report of Annex H Rapporteur Group]
[Convener] The convener is requested to convey a concern to SC7, to SC22, and to OWG:Vulnerability that modeling languages and automatic code generation are not treated by the current terms of reference of OWG:Vulnerability and SC22 itself. It is suggested that JTC1 work on modeling languages and automatic code generation should be transferred to SC22.
Status: CLOSED. On 20 November 2005, the convener sent a note to the Chairs and Secretariats of both SC7 and SC22 conveying the concern.
[Convener] Report to SC22 that WG9 colocates its meetings with major Ada conferences and has been successful in attracting the physical attendance of a large proportion of its participants. WG9 anticipates no immediate role for teleconferencing in its works. Of course, WG9 does not oppose the use of teleconferencing if the need arises.
Status: CLOSED. On 20 November 2005, the convener sent a note to the Chair and Secretariat of SC22 conveying the viewpoint.
[Convener] Advise AXE Consulting of appropriate wording for a note advising ISO that it expects the AXE copyright to be removed from the ISO amendment.
Status: CLOSED. On 20 November 2005, the convener sent a note to AXE Consulting providing the appropriate wording.
[Agenda]
Resolution 49-4 tentatively scheduled meeting #51 in conjunction with the 2006 SIGAda conference. The resolution offered below confirms the previous resolution with a precise schedule and schedules meeting #52 in conjunction with the 2007 Ada-Europe conference.
The words "morning" and "evening" were added to the previously drafted resolution.
[Agenda]
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.
Maintenance action recommendation is due in 2005 for systematic review in 2006.
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 is underway and scheduled to close on 27 August 2006.
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.
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: Resolution 05-33 of the 2005 Plenary Meeting of SC22 scheduled a letter ballot on systematic review requests, including this one.
[Editor of 8652] (Assigned by SC22 Resolution 5-15) Review the work of the Free University of Amsterdam on "Grammar Engineering" at http://www.cs.vu.nl/grammars/browsable (and as discussed in JTC1/SC22 N 3977), investigate areas for cooperation, and report upon progress made and issues found.
Status: CLOSED. See [N465].
The draft amendment to ISO/IEC 8652 was prepared and delivered for balloting.
[No resolution.]
[Agenda]
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.
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 JTC1/SC22/WG9 recommends to SC22 that the following Standard be withdrawn when it reaches the end of its five-year review period:
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."
[No written report.]
[Agenda]
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.
[No written report.]
[Agenda]
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.
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.
[No written report.]
[Agenda]
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.
[No written report.]
[Agenda]
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.
[Editor, TR 24718] Monitor implementation by ITTF of free availability for ISO/IEC TR 24718.
Status: The 2005 JTC1 letter ballot on free availability for TR 24718 (the Ravenscar Guide) completed with no objections. The request has been forwarded to ITTF for implementation. At its 2005 plenary meeting, SC22 approved resolution 05-01 reiterating the request.
[No written report.]
[Agenda]
WG9 N406: Procedures of the ARG
WG9 N412: Instructions to the Ada Rapporteur Group from SC22/WG9 for Preparation of the Amendment to ISO/IEC 8652.
WG9 N423: Convener's Comments on Instructions to the Ada Rapporteur Group from SC22/WG9 for Preparation of the Amendment to ISO/IEC 8652
WG9 N437: ARG Rapporteur’s Proposal for Defining Scope of Amendment to ISO/IEC 8652:1995
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.
SC22 Resolution 02-24: Recommendation on Coded Character Sets
Support:
JTC1/SC22 believes that programming languages should offer the
appropriate support for ISO/IEC 10646, and the Unicode character
set where appropriate.
SC22 Resolution 04-15: Coded Character Sets:
JTC1/SC22 agrees that the proposed implementation of coded character
set support
described in document N 3758 agrees with the principles for coded
character set support previously adopted by SC22, notably resolution
02-24. JTC1/SC22 instructs WG9 to consider referencing ISO/IEC
TR 10176 Annex A in the revision of the Ada language standard.
WG9 N447, Explanatory Report re SC22 Resolution 04-15
Resolution 46-8:
WG9 approves the scope of Amendment 1 to ISO/IEC 8652:1995 as defined by N437 and requests the ARG to initiate preparation and circulation of draft text of the Amendment.
From Minutes of Meeting #47 [N448]:
The Ada Rationale will include a note explaining why the Amendment references IS 10646 regarding character set coding rather than TR 10176. [Document N447 is relevant.] ...
From the minutes of Meeting #48 [N451]:
It was noted that comments may still result from SC22 balloting despite WG9's best efforts. The convener said that he may have to schedule comment disposition meetings; this would have the effect of delaying progress toward JTC1 approval.
From Meeting Report: ISO/IEC JTC1/SC22, 29 September to 2 October 2005, Mont Tremblant, Quebec, Canada [N454]:
Resolution 05-29: Authorization to Initiate an FPDAM Ballot
for Ada
JTC1/SC22 instructs its Secretariat to initiate an FPDAM ballot
for ISO/IEC 8652: 1995, Ada, upon receipt of the text from the
WG9 (Ada) Convener.
Schedule currently (2 May 2006) posted on WG9 Web Site:
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.
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].
(Reassigned to Rapporteur of ARG): Draft a new work item proposal for the revision of the ASIS standard, ISO/IEC 15291.
Status: None
Email from Pascal Leroy, 4 May 2006:
The ARG met in Atlanta, GA, USA in November. The meeting was devoted to studying and validating the corrections made during the preparation of draft 14 of the Amendment document and the Reference Manual. These corrections were mostly editorial in nature. The minutes, which list all the editorial corrections, as well as fixes to a number of issues identified after the meeting, were approved by a letter ballot on January 13th.
Draft 15 (which incorporated all these changes) was released on December 15th for informal review by National Bodies and Liaison Organizations. The deadline for submitting comments was February 3rd. By that date a number of comments were received, and those that were within the scope of the Amendment were taken into account in preparing draft 16.
On March 7th, the US TAG consented to the submission of draft 16 to WG9. This draft [ N460 ] was received by WG9 on March 26th, and a letter ballot was initiated with a deadline of April 27th. A few days before the deadline, all National Bodies had voted to approve the Amendment, which was then forwarded to SC22 [ N467 ]. This step essentially concludes the technical work on the Amendment. [ Resolution 50-13 ]
In the meantime the Editor had started some infrastructure work to be able to handle AIs for Ada 2005 (13 issues created to date) and for ASIS 1999. The ASIS team has collected proposals from the community for updating ASIS, and 15 SIs have been created to date.
The Rapporteur has prepared a New Work Item proposal for revising ASIS [ N464r ]. The Convener indicated that because of intellectual property rights, we won't be able to structure the revised ASIS standard as we did the original one. The Rapporteur has prepared a template showing how the revised standard could be structured to satisfy the ISO requirements [ N468 ]. [ Resolution 50-7 ].
A significant number of AIs have been incorporated in the Amendment but have never been formally approved by WG9 because doing so would have unnecessarily delayed the Amendment. All of these AIs have been approved by the ARG either during meetings or as part of letter ballots. The Rapporteur requests that WG9 approve these AIs en bloc. A detailed list can be obtained from the Editor. [ Resolution 50-8 ]
The Rapporteur proposes the following list of members for the ARG: Baird, Barnes, Brukardt, Burns, Dewar, Dismukes, Duff, Ishihata, Leroy, Michell, Ploedereder, Rosen, Schonberg, Taft, Thomas, Tokar, Vardanega. [ Resolution 50-2 ]
The ARG has provided a designation for requests for clarification or improvement of functions of ASIS. In analogy with AIs, Ada Issues, they are called SIs. So far the ARG has received about 15 AIs (on Ada 2005) and about 15 SIs.
There was discussion regarding the format of the revised ASIS standard--notably the division of material between the normative standard, to be sold by ISO, and the non-normative coding example, to be freely available. It was agreed that it is important to refrain from destroying the value of the ISO-owned document. However, it was noted that the US sells some language standards inexpensively. The convener was requested to investigate the possibility that the US might sell this document inexpensively. (Action Item 50-1). Ultimately, there was agreement with the proposal from the ARG.
In addition, it was noted that item B.2 of the draft NP [ N464r ] should be designated as "No". The Convener took Action Item 50-2 to correct the draft NP and forward it to SC22 for approval.
It was noted that the biggest risk to approval of the amendment is that balloting in SC22 might fall short of the 50% level. (No ballot within JTC1 is valid unless at least half of the nations participating at that level cast some sort of ballot.)
France offered a list of SC22 "P" members with the suggestion that we contact member bodies that appear on the list and urge them to vote. Various individuals accepted the responsibility to contact national bodies as shown below: [Note: The list offered at the meeting was later found to be out of date. The list shown below comes from SC22 N 4066, the recent report of the SC22 Secretariat. -- convener]
[ Resolution 50-2 ] [ Resolution 50-7 ] [ Resolution 50-8 ] [ Resolution 50-13 ]
[Agenda]
WG9 N416, Charter of the HRG
[HRG Rapporteur] The HRG is requested to suggest a relationship to OWG:Vulnerability.
For status: See [Report of Annex H Rapporteur Group]
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.
The HRG is planning to propose a revision of ISO/IEC TR 15942; the rapporteur plans to bring a draft New Work Item Proposal to the next meeting.
The HRG is trying to understand the relationship of the new OWGV to the HRG; they decided to ask Steve Michell to make a presentation to the OWGV regarding 15942 and to ask WG9 to contribute 15942 to the OWGV.
At a later date, the HRG will consider whether to revise TR 24718 (Ravenscar Usage). The Rapporteur asked that the membership of the HRG be continued unchanged.
It was agreed that TR 15942 should be sent to the OWG. The convener took Action Item 50-3 to do so.
[ Resolution 50-3 ]
[Agenda]
There was no unfinished business.
[Agenda]
[N459] provides the informal disposition of comments received by Axe Consulting on the editor's draft of AMD.1. Axe concluded that four comments -- 12, 16, 17, 19 -- fell outside the scope of the amendment authorized by WG9 by Resolution 46-8 and document [N437]. Accordingly Axe referred those four comments to WG9 for its consideration.
As a result of discussion, [Resolution 50-5] was accepted.
The ARG now has a number of responsibilities. This item of business will discuss the relative prioritization of those items.
As a result of discussion and rewording of the original proposal, [Resolution 50-6] was accepted.
The 2006 Systematic Review is expected to include an item for the review of ISO/IEC 14519. There is currently no working group responsible for this standard. Is there any action for WG9 that is appropriate, desirable and feasible?
This standard was developed by SC22/WG15 -- a working group that is now disbanded. WG9 decided make a recommendation for the systematic review.
It was noted that there is no reason to withdraw this standard. Although it is written in an older version of Ada, it still provides appropriate interfaces to POSIX. The possibility for "stabilizing" the standard was suggested; but it was said that stabilization carries the connotation of obsolescence. The possibility of revising the standard was suggested; but it was determined that WG9 has no available manpower or POSIX expertise to undertake a revision. So consensus was reached that WG9 should recommend confirming the standard.
Because the standard now has no working group, it was suggested that WG9 should offer to take responsibility for its maintenance. As a result, [Resolution 50-9] was agreed.
[Agenda]
We appreciate the comfortable accommodations provided by Ada-Europe and the particular hospitality shown at this meeting. The resolution expresses WG9's gratitude.
We appreciate the continuing services of the WG9 Web Master. The resolution expresses WG9's gratitude.
We appreciate the service of the Ada Resource Association and Ada-Europe for their recent press releases regarding the progress of the Ada language amendment and the work of WG9. The resolution expresses WG9's gratitude.
[Agenda]
(Convener) 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.
(Convener) Correct New Work Item Proposal for ASIS revisions (item B.2 should be checked as "No") before forwarding it to SC22 for approval.
(Convener) Take whatever steps are necessary to contribute ISO/IEC TR 15942 to the work of SC22/OWGV.
(Reassigned to Rapporteur of ARG): Draft a new work item proposal for the revision of the ASIS standard, ISO/IEC 15291.
Status: This action item is now CLOSED. The Rapporteur drafted an NP that is the subject of [Action Item 50-2] and [Resolution 50-7].
[Agenda]
All resolutions were approved unanimously.
The minutes of Meeting #49 as contained in document N451 are approved.
[Discussion] [Agenda]
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.
Pascal Leroy (France) 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), Pascal Leroy (France), Steve Michell (Canada), Erhard Ploedereder (Germany), Jean-Pierre Rosen (France), Ed Schonberg (US), Tucker Taft (US), Bill Thomas (SIGAda), Joyce Tokar (US), 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, he 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]
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), Joyce Tokar (US), 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, he 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]
WG9 schedules future meetings as follows:
[Discussion] [Agenda]
Having accepted the contribution by the US National body of the editor's draft of the amendment to ISO/IEC 8652, WG9 also accepts the disposition of informal comments provided in N459. WG9 requests that the ARG retain comments 16, 17, 19 of N459 as items to be considered for future revisions. WG9 requests that the ARG consider solutions to the problem described in comment 12 of N459, 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.
[Discussion] [Agenda]
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.
WG9 accepts the draft New Work Item Proposal for the revision of ISO/IEC 15291 prepared by the Ada Rapporteur [ N464r ] and requests that the convener forward the document to SC22 with the request that SC22 add the revision project to its work programme. Pending approval of the revision project, WG9 authorizes the ARG to commence preliminary work on drafting the revision using the approach described in N468.
[Discussion] [Agenda]
Noting WG9's approval of the amendment to ISO/IEC 8652 and its submission to SC22 for balloting, WG9 authorizes the editor of ISO/IEC 8652 to mark as "Approved" any AIs that provide the basis for the Amendment. WG9 requests the editor to provide a list of these AIs for information.
[Discussion] [Agenda]
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.
[Discussion] [Agenda]
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Ada-Europe for their gracious accommodations in hosting Meeting #50.
[Discussion] [Agenda]
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Clyde Roby for his continuing service in maintaining the WG9 Web Page.
[Discussion] [Agenda]
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to the Pascal Leroy, the membership of the Ada Rapporteur Group, Randy Brukardt and Axe Consulting for their work in preparing the Amendment to ISO/IEC 8652.
[Discussion] [Agenda]
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to John Benito, the co-convener of ISO/IEC SC22/OWGV for his informative presentation on the project for programming language vulnerabilities.
[Discussion] [Agenda]
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to the Ada Resource Association and to Ada-Europe for their recent press releases regarding the progress of the Ada language amendment and the work of WG9.
[Discussion] [Agenda]
At approximately 12:30 pm, the convener recessed the meeting subject to his call. HODs may anticipate email ballots to be conducted during the months between this meeting and the next one.
[Agenda]
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
N400, Minutes, Meeting #41 of ISO/IEC JTC1/SC22/WG9, Friday, 5 October 2001, Bloomington, Minnesota, USA
N404, Working Draft, Revision of ISO/IEC 13813
N405, Recommendation on ISO/IEC 13813 from the UK
N406, Procedures of the Ada Rapporteur Group
N409r, Minutes, Meeting #42, ISO/IEC JTC1/SC22/WG9, Friday, 21 June 2002, Vienna, Austria
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)
N418, Minutes, Meeting #43, ISO/IEC JTC1/SC22/WG9, Friday, 13 December 2002, Houston, Texas, USA
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, DRAFT Minutes, Meeting #44 of ISO/IEC JTC1/SC22/WG9, 20 June 2003, Toulouse, France
N434, Minutes, Meeting #45 ISO/IEC JTC1/SC22/WG9, Friday, 12 December 2003, San Diego, California, USA
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
N439r, Convener's Report, 2004, ISO/IEC JTC1/SC22/WG9 (Ada)
N440, Minutes, Meeting #46 ISO/IEC JTC1/SC22/WG9, Friday, 18 June 2004, Palma de Mallorca, Spain
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)
N443, Announcement and Draft Agenda, Meeting #47 of ISO/IEC JTC1/SC22/WG9, Thursday, 18 November 2004 Atlanta, Georgia, USA
N444, Meeting Report: ISO/IEC JTC1/SC22, 6-10 September 2004, Jeju, Republic of Korea
N445, DRAFT Explanatory Report re SC22 Resolution 04-15
N446, Draft Detailed Agenda, Meeting #47 of ISO/IEC JTC1/SC22/WG9, Thursday, 18 November 2004, Atlanta, Georgia, USA
N447, Explanatory Report re SC22 Resolution 04-15
N448, Minutes, Meeting #47 of ISO/IEC JTC1/SC22/WG9, Friday, 18 November 2004, Atlanta, Georgia, USA
N449, Announcement and Draft Agenda, Meeting #48 of ISO/IEC JTC1/SC22/WG9, Friday, 24 June 2005, York, UK
N450, Detailed Agenda, Meeting #48 of ISO/IEC JTC1/SC22/WG9, Friday, 24 June 2005, York, UK
N451, Minutes, Meeting #48, ISO/IEC JTC1/SC22/WG9, Friday, 24 June 2005, York, UK
N452r, Convener's Report, 2005, ISO/IEC JTC1/SC22/WG9 (Ada)
N453, Announcement and Draft Agenda, Meeting #49 of ISO/IEC JTC1/SC22/WG9, 17 November 2005, Atlanta, Georgia, USA
N454, Meeting Report: ISO/IEC JTC1/SC22 (Programming Languages, Operating Systems and Environments), 29 September to 2 October 2005, Mont Tremblant, Quebec, Canada
N455, Draft Detailed Agenda, Meeting #49 of ISO/IEC JTC1/SC22/WG9, 17 November 2005, Atlanta, Georgia, USA
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, 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
N461, Announcement and Draft Agenda, Meeting #50 of ISO/IEC JTC1/SC22/WG9, 9 June 2006, Porto, Portugal
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
N466, Draft Detailed Agenda, Meeting #50 of ISO/IEC JTC1/SC22/WG9, 9 June 2006, Porto, Portugal
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, [Unapproved] Minutes, Meeting #50 of ISO/IEC JTC1/SC22/WG9, 9 June 2006, Porto, Portugal
N471, List of AIs approved per resolution 50-8
ISO Web Site: http://www.iso.ch/
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 2006 Conference Web Site: http://www.hurray.isep.ipp.pt/ae2006/
SIGAda Web Site: http://www.acm.org/sigada/
SIGAda 2006 Conference Web Site: http://www.sigada.org/conf/sigada2006/
[Agenda]
End of Document