ISO/IEC JTC1/SC22/WG9 N458

[These minutes are not official until approved at the subsequent meeting.]

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

The next meeting of ISO/IEC JTC1/SC22/WG9 was colocated with the SIGAda conference. The meeting began at approximately 2:00 pm and ran into the early evening.

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

The announcement and preliminary agenda for this meeting were circulated as N453. The draft detailed agenda was circulated as N455.


Agenda

References


Detailed Agenda Items


Opening Orders, Jim Moore, Convener

Call to Order

The meeting began at approximately 2:00 pm.

Welcoming Remarks by Host

Our host for the meeting was SIGAda. John McCormick, its new President, made brief welcoming remarks.

Appointment of Meeting Secretary

Clyde Roby volunteered to take notes of the meeting.

Approval of Agenda

The meeting agenda was approved with the addition of two items.

Approval of Minutes of Meeting #48

Background

The draft minutes of Meeting #48 are recorded in document N451

.

Resolution [Resolution 49-1]

[Agenda]


National Body Introductions and Reports

Attendees:

National Body Representatives:

Belgium Dirk Craeynest (HOD) Report
Canada  Steve Michell (HOD) Report
France Jean-Pierre Rosen (HOD), Pascal Leroy Report
Germany Erhard Ploedereder (HOD) Report
Italy Tullio Vardanega (HOD) (unable to attend) .
Japan Kiyoshi Ishihata (unable to attend) .
Switzerland Urs Mauer (HOD) (unable to attend) .
UK John Barnes (HOD) Report
USA Joyce Tokar (HOD), Randy Brukardt, Tucker Taft Report

Liaison Representatives

Ada-Europe Erhard Ploedereder
SIGAda Currie Colket, John McCormick, Geoff Smith, Clyde Roby, Greg Gicca

WG9 Officers:

Convener Jim Moore
Webmaster Clyde Roby
ARG Rapporteur Pascal Leroy
HRG Rapporteur Alan Burns (unable to attend)
Project Editors
ISO/IEC 8652: Erhard Ploedereder, Randy Brukardt, and Pascal Leroy
ISO/IEC 13813 and 13814: Don Sando, Jon Squire and Ken Dritz (all 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 (unable to attend)

HOD Reports:

Belgium

Oral Report:

Belgium reported that it is pleased with the proposal to revise the ASIS standard and the choice of Ada 2005 as a vernacular name for the amended language.

Canada

Email from Steve Michell, 16 November 2005:

I just got in from the JTC1 meeting in Banff. One of the things that they decided upon was to permit more open use of teleconferencing, in fact asking SC's and below to experiment with it.

If possible, I would like a discussion of the use of teleconferencing and to see how we can use it to advantage.

France

Email from Jean-Pierre Rosen, 3 November 2005:

The Ada group of AFNOR met on 2005/11/03, in preparation of the upcomming meeting of WG9.

The future of the group remains uncertain, as some sponsors may be discontinuing their support.

The group reviewed the documents sent by the convenor of WG9.

A question arose recently regarding the format used for the distribution of the upcomming amendment. Only "read-only" formats (PDF and HTML) formats are used, to preserve the authenticity of the documents. However, this precludes other formats, notably ASCII, that are convenient for some uses. AFNOR suggests to allow the distribution of such formats, provided a signature is published to allow authentication of the document. AFNOR proposes to add a discussion about this issue to the agenda of the meeting.

Oral Report:

France reported that their Ada group has successfully retained financial sponsorship for another year.

Germany

Oral Report:

Germany plans to participate in the work of SC22's new OWG:Vulnerability.

A DIN group has started a project on English-German terminology. There are some IP issues, but it is hoped that the group will coordinate with JTC1 efforts on terminology.

UK

Email from John Barnes, 3 November 2005:

The BSI Ada Panel met recently. They were very pleased with the choice of vernacular name for the language and general progress. One member had doubts regarding some aspects of the package Calendar and its children but this had resulted from confusion regarding the nature of time and the rotation of the Earth. Some suggestions regarding additional terms for the glossary were made as a result of comparison with glossaries for other languages. These suggestions were taken heed of by the Editor.

US 

Email from Joyce Tokar, 11 November 2005:

The US Delegation to the WG 9 meeting on Thursday, 17 Nov 2005 shall include:

  • SofCheck, represented by Tucker Taft,
  • RR Software, represented by Randy Brukardt,
  • Pyrrhus Software, represented by Joyce Tokar

AdaCore Technologies sends apologies.

The US delegation reports that a lot of work has been done in preparing the draft Amendment of the standard. The editor of the Amendment, expects that the document will be submitted to the WG 9 after the ARG approves it. The ARG vote to approve the draft amendment shall be conducted at the ARG meeting that follows the WG 9 meeting.

[Agenda]


Liaison Reports


Report of Ada-Europe Liaison Representative, Erhard Ploedereder

Background Ada-Europe is a Category C Liaison to WG9 [See N414]

[Agenda]


Report of SIGAda Liaison Representative, Currie Colket

Background SIGAda is a Category C Liaison to WG9 [See N414]
Prior Discussion

From Minutes of Meeting #43 [N418]:

Clyde Roby made a presentation on a method to deal with APIs. Clyde's presentation will be posted on the WG9 web site as N419.

There were some comments regarding the assurance that SIGAda has the proper rights to republish the artifacts. Erhard noted that an API may be an Ada binding to an implementation in another language or a standalone Ada implementation. Jim noted that "Stamp of Approval" concept might lead to anti-trust problems. "Choosing or Judging" would be an antitrust problem. This should be done under WG9 auspices.

Erhard noted that there should be a long-term program to collect APIs; and a short-term program to select some APIs into Ada 200Y. Make sure that this is clear to participants. Only a few will be selected for the Ada Amendment.

From Minutes of Meeting #44 [N428]:

Clyde Roby reported on the formation of a SIGAda API WG at WG9's last meeting. This work is proceeding. Information has been posted to a web page. Material from previous groups is being gathered. They are starting work on CGI and XML interfaces. XML seems to be active also. Some issues remain regarding licensing. API WG will be formally approved soon.

From Minutes of Meeting #47 [N448]:

Currie Colket reported that SIGAda has named a chair, Geoff Smith, of its APIWG (Application Programming Interface Working Group) to replace Clyde Roby who has been acting in the role. Geoff will lead an effort to update the draft charter and to gain its approval by SIGAda.

Report

Oral Report:

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]


Convener's Report

Report 

End of Convener's Term

It should be noted that 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 procedure for filling the position is for the US to nominate a person who must then be confirmed by SC22. If the US cannot find a candidate, then the convenership will be made available to other national bodies.

Recent Plenary Meeting of SC 22

Because of unusual rules regarding the participation of conveners in US delegations, I chose to attend this meeting as a member of the US delegation rather than as convener of WG 9. I thank Steve Michell (Canada) for representing the interests of WG 9 in the meeting. All of the requests of WG 9 were favorably considered:

  • An SC 22 letter ballot will be issued to recommend confirmation of ISO/IEC 8652 (along with many other standards needing systematic review in 2006).
  • A resolution reiterated the request of WG 9 and SC 22 to withdraw ISO/IEC 13814.
  • A resolution reiterated the request of free availability for ISO/IEC TR 24718 (along with several other documents in similar situations).
  • A resolution approved our request to skip PDAM balloting and move directly to FPDAM ballot when the amendment to ISO/IEC 8652 is submitted to SC 22.

The SC 22 meeting provided other developments that may be of interest to participants in WG 9:

  • A new project on programming language vulnerabilities has been approved. It has been assigned to the so-called "OWG:Vulnerabilities" to be convened by James Moore. SC 22 working groups have been asked to assign representatives as participants in the OWG and to invite the OWG to colocate with their meetings. I have placed an item on our agenda under New Business.
  • The Free University of Amsterdam has been doing work on "browsable" grammars. SC 22 has asked its working groups to consider the relevance to their work. I have assigned an action item to the editor of ISO/IEC 8652.
  • SC 22 is making the transition to a document repository managed by the LiveLink tool. However, it will continue its current website as a mirror for the time being and has authorized its working groups to continue their own arrangements for web sites.
  • Last year at the request of SC 22, we provided information on the terminology contained in our standards. After considering the results, SC 22 concluded that a consolidated descriptive (versus prescriptive) vocabulary might be useful.

Retirement of Kiyoshi Ishihata from WG 9

Kiyoshi Ishihata has moved up to serve as the Head of the Japanese delegation to SC 22. As a result, he will no longer attend meetings of WG 9. I appreciate his long service and many contributions to WG 9.

This Meeting

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. This will be discussed during the report of the Rapporteur of the ARG.

An additional item of importance is to develop a plan for the revision of ISO/IEC 15291, ASIS, to deal with the revised Ada language. This duty has been assigned to the ARG. I have scheduled a discussion under new business to discuss a plan for accomplishing this work.

Discussion Regarding the end of the convener's term ... An item was added to New Business to discuss this issue.

[Agenda]


Summary of Action Items and Unimplemented Resolutions

This summarizes the status of the "To Do" list for WG9 as it enters the meeting. Some are informal action items assigned to various participants. Some are formal resolutions, which are not yet implemented. Some are suspense items awaiting action by other groups.

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 

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

Action Item 46-1:

(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]

Action Item 47-1

[Convener] Request SC22 to endorse free availability of the Ravenscar Guide, ISO/IEC TR 24718.

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

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]

Action Item 47-3

[ASIS Rapporteur] At next meeting of WG9, report on vitality of ASIS RG and recommend any changes in duties to facilitate the update of ASIS to Ada 2005.

Status: CLOSED administratively by convener.

Action Item 48-1

[US, Joyce Tokar]

If practical, prepare a submission to the HOPL conference regarding Ada 95.

Status: CLOSED. Joyce Tokar and John Barnes submitted a paper.

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. 

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

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]

Resolution 48-8 

In order to begin work on a revision of the ASIS standard appropriate to Ada 2005, WG9 assigns the scope of ASIS to the Ada RG. The WG9 convener is requested to provide a proposal by the November 2005 meeting of WG9, including scope of work, plan of work, schedule and personnel. WG9 encourages SIGAda to formulate proposals for extending the ASIS specification to include the new language elements of Ada 2005. 

For status: See [New Business: Future of ASIS]

The following are new items assigned by SC 22:

Action Item 48a-1

[Convener] (Assigned by SC22 Resolution 5-14) Identify one or more WG 9 representatives to OWG:Vulnerability. Determine whether to invite the OWG to colocate with a WG9 meeting.

For status: See [New Business: OWG:Vulnerability]

Action Item 48a-2

[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 JTC 1/SC 22 N 3977), investigate areas for cooperation, and report upon progress made and issues found.

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

[Agenda]


Scheduling of Meetings

Background

Resolution 48-3 scheduled "Meeting #50 in conjunction with the 2006 Ada-Europe conference, on the morning of Friday, 9 June 2006, Porto, Portugal"

The resolution below merely confirmed the previous resolution and added the intent to meet with SIGAda in 2006.

Resolution [Resolution 49-4

[Agenda]


Report of Ada Rapporteur Group, Pascal Leroy (Rapporteur)

Background

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:
JTC 1/SC 22 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:
JTC 1/SC 22 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 SC 22, notably resolution 02-24. JTC 1/SC 22 instructs WG 9 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

From Minutes of Meeting #46 [N440]:

At its San Diego meeting, WG9 considered the best way to proceed with standardization of APIs, and recommended the use of Technical Reports or International Workshop Agreements to reach agreement on APIs (see resolution 45-6). ... At this point it appears that AI95-00302-03 will likely be part of the Amendment, and that there is no need to start an alternative standardization process.

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 email note from convener, 22 March 2005:

...Pascal Leroy has advised me that the preparation of the amendment to 8652 may not be completed by mid-May. He has suggested that I prepare an alternative plan for moving forward. That is the subject of this note.

I believe that it is necessary for WG9 to review the document in two stages. The first stage is a constructive review, intended to find any remaining blemishes in the document. During this stage, it might be appropriate to "socialize" the draft by giving it wider circulation within the nations represented in WG9. (Formally, this socialization occurs at the "enquiry" stage of SC22 balloting -- but that's too late for us.)

The second stage is the formal approval by WG9. If this falls after our meeting, it would be an email ballot. Because of ISO rules, the ballot would have a minimum length of 30 days. I would not expect comments from this ballot, simply a position: yes/no/abstain.

From email note of convener, 16 May 2005:

As we approach the end-game for the Amendment to ISO/IEC 8652, it is important for us to handle the document so that intellectual property rights are appropriately conveyed. This is performed through a "contribution" to ISO/IEC JTC 1/SC 22/ WG 9. In this case, the contribution is made by the US National Body.

The text of the draft amendment is currently the property of AXE Consultants. It was prepared under a contract initiated by The MITRE Corporation at the direction of the US Department of Defense. AXE Consultants has been coordinating with WG9's Ada Rapporteur Group (ARG) to ensure that the draft meets the requirements of the ARG as specified in their disposition of Ada Issues. The document will also be informally circulated to WG9 for comment. After dealing with the comments, a draft will be produced that carries the copyright of AXE Consultants.

When the time is appropriate to make the contribution, AXE Consultants will provide the document to the TAG Administrator, Robert Pritchard, of the IEEE. The document will be covered by a letter that explains that the document carries the AXE copyright in order to clarify the unfettered right of AXE Consultants to make the contribution, that AXE Consultants understands that the AXE copyright statement will be removed, and that an ISO copyright statement will be affixed to the document resulting from the JTC 1 balloting process.

Dr. Pritchard will forward the document to the "ISO Team" at ANSI. ANSI will send the document to the SC22 Secretariat--the formal "contribution". The SC22 Secretariat will forward the document to the Convener of WG9. The Convener will cover the document with a note explaining the situation with the AXE copyright and will then commence a formal WG ballot to approve sending the draft to SC22 for balloting.

From the minutes of Meeting #48 [N451]:

It was noted that speedy processing crucially depends on receiving comments early in the cycle (e.g. during the first informal review) rather than later (e.g. during balloting by SC22). To improve these prospects, HODs were encouraged to achieve the widest possible circulation to interested parties during the informal review. In addition, it was decided to make the draft available on the WG9 web site with instructions for sending comments to Heads of Delegation.

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 JTC 1/SC 22, 29 September to 2 October 2005, Mont Tremblant, Quebec, Canada [N454]:

Resolution 05-29: Authorization to Initiate an FPDAM Ballot for Ada
JTC 1/SC 22 instructs its Secretariat to initiate an FPDAM ballot for ISO/IEC 8652: 1995, Ada, upon receipt of the text from the WG 9 (Ada) Convener.

Action Item 46-1:

(Reassigned to Rapporteur of ARG): Draft a new work item proposal for the revision of the ASIS standard, ISO/IEC 15291.

Status: None

Report

Email from Pascal Leroy, 4 November 2005:

The ARG met in York, UK, in June. The meeting was mostly devoted to studying and validating the corrections made during the preparation of draft 12 of the Amendment document and the Reference Manual. A number of significant integration issues were identified, which were resolved after the meeting and incorporated into later drafts. It was agreed not to have a meeting before SIGAda, but instead to handle subsequent lists of corrections through letter ballots.

Draft 12 (released immediately before the York ARG meeting) was complete through the end of section 11. Draft 13 was released at the end of August and was complete through the end of Annex D. Finally, draft 14, which is the first complete draft, was released at the end of October.

The list of corrections made between drafts 12 and 13 was made available at the same time as draft 13, and a letter ballot took place from September 23rd to October 7th to approved these corrections. Of the 16 official ARG members 12 responded, all in favors. Two members made comments which were incorporated into draft 14.

While it had been anticipated that all corrections would be handled by letter ballot, the timing of the release of draft 14 is such that this procedure is not necessary: the corrections made between drafts 13 and 14, as well as new AIs dealing with integration issues, will be discussed in person at the upcoming ARG meeting, to be held in Atlanta, GA, immediately after the WG9 meeting.

The plan at this point is that after the ARG meeting any changes needed to reflect the decisions of the ARG will be integrated into a new draft 15. Hopefully these changes will be rather minor, so this work should be completed quickly, and draft 15 should be released to WG9 by the end of November.

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.

The ARG doesn't have a list of AIs for approval at this meeting. As explained above, all of the new AIs are addressing integration problems, and approving them in isolation doesn't make much sense.

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.

Discussion of Amendment

If the amendment completes its current review in the ARG without comments requiring substantial remark then it should be possible for the ARG to make an informational distribution in early December. The process is long past the stage when the ARG would accept comments from the "public". However, the ARG would desire that the informational distribution be distributed broadly by Heads of Delegation and Liaison Representatives in order to ensure that no problems remain with it. Comments should be submitted directly to the Axe Consulting. Following the informational distribution and the implementation of any changes resulting from it, the Axe Consulting would forward the document to the USNB for contribution to WG9. WG9 would conduct a letter ballot to approve submssion to SC22 for formal NB balloting.

Possible schedule:

  • Dec 1 - Jan 31: Review and comment.
  • Feb 1- Feb 28: ARG deals with comments.
  • Mar 1 - Mar 31: 30-day letter ballot in WG9.
  • Apr 1- Aug 31: FPDAM ballot in SC22.
  • Sep 1 - Nov 30: DAM ballot in JTC1.
  • Dec 1 - Apr 15, 2007: Publication.

Action Item: [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.

Action Item: [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.

Action Item: [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.

Resolutions [ Resolution 49-2 ]

[Agenda]


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

Background WG9 N416, Charter of the HRG
Prior Discussion

From email note of Convener, 19 March 2005:

I see that the Ravenscar Guide has been published by ISO Central Secretariat and is available for the price of 176 CHF.

ISO/IEC TR 24718:2005, Information technology -- Programming languages -- Guide for the use of the Ada Ravenscar Profile in high integrity systems,
Technologies de l'information -- Langages de programmation -- Guide pour l'usage de "Ada Ravenscar Profile" dans les systèmes de haute intégrité
(disponible en anglais seulement)

From the minutes of Meeting #48 [N451]:

The Annex H Rapporteur made an oral report: After the current language revision effort is complete, the HRG will consider whether to update ISO/IEC TR 15942. The Rapporteur will take steps to update the membership of the Rapporteur Group at that time.

Report

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 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.

The current membership of the HRG is

Canada: Stephen Michell, Mark Saaltink
France: Jean-Pierre Rosen, Patrick de Bondeli
Germany: Erhard Ploedereder
Italy: Tullio Vardanega
UK: Alan Burns, Brian Wichmann, Peter Amey, Michael Pickett, John Barnes, Rod Chapman
US: Joyce Tokar, Robert Dewar, Bob Duff
Ada Europe: Juan Antonio de la Puente
SIGAda: George Romanski, Michael Holloway

Resolutions [ Resolution 49-3 ]

[Agenda]


Project Editor Maintenance Reports

[Agenda]


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.

Maintenance action is due in 2005.

Project Status

Working Draft, 8652:1995/AMD.1, Randy Brukardt and Pascal Leroy, Project Editors, supported by the Ada Rapporteur Group

The request for subdivision [N388] of Project 22.10.01 was endorsed by WG9 Resolution 40-7 [N389], and approved by SC22 N3310 on 2001-09-12.

Open 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. 

Status: Continuing

Open Item

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: Resolution 05-33 of the 2005 Plenary Meeting of SC 22 scheduled a letter ballot on systematic review requests, including this one.

Open Item

Action Item 48a-2:

[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 JTC 1/SC 22 N 3977), investigate areas for cooperation, and report upon progress made and issues found.

Status: None

[Agenda]


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 

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). This year, 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, SC 22 approved resolution 05-05: "JTC 1/SC 22, noting JTC 1/SC 22 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."

[Agenda]


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 JTC 1 in its 2004 systematic review.

[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.

Maintenance action is due in 2005.

Open Item

From 2004 SC22 Plenary: Resolution 04-05: Standards for 2005 Periodic Review

JTC 1/SC 22 recommends to JTC 1 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 has been forwarded to JTC1 for action during 2005.

[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 JTC 1 in its 2004 systematic review.

[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 due for maintenance action in 2010.

Open Item:

Action Item 47-1A:

[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.

[Agenda]


Unfinished Business

[The convener knows of no unfinished business.]

[Agenda]


New Business

The Future of ASIS

Open Item

Resolution 48-8 

In order to begin work on a revision of the ASIS standard appropriate to Ada 2005, WG9 assigns the scope of ASIS to the Ada RG. The WG9 convener is requested to provide a proposal by the November 2005 meeting of WG9, including scope of work, plan of work, schedule and personnel. WG9 encourages SIGAda to formulate proposals for extending the ASIS specification to include the new language elements of Ada 2005. 

Status: The convener prepared such a proposal and distributed it as N456.

Prior Discussion

From the minutes of Meeting #48 [N451]:

There was general agreement that the revision effort should be conducted under the supervision of the ARG in order to ensure consistency with the language revision. It was also agreed, though, that the ARG should devote all of its energy during the next few months to completing the language amendment.

Discussion

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.

Two changes were made to the Convener's proposal as a result of discussion.

Item #3 of the recommendations was changed as shown below. Added text is marked by italics. Deleted text is delimited with square brackets.

The scope of the revision should be 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. [There should be no intent to perform an overall revision of the standard although localized changes might be considered. There should be no intent to rewrite the existing ASIS specifications to exploit the new language features introduced to ISO/IEC 8652.]

Item #7 of the recommendations was changed slightly. The phrase "an Ada Issue" was changed to "one or several Ada Issues".

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

OWG:Vulnerability

Open Item

Action Item 48a-1

[Convener] (Assigned by SC22 Resolution 5-14) Identify one or more WG 9 representatives to OWG:Vulnerability. Determine whether to invite the OWG to colocate with a WG9 meeting.

Status: None

Background The web site of the SC22 High Integrity Ad Hoc Group (which led to the formation of OWG:Vulnerability) is located here.
Discussion

Germany mentioned that the HRG should develop a relationship to this work.

[Action Item]: The HRG is requested to suggest a relationship to OWG:Vulnerability.

A remark by the US resulted in the following action item:

[Action Item]: [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.

Both Steve Michell and Erhard Ploedereder stated that they planned to participated in OWG:Vulnerability representing Canada and Germany respectively. In response to Action Item 48a-1 (see above), WG9 approved the resolution below:

Resolution [ Resolution 49-6 ]

Use of Teleconferencing in the Business of WG9

Background

Draft JTC1 2005 Plenary Resolution on Teleconferencing

JTC 1 encourages its SCs to utilize the provisions of clause 7.11 of the JTC 1 Directives with respect to teleconferencing. To facilitate the SCs use of this tool, JTC 1 extends the provisions of clause 7.11 as follows until the 2007 JTC 1 Plenary meeting:

  • The use of teleconferencing is permitted for any working group, OWG, advisory group of WG or its SCs.
  • The restriction that agreement on the use of teleconferencing must be unanimous is removed. Agreement on the use of teleconferencing shall be made by consensus of the group.
  • The meeting organizer and host, in conjunction with the Chairman/Convener, are permitted to decide (with the consent condition described above) if a teleconference is appropriate for a meeting.
  • All meeting material must be on a web-accessible site available to all participants, and all meeting resolutions must be electronically distributed (via email or on the common website) before the meeting concludes.
  • When considering the use of teleconferencing to support a meeting, meeting organisers should consider in advance the potential advantage to all participants. Additional consideration of the impact of the timing of teleconference sessions should be given to participants from outside the host time zone and local geographic area, and specifically to those national bodies which would not otherwise be able to attend the meeting.

JTC 1 SCs are asked to inform JTC 1 of their experiences with the use of teleconferencing no later than the 2007 JTC 1 Plenary meeting.

Discussion

Canada reported that the recent meeting of JTC1 had liberalized rules on the use of teleconferencing and had requested reactions from working groups. As a result WG9 assigned the following action item:

Action Item: [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.

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 ]

Format for Distribution of Amendment

From Report of French NB A question arose recently regarding the format used for the distribution of the upcoming amendment. Only "read-only" formats (PDF and HTML) formats are used, to preserve the authenticity of the documents. However, this precludes other formats, notably ASCII, that are convenient for some uses. AFNOR suggests to allow the distribution of such formats, provided a signature is published to allow authentication of the document. AFNOR proposes to add a discussion about this issue to the agenda of the meeting.
Discussion

The convener summarized his investigation of the subject thusly:

It has been determined that WG9 has provided no guidance on this subject. The issue should be treated with the contractor and the funding organizations. 

As a result France withdrew the request for discussion.

Succession of the Convener

Discussion Regarding the end of the convener's term ... The convener noted that US and ISO rules discourage "life-long" tenure as a convener. He has approaching the end of his third term plus two years of service as acting convener--11 years in all. Currently, SIGAda and Ada-Europe subsidize his travel to meetings, so they have a stake in the subject. No one knew of other candidates for the job.

[Agenda]


Administrative Actions

We appreciate the comfortable accommodations provided by SIGAda. The resolution expresses WG9's gratitude.

[Resolution 49-10]

We appreciate the services of the meeting Secretary, Clyde Roby. The resolution expresses WG9's gratitude.

[Resolution 49-11]

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

[Resolution 49-12]

Noting the retirement of Kiyoshi Ishihata from attendance at WG9 meetings and noting the announced retirement of Currie Colket as representative of the SIGAda liaison, France proposed a resolution of appreciation.

[Resolution 49-9]

[Agenda]


Review of New Action Items

These action items already existed prior to the meeting. The status of some have changed as a result of the meeting.

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 

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

Action Item 46-1:

(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]

Action Item 47-1

[Convener] Request SC22 to endorse free availability of the Ravenscar Guide, ISO/IEC TR 24718.

Status: CLOSED. SC22 approved a resolution on this subject.

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]

Action Item 47-3

[ASIS Rapporteur] At next meeting of WG9, report on vitality of ASIS RG and recommend any changes in duties to facilitate the update of ASIS to Ada 2005.

Status: CLOSED administratively by convener.

Action Item 48-1

[US, Joyce Tokar] If practical, prepare a submission to the HOPL conference regarding Ada 95.

Status: CLOSED. Joyce Tokar and John Barnes submitted a paper.

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. 

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

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]

Resolution 48-8 

In order to begin work on a revision of the ASIS standard appropriate to Ada 2005, WG9 assigns the scope of ASIS to the Ada RG. The WG9 convener is requested to provide a proposal by the November 2005 meeting of WG9, including scope of work, plan of work, schedule and personnel. WG9 encourages SIGAda to formulate proposals for extending the ASIS specification to include the new language elements of Ada 2005. 

Status: CLOSED. The convener submitted N456 which was accepted with changes. The accepted version has since been reissued as N457.

The following are new items assigned by SC 22 prior to the meeting:

Action Item 48a-1

[Convener] (Assigned by SC22 Resolution 5-14) Identify one or more WG 9 representatives to OWG:Vulnerability. Determine whether to invite the OWG to colocate with a WG9 meeting.

Status: CLOSED. Erhard Ploedereder was named as the WG9 Representative and the group was invited to colocate with the Porto meeting of WG9.

Action Item 48a-2

[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 JTC 1/SC 22 N 3977), investigate areas for cooperation, and report upon progress made and issues found.

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

The following action items were created at the meeting.

Action Item 49-1  [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.
Action Item 49-2 [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. 
Action Item 49-3 [HRG Rapporteur] The HRG is requested to suggest a relationship to OWG:Vulnerability.
Action Item 49-4 [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.
Action Item 49-5 [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.
Action Item 49-6 [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.

[Agenda]


Final Consideration of Resolutions

All resolutions were approved unanimously.

Administration

Resolution 49-1:

The minutes of Meeting #48 as contained in document N451 are approved.

[Discussion] [Agenda]

Resolution 49-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.

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]

Resolution 49-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), 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]

Resolution 49-4:

WG9 schedules future meetings as follows:

[Discussion] [Agenda]

[There is no Resolution 49-5.]

Work Programme

Resolution 49-6:

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.

[Discussion] [Agenda]

Resolution 49-7:

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

[Discussion] [Agenda]

[There is no Resolution 49-8.]

Appreciation

Resolution 49-9:

WG9 expresses its grateful appreciation to Kiyoshi Ishihata and Currie Colket for their participation and contributions in WG9, the ARG, and the ASIS RG and wish them well in their future endeavours.

[Discussion] [Agenda]

Resolution 49-10:

ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to SIGAda for their gracious accommodations in hosting Meeting #49.

[Discussion] [Agenda]

Resolution 49-11

ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Clyde Roby for serving as Secretary of Meeting #49.

[Discussion] [Agenda]

Resolution 49-12:

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

[Discussion] [Agenda]


Recess

The meeting was recessed at approximately 6:15 pm. HODs may anticipate email ballots to be conducted during the months between this meeting and the next one.

[Agenda]


References

WG9 Documents

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

N400Minutes, Meeting #41 of ISO/IEC JTC1/SC22/WG9, Friday, 5 October 2001, Bloomington, Minnesota, USA

N404Working 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 SC 22/WG 9 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

N419, SIGAda's Approach to the Management of Ada Bindings to Application Program Interfaces (APIs), Clyde Roby, SIGAda, Presented to ISO/WG9, December 13, 2002

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 JTC 1/SC 22 (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 of ISO/IEC JTC1/SC22/WG9, 17 November 2005, Atlanta, Georgia, USA

External Web Sites

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. (Click on "Proceed to Public Areas". No username or password is required.)

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

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

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

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 2005 Conference Web Site: http://www.cs.york.ac.uk/rts/adaeurope/

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

SIGAda 2005 Conference Web Site: http://www.sigada.org/conf/sigada2005/

[Agenda]


End of Document