ISO/IEC JTC1/SC22/WG9 N400

Recorded by Clyde Roby

Includes corrections suggested by Barnes, Brukardt, Leroy, Moore, and Ploedereder
These minutes were approved at Meeting #42.

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

The 41st meeting of ISO/IEC JTC1/SC22/WG9 was hosted by the SIGAda 2001 conference in cooperation with the National Body of the USA. Our host provided morning refreshments and lunch for meeting participants. The meeting was conducted in Room 157 of the Thunderbird Hotel.

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


Agenda

Appendix

References


Detailed Agenda Items


Opening Orders, Jim Moore, Convener

Call to Order

The meeting was called to order at 9:12 am.

Welcoming Remarks by Host

Acting for Conference Chair Paul Stachour, Currie Colket, the chairman of ACM SIGAda, welcomed WG9.

Appointment of Meeting Secretary

Clyde Roby agreed to serve as meeting secretary.

Approval of Agenda

The agenda was approved without changes.

Approval of Minutes of Meeting #40

Information:

The minutes of Meeting #40 appear in document N389. The document includes several corrections suggested by John Barnes and Randy Brukardt subsequent to Meeting #40. The minutes were approved.

Resolutions:

[Resolution 41-1]

[Agenda]


National Body Introductions and Reports

Attendees:

National Body Representatives:

WG9 Officers:

Other Attendees:

Those sending regrets include: Ted Baker, Ken Dritz, Steve Michell, Don Sando, Jon Squire, Alfred Strohmeier, Joyce Tokar, Brian Wichmann

Reports:

France

Jean-Pierre Rosen expressed his pleasure at resuming active participation in WG9 and explained that the AFNOR Ada group is being revived.

Japan

Kiyoshi Ishihata reported that Ada will be published as a JIS standard in March 2002.

US

Currie Colket extended regards from the usual US HOD, Joyce Tokar, and expressed her regret at being unable to attend.

[Agenda]


Convener's Report

SIGAda Awards

I am very pleased to report that several participants in WG9 were recognized with major awards at the SIGAda conference. Alan Burns and Alfred Strohmeier received awards for "Outstanding Ada Community Contributions." Clyde Roby and Currie Colket received awards for "SIGAda Distinguished Service." It is notable that WG9 participants accounted for four of the five awards presented. The other award was given to Charles McKay.

Technical Corrigendum to Ada Standard

The Technical Corrigendum to the Ada Reference Manual was published on 1 June 2001. It is 57 pages in length.

Hardcopy Publication of the Ada Language Reference Manual

Alfred Strohmeier has made arrangements with Springer-Verlag for the hardcopy publication of a consolidated ARM. A manuscript has been submitted to Springer for publication by year-end. ANSI is selling the official Ada standard for $18. It is unclear whether the Corrigendum is included.

Amendment

WG9 has requested a subdivision of the Ada project to permit the preparation of an Amendment. The request was recently approved in a ballot by SC22. JTC1 has the right to review the approval but seldom intervenes.

The MITRE Corporation is seeking funding from the United States Department of Defense to pay for the services of an editor for the preparation of an Amendment to ISO/IEC 8652. It is envisioned that the process for contributing the draft document to WG9 will be similar to that used for the recent Corrigendum. The document carries a MITRE copyright. MITRE will then distribute the document to the US National Body which will then contribute it to ISO. The text of the ISO document and the MITRE document will be substantively identical.

Future of ISO/IEC 13813

The UK national body was requested to prepare a recommendation for the future of ISO/IEC 13813 in collaboration with its editor, Don Sando. The report of the UK is included in the appendix to the agenda.

Ravenscar Profile

Later in this meeting, we anticipate a report from the HRG regarding progress on preparing a guide to the use of the Ravenscar profile.

Free Availability of ISO/IEC TR 15942

At our Leuven meeting, we prepared a request that TR 15942 be made freely available on an appropriate ISO web site. Endorsement of our request is being considered by SC22 via letter ballot. The next step would be consideration by JTC1, probably via letter ballot. TR 15942 will probably not become publicly available until June 2002.

Membership of Rapporteur Groups

According to JTC1 directives, the members of Rapporteur Groups serve as representatives of their National Bodies. There may be some inconvenience in bringing our Rapporteur Groups into compliance with the directives. I have asked each RG Chair to prepare a list of members so that we can begin to examine the extent of the problem. The next item is part of the solution to this problem. Some RG members will be provided by National Bodies. Some will be provided by Liaison organizations.

Category C Liaison with SIGAda

SIGAda has expressed some interest in establishing a Category C liaison with WG9. We will discuss this issue later in the meeting. This would allow members of SIGAda to serve in Rapporteur Groups. I would like to enter into a similar discussion with Ada-Europe.

Possible Restructuring of JTC1

JTC1 recently considered proposals for restructuring. The approved changes were far more modest than some had anticipated. The most important change was a new "workshop" mode of operation. Later in this meeting, we will discuss possible use of this new mode.

Plenary Meeting of SC22

The plenary meeting of SC22 was conducted 17-21 September 2001 in Kona, Hawaii. The Convener provided his annual report in advance for consideration at the meeting. WG9's request for public availability of TR15942 was considered at the meeting and resulted in the authorization of a letter ballot which will result in a recommendation for JTC1 action. The meeting approved the requests from WG9 to confirm 13813 and withdraw 13814. (This will have the effect of "freezing" the status of 13813 until WG9 has the opportunity to formulate a plan for its future. The ballot authorizing preparation of an Amendment to 8652 closed just prior to the meeting; the amendment project was approved.

[Agenda]


Scheduling of Meetings #42 and #43

Information:

The schedule for meeting #42 was approved at the Leuven meeting:

At the Leuven meeting, it was agreed that the current meeting would reconsider our traditional scheduling practice. The minutes from the Leuven meeting read as follows:

There was discussion of our custom of scheduling our meetings in conjunction with the SIGAda and Ada-Europe conferences. Tokar asks if it might be better to associate our meeting with non-Ada conferences in order to better reach out to other communities. Michell replies that the SIGAda and Ada-Europe conferences value our collocation with them because we attract some participants who might not attend otherwise. It was stated that the current arrangement minimizes travel expenses for WG9 participants. Tokar replied that associating with other conferences would provide us with more knowledge of other areas and greater exposure to those communities. Strohmeier said that we would need an overall strategy to make a change like this. Barnes remarked that we have some experience due to Ada-Europe's past association with the Eurospace conference. Ploedereder said that it would be helpful to have people knowledgeable about Ada at other conferences. For now, we decide to continue our current practice in scheduling meetings but to reconsider the issue at the next meeting of WG9.

The schedule for meetings #43 is proposed as follows:

Discussion:

The location of SIGAda 2002 is Houston, Texas, USA. It will probably be held during one of the last two weeks of October or one of the first two weeks of November. The ARA would like colocate the meeting venue and time of SIGAda with another conference such as the Embedded Systems Conference. There are still some concerns at this time about a site and date agreeable to both SIGAda and the ARA; this will be cleared up within a month. Jim will then distribute a possible date, based upon when SIGAda will be held, via email for consensus among WG9 members.

Jim asked that if SIGAda did not occur, what other alternatives would there be? Jean-Pierre: Perhaps someplace in Europe; he would be willing to host. Erhard: Any location, but jointly with the ARG to include a Saturday for cheaper airfares; probably doesn't matter too much if it's tied to a conference. Tucker suggested OOPSLA or the Embedded Systems Conference in November 2002 in Boston. Pascal, Mike, and John Barnes agree that co-location with the ARG is good. John also indicated Boston or Paris as a possible venue. Tucker will try to come, no matter where it is.

Jim will try to schedule the next meeting of WG9 with SIGAda; otherwise he will take all the above ideas into consideration and schedule a meeting according to those comments.

[Resolution 41-3]

[Agenda]


Review of Action Items and Unimplemented Resolutions

Information:

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 are suspense items awaiting action by other groups.

Open Action Items

Action Item 39-2

(Convener): Contact Prof. Alfred Strohmeier to determine if Springer-Verlag can publish the ARM.

Status: CLOSED. Prof. Strohmeier has reached an understanding with Springer to publish the ARM as part of the lecture notes series in November. Ada-Europe will probably distribute copies to its members. Implementing Resolution 40-5, the US sent a copy of the manuscript of the consolidated ARM to Prof. Strohmeier for transmission to Springer.

[See Report of ARG: COR.1]

Action Item 39-5

(HRG Chair): Draft a New Work Item Proposal for the Technical Report providing guidelines and rationale for the use of the Ravenscar profile.

Status: OPEN. The spring 2001 meeting of the HRG confirmed that they wish to move ahead on drafting a Technical Report providing advice on the usage of the Ravenscar profile. They developed a list of contents and assigned an author to each section. They plan to develop a first draft within six months. They plan to bring an NP to the WG9 meeting following completion of the initial draft.

[See Report of HRG]

Action Item 40-1

(Convener): Send electronic copy of 13813 to John Barnes.

Status: CLOSED. Copy was provided by editor, Don Sando.

Action Item 40-2

(UK): Make a recommendation regarding the changes necessary for 13813.

Status: OPEN. Report is included in N393 and these minutes.

[See Report of Editor, 13813]

Action Item 40-3

(ARG Chair): Upon receipt of the UK recommendation, consider the packaging appropriate for the functionality of the current 13813.

Status: OPEN. Not yet timely.

Unimplemented Resolutions

Resolution 36-3:

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following standard be withdrawn when it reaches the end of its five-year life. The standard is relevant to the 1987 version of the Ada language standard rather than the current version:

Status: CLOSED. This resolution was reported to SC22 and endorsed (Resolution 99-19) at their plenary meeting in September 1999. JTC1 voted in March 2001 to approve withdrawal. Routine processing by ITTF has implemented the withdrawal according to ISO/IEC JTC 1/SC22 N3294, 2001-08-27.

Resolution 38-4:

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Technical Report be withdrawn when it reaches the end of its five-year review period. The Technical Report is relevant to the 1987 version of the Ada language standard rather than the current version:

Status: OPEN. This resolution has been reported to SC22 and endorsed (Resolution 00-22) at their plenary meeting in September 2000. JTC1 will ballot the withdrawal in early 2002. Implementation of the resolution can be expected before the end of 2002.

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 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. SC22 endorsed these recommendations at its September 2001 plenary meeting. JTC1 will ballot the recommendation during 2003. Implementation of the withdrawal of 13814 can be expected before the end of 2004.

Resolution 40-7:

WG9 endorses the following New Work Item Proposal [see N388] for amendments to the Ada Language Standard and forwards it to SC22 for approval:

Status: OPEN. The request was forwarded to SC22 as a request for subdivision of the existing project for ISO/IEC 8652. The subdivision was reported approved by SC22 in their document N3310. The request has been forwarded to JTC1 for routine approval.

Resolution 40-8:

ISO/IEC JTC1/SC22/WG9 requests that SC22 request JTC1 and any other appropriate bodies to take action to ensure that ISO/IEC TR 15942 be made freely available on a web site.

Status: OPEN. The request [See N390] was forwarded to SC22 for endorsement. SC22 has scheduled a letter ballot for endorsement of the request. The request would then be forwarded to JTC1 for endorsement and ultimately to ISO Central Secretariat for implementation.

[Agenda]


Project Editor Reports

[Agenda]


Project Editor Report, ISO/IEC TR 11735

Information:

Project 22.35 -- (Type 2) TR 11735:1996 EXTensions for real-time Ada, Nasser Kettani, Editor
The contents of 11735 are substantively subsumed by the 1995 revision of 8652. This Technical Report will be withdrawn when usage of the 1987 version of the Ada language has diminished.

Resolution 38-4:

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Technical Report be withdrawn when it reaches the end of its five-year review period. The Technical Report is relevant to the 1987 version of the Ada language standard rather than the current version:

Status: OPEN. This resolution has been reported to SC22 and endorsed (Resolution 00-22) at their plenary meeting in September 2000. JTC1 will ballot the withdrawal in early 2002. Implementation of the resolution can be expected before the end of 2002.

[Agenda]


Project Editor Report, ISO/IEC 12227

Information:

Project 22.31 -- IS 12227:1995 SQL/Ada Module Description Language (SAMeDL), Andreas Koeller, editor.

Resolution 36-3:

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following standard be withdrawn when it reaches the end of its five-year life. The standard is relevant to the 1987 version of the Ada language standard rather than the current version:

ISO/IEC JTC 1/SC22 N3294, 2001-08-27:

Please be advised that ISO/IEC 12227 has been officially withdrawn and is no longer on the SC 22 programme of work.

[Agenda]


Project Editor Report, ISO/IEC 13813 and 13814

Information:

Project 22.10.04 -- IS 13813:1998 Generic packages of real and complex type declarations and basic operations for Ada (including vector and matrix types), Don Sando and Ken Dritz, editors

Project 22.10.05 -- IS 13814:1998 Generic package of complex elementary functions for Ada, Jon Squire and Ken Dritz, editors

From Convener, email, 15 March 2001

As you know, every standard is reviewed at five years of age to determine if it should be confirmed (kept as is), revised, or withdrawn. This year we begin the five-year review of the following WG9 standards:

From Ken Dritz, email, 18 April 2001

13813 and 13814 are, of course, for Ada 83. I dug drafts of them, eight years old, out of my files; I don't think I ever saw the finished standards. I shall presume that my drafts reflect what was in the final standards.

13813 defines a generic complex types package, an array exceptions package, a generic real arrays package, and a generic complex arrays package. Of these, only the first is contained in Ada 95. As I recall, the reason for that was that we didn't want to standardize array subprograms "prematurely"; we wanted to wait until such future time as syntax and semantics for generalized array "sections" (multidimensional slices) could be defined in the core language. The generic complex types package in Ada 95 is functionally comparable to the one in 13813, but not identical.

13814 defines a generic complex elementary functions package. The generic complex elementary functions package in Ada 95 is functionally comparable to the one in 13814, but not identical. The biggest difference is that the latter separately imports a long list of complex operations as generic formal subprograms with box defaults (normally expected to be defined by an instantiation of the generic complex types packages at the place where the generic complex elementary functions package is instantiated), whereas the former imports just an instantiation of the generic complex types package.

Given that 13813 provides considerably more functionality than does the only part of it that was incorporated into Ada 95, it might be reasonable to reaffirm that standard. However, I believe there is a technical problem in doing so. The generic complex types package defined in 13813 renames an exception defined by the generic elementary functions package in 11430, which has been withdrawn. The generic complex elementary functions package also renames that exception.

From Minutes of Leuven meeting, [N389]

At the suggestion of Barnes, we separate the discussion of the two standards. There is consensus that 13814 should be withdrawn. Discussion continues on the future of 13813. Michell asks if WG9 currently has the expertise needed to revise 13813 because the needed changes might not be simple. Tokar suggests that we might leave the standard in place for now and ask the ARG to include the functionality in the planned amendment to 8652. No one knows of any vendor implementations of the standard but Barnes says that implementation by users is straightforward.

We break for coffee. Following the break, the convener suggests the following plan:

There is general agreement with this approach.

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 JTC1/SC22/WG9 recommends to SC22 that the following Standard be withdrawn when it reaches the end of its five-year review period:

SC22 N3316, Resolutions of September 2001 Plenary, Resolution 01-07

JTC 1/SC22 recommends to JTC 1 that at the end of their 5-year review period:

Action Item 40-1

(Convener): Send electronic copy of 13813 to John Barnes.

Status: CLOSED. Copy was provided by editor, Don Sando.

Action Item 40-2

(UK): Make a recommendation regarding the changes necessary for 13813.

Status: OPEN. Report is included in N393.

Action Item 40-3

(ARG Chair): Upon receipt of the UK recommendation, consider the packaging appropriate for the functionality of the current 13813.

Status: OPEN. Not yet timely.

Report of UK on Action Item 40-2:

The report of the UK was submitted prior to the meeting.

[See Recommendation on ISO/IEC 13813 from the UK]

On the morning of the meeting, the editor of 13813, Don Sando, submitted an initial working draft to implement the recommendation of the UK.

[See N397]

As the UK had not had an opportunity to study the draft, it was decided that the UK should determine that the draft is appropriate to the recommendation and then forward both the draft and the recommendation to the ARG.

Resolution:

The following resolution had been proposed in the meeting agenda. It was deleted as premature.

Resolution 41-I: WG9 adopts the recommendations contained in "Recommendation on ISO/IEC 13813 from the UK" as its plan for dealing with ISO/IEC 13813. Accordingly, the convener is directed to circulate an email ballot in WG9 for approval to revise ISO/IEC 13813 and to appropriately pursue the ballot results in SC22.

[Agenda]


Report of Ada Rapporteur Group, Erhard Ploedereder and Pascal Leroy (chairs)


Information:

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

ISO/IEC 18009:1999, Ada Conformity Assessment, Erhard Ploedereder
Project 22.18009, Erhard Ploedereder, Project Editor

Action Item 39-2

(Convener): Contact Prof. Alfred Strohmeier to determine if Springer-Verlag can publish the ARM.

Status: CLOSED. Prof. Strohmeier has reached an understanding with Springer to publish the ARM as part of the lecture notes series in November. Ada-Europe will probably distribute copies to its members. Implementing Resolution 40-5, the US sent a copy of the manuscript of the consolidated ARM to Prof. Strohmeier for transmission to Springer.

Resolution 40-7:

WG9 endorses the following New Work Item Proposal [see N388] for amendments to the Ada Language Standard and forwards it to SC22 for approval:

ISO/IEC JTC 1/SC22 N3310:

Summary of Voting on SC 22 N 3241, Request for Project Subdivision of ISO/IEC 8652 - Ada

DATE ASSIGNED: 2001-09-12

STATUS: Per the results of this ballot, the project subdivision request is approved. It will be forwarded to JTC 1 for final approval along with any other programme of work changes that are approved at the SC 22 Plenary.

Report of ARG Chair:

At the WG9 meeting in Leuven, the ARG Chair informed the group of his intention to resign. The ARG unanimously recommends to WG9 to appoint Pascal Leroy as the new chair of the ARG.

The ARG met in Leuven in May. About 1/3rd of the meeting was spend on "normal" AIs, i.e. corrections to problems in the existing RM. 2/3rds of the meeting was spent on amendment AIs. It becomes evident that at this stage integrating new features in the language in a way that is both compatible with existing code, and not too disruptive to implementations, is extremely challenging. Other than for the Editor of the project, there is no funding for this language design effort. This means that the work that is needed for the amendment is done on a voluntary basis, and in practice that relatively little progress takes place between meetings. The Rapporteur feels that relatively few amendment AIs will be mature enough in 2005 for inclusion in the official Amendment document. Note that the situation is different for AIs that have to do with normal maintenance of the language, because in these cases it is much easier to understand the problem at hand and the impact of proposed solutions.

The procedures of the ARG are being revised to (1) deal with the fact that we are now going to work on extensions to the language, (2) put them in accordance with the rule of the parent bodies and (3) reflect existing practice. The revised procedures have been drafted by the Editor and Rapporteur of the ARG, and submitted to the convener of WG 9 for review. They are expected to be approved by the ARG at its next meeting, and will be presented at the next meeting of WG 9.

One of the significant changes of the new procedures has to do with the disposition of comments submitted to the ada-comment mailing list. Because the ARG is soliciting input from the Ada community regarding possible amendments to the language, a sizeable number of suggestions have been received by email. Previously, each email received on ada-comment would result in an AI. But the ARG felt that if the same rule were applied to suggestions for amendments, there would be a danger of spending precious ARG time on proposals that are not well thought-out or would have an unacceptable impact on the Ada community. Therefore, the Editor and the Rapporteur are in charge of doing an initial triage of the comments, only creating AIs for those that seem to deserve detailed consideration by the ARG. A new category of document, ACs (for Ada Commentaries) is created to record the suggestions and any discussion pertaining to them. ARG members may request that ACs be turned into AIs if they think a suggestion has some value. These new procedures will be presented officially to WG9 at the next meeting.

France suggested that those who submit suggestions for Ada 2005 should first send them to their own national body before sending the suggestion to the ARG. The purpose would be to determine that their is some support for the proposal before burdening the ARG. Pascal will take this suggestion to the ARG meeting for further consideration.

The ARG has its "usual" motion for the October meeting for approval of a series of AIs. A pointer to retrieve AIs is included.

Randy Brukardt said that he intends to add optional tests to the ACATS test suite. The optional tests would provide testing for AIs that have been approved by WG9 but not yet included in a Corrigendum, Amendment, or Standard.

The cited AIs can be retrieved from the ACAA web site for AIs.

Discussion

Pascal Leroy, the new chair of the ARG, said that there was some concern regarding the speed of progress on an amendment to ISO/IEC 8652 due to shortage of resources.

Leroy has prepared a proposed revision of ARG procedures. The changes are intended to avoid creating a new AI for each submitted comment regardless of value. The draft procedures will be considered by the ARG at their forthcoming meeting and forwarded to WG9 for approval at its next meeting.

During discussion, it was noted that wording of the resolution calls out versions of the AIs that are not at the most recent level of editing. It was decided to change the wording of the resolution so that it was clear that the final edited version of the AIs are approved. At the request of Germany, one AI was removed from the resolution for further consideration by the ARG:

AI95-00237/04 2001-05-20 -- Finalization of task attributes

[Resolution 41-4]

Report of CORR Editor:

A manuscript of the consolidated ARM has been submitted to Springer-Verlag via Alfred Strohmeier for hardcopy publication.

Discussion:

[Agenda]


Report of ASIS Rapporteur Group, Currie Colket (chair)

Information:

ISO/IEC 15291:1999, Information Technology--Programming Languages--Ada Semantic Interface Specification (ASIS)
Project 22.15291, Clyde Roby and Steve Blake, editors

A report on the recent meeting of the ASIS RG is included in the Appendix.

Currie Colket mentioned that the ASIS RG is revising its charter. The convener noted that charter revisions must be approved by WG9.

ASIS RG is considering the preparation of a New Work Item Proposal to revise and extend ASIS to keep pace with Ada 2005. The ASIS RG may reconsider some of the design goals for the specification.

Report:

[Agenda]


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

Information:

ISO/IEC TR 15942:2000, Guidance for the use of the Ada Programming Language in High Integrity Systems
Project 22.15942 Brian Wichmann, Editor

From Minutes of Leuven meeting, [N389]

The recent meeting of the HRG confirmed that they wish to move ahead on drafting a Technical Report providing advice on the usage of the Ravenscar profile. They developed a list of contents and assigned an author to each section. They plan to develop a first draft within six months. They plan to bring an NP to the WG9 meeting following completion of the initial draft.

The HRG also discussed the continuing role of Annex H of ISO/IEC 8652. They discussed the desirability of changing its title to High-Integrity rather than Safety and Security. The HRG might recommend that the fourth section of Annex H should be reworked to better fit with the recently completed TR 15942. They also considered tracking the usage of relevant pragmas implemented by various vendors.

It is understood that the HRG may work with the University of York or other institutions in obtaining material that might be incorporated into a Technical Report.

Resolution 40-8:

ISO/IEC JTC1/SC22/WG9 requests that SC22 request JTC1 and any other appropriate bodies to take action to ensure that ISO/IEC TR 15942 be made freely available on a web site.

SC22 N3316, Resolutions of September 2001 Plenary, Resolution 01-10

JTC 1/SC22 instructs its Secretariat to issue a letter ballot on the following:

ISO/IEC JTC 1/SC22 endorses the request from WG9 in SC22 N3256 that ISO/IEC TR 15942, Guidance for Use of Ada In High Integrity Systems (Type 3 TR), be made freely available, and directs the SC22 Secretariat to immediately forward this request to ISO/IEC JTC 1 along with the rationale shown below.

Rationale: TR 15942 qualifies under the criteria provided by JTC 1 Sendai Resolution 32 because it is a Technical Report.  It also qualifies under the criteria of JTC1 N 5165 because it explains inter-relationships among the referenced standards and thereby serves to promote the work of JTC1 possibly leading to increased sales of the referenced standards.

From Alan Burns, August 13, 2001

An initial draft of a Technical report has been produced, and lots of comments have come in which is good. We aim to meet (but not confirmed yet) on Thursday 4th Oct as part of SIGAda. This meeting will produce a first real draft.

By the time of the Ada-Europe conference, the HRG hopes to have a substantially completed draft of the proposed TR.

Discussion:

The HRG has produced an initial 35-page draft of a TR providing guidance on usage of the Ravenscar profile. At yesterday's meeting, they confirmed the structure and the style of the guide. By the next meeting of WG9, they will produce a substantially completed draft. They meeting also reviewed the contents of Annex H of ISO/IEC 8652:1995.

The International Real-time Ada Workshop (IRTAW) will look at real-time issues during its meeting in April 2002.

The HRG could draft a New Work Item Proposal and send it and the existing draft forward to SC22 so the SC22 could begin the approval of a New Work Item. Alan said that the NP had not yet been drafted for two reasons: (1) there was not a good estimate of the resources available; and (2) they desired a method to be sure that the report could be made freely available. The Convener described the procedures for making materials publicly available.

After the options were described, Alan suggested that the University of York (UK) could publish a draft and then contribute it to ISO for further processing.

Alan mentioned that there were no plans to revise TR 15942.

[Agenda]


Liaison Reports

[Agenda]


Liaison Report, SC22/WG15 (POSIX)

From Ted Baker, 4 September 2001

The time has come to decide whether to maintain ISO 14519:1999 (combining IEEE Std 1003.5, 1003.5b, 1003.5c), the standard for Ada bindings to POSIX. The "Austin Group" project is producing a combined ISO/IEEE/Open Group standard for POSIX and Unix. This new standard, whose balloting process is rapidly drawing to a close, will include C bindings for a set of realtime extensions and modifications (from IEEE Stds 1003.1d, 1003.1i, and 1003.1j) that are not covered by IEEE Std 1003.5.

There is currently only one active IEEE project working on Ada language bindings, and they are not making very rapid progress. The one active group is the 1003.5g working group. This group is also a subcommittee of the SAE (Society of Automotive Engineers), AS-5B. This subcommittee is a group of people from the aerospace industry, who are interested in standardizing an API for avionics operating systems. They decided to base their work on the IEEE Std 1003.13, the real-time POSIX profiles. These profiles are specified in terms of both C and Ada language interfaces. The Ada profiles are subsets of IEEE Std 1003.5. The AS-5B group found that they needed functionality not present in ISO 14519:1999, and so requested authorization from the IEEE to extend the Ada interfaces in IEEE Std 1003.5. In particular, the group intended to extend the Ada API to include much of the real-time functionality that was added to the POSIX C-language bindings by IEEE Stds 1003.1d, 1003.1i, and 1003.1j. With these extensions to IEEE Std 1003.5, they then intended to define a set of new real-time profiles for avionics, extending IEEE Std 1003.13. Progress has been very slow, and apparently almost entirely due to the persistence of one person, Diane Schleicher. Based on the current trajectory, I don't see the project ever completing without a significant infusion of new human resources.

The slow progress of 1003.5g has brought us to a sort of crisis. Now that IEEE Std 1003.1 (C-language bindings) has been revised to include additional real-time extensions, the group responsible for maintaining IEEE Std 1003.13 (real-time C and Ada profiles) is preparing to revise that standard to bring it into synchronization with the new POSIX/Unix standard C-language API.

We are now coming under pressure from the 1003.13 revision project to update 1003.5, or else there will be features in the C-language real-time profiles that are not available for mapping to Ada bindings. It is time to make a decision. It seems pretty clear that continuing along the current course will mean that 1003.5 will not be successfully revised again, i.e., it will remain static, without bindings for the 1003.1d and 1003.1j realtime functions.

The only reason the current 1003.5 exists is that several people -- including, but not limited to, myself -- were funded to work on it. A large chunk of the funds came originally mostly through the Ada Joint Program Office, and more recently some came from the DISA Center for Standards. In total, this amounted to several hundred thousand dollars over a span of several years. For the past couple of years, since the completion of IEEE Std 1003.5c (Sockets and XTI) support for revisions of IEEE Std 1003.5 has apparently been limited to Diane Schleicher's project, and that has not been enough to get all the work done.

IEEE PASC is currently trying to decide what to do about the 1003.13 (realtime profiles) revision. The chair of that working group has presented two alternatives:

  1. Split the Ada profiles from the C profiles. That is, IEEE Std 1003.13 would be revised to delete the Ada API, and to make reference to a (forthcoming) separate set of Ada profiles. That would allow the 1003.13 revision to proceed. In the longer term, if there were interest enough, the Ada profiles might be merged into the 1003.5 standard. However, given the recent shortage of support for revising the POSIX Ada bindings standard, it would probably mean that there would be no standard Ada realtime profiles, not even the incomplete sets that are now in 1003.13.
  2. Keep the Ada profiles with the C profiles. For now, that would mean that the Ada profiles are subsets of the C profiles, since IEEE Std 1003.5 has fallen behind IEEE Std 1003.1. If 1003.5 is ever revised to include the new interfaces, 1003.13 would then need to be revised separately to include the new Ada interfaces.

Either way, the Ada bindings will lag behind the C bindings in the real-time area until and unless a few people step up to do the work up updating them. If there are people and organizations who care enough about keeping the Ada bindings up in sync with the POSIX/Unix C-language API to fund one or two people to take an active role in revising 1003.5 to include the 1003.1d, 1003.1i, and 1003.1j functions, they should contact me or one of the other members of the PASC SEC.

[Agenda]


Unfinished Business

None is anticipated.

[Agenda]


New Business

Category C Liaison with ACM SIGAda

Information

[See N395]

Discussion

Jim gave the presentation that he made to the SIGAda EEC (emphasizing slightly different points); he gave it on Monday night, 1 October 2001. [See N398] Jim suggests a Formal Category C liaison with ACM SIGAda. He also wants to form a (separate) liaison with representatives from Ada-Europe.

Erhard had a question about Jim's phrase "designated members" (of SIGAda) on his slide concerning Benefits and Responsibilities. Jim replied that the point is to maintain the concept that these "designated members" are performing a technical review. In this example, SIGAda would perform the designation of members.

RG chairs would then be allowed to distribute documents to the (SIGAda or Ada-Europe) point of contact and then that point of contact would redistribute those documents to particular people (within SIGAda or Ada-Europe).

Unless directed otherwise by JTC1, Jim will continue discussions with SIGAda and open discussions with Ada-Europe to create these liaisons. Jim will draft an appropriate Statement of Benefits and Responsibilities for SIGAda, Ada-Europe, and the Rapporteur Group chairs for their review.

In the JTC1, there are concerns that many of the NBs want more control over who participates on RGs.

The RG chairs can expect communication from the convener on the subject of changing RG charters and procedures to correctly deal with NB participants and liaison participants. RG Chairs will also be consulted in the drafting of a Statement of Benefits and Responsibilities to be forwarded to SC22 and JTC1.

Erhard Ploedereder said that he will serve as the point of contact for Ada-Europe in further discussions.

New JTC1 "Workshop" Mode of Operation

Information

[See N396]

Discussion

Jim then showed his presentation of a new JTC1 mode of operation for international workshops for the development of a possible standard. [See N399.] It would permit the rapid production of "International Workshop Agreements" (IWA) which are not standards but which could easily be converted to international standards.

Jim was asked to seek further clarification regarding the intellectual property policies to be applied to workshop deliverables.

[Agenda]


Administrative Actions

Action:

We appreciate the comfortable accommodations provided by SIGAda and the National Body of the US. The following resolution expresses WG9's gratitude.

[Resolution 41-5]

Action:

We appreciate the services of the meeting Secretary. The following resolution expresses WG9's gratitude.

[Resolution 41-6]

Action:

We appreciate the services of the WG9 Webmaster. The following resolution expresses WG9's gratitude.

[Resolution 41-7]

Action:

The Technical Corrigendum to the Ada Reference Manual was published on 1 June 2001. The following resolution congratulates the editors.

[Resolution 41-8]

Action:

According to the JTC1 Directives, Rapporteur Groups serve from meeting to meeting of the parent body. The following resolution continues the existing RGs and appoints their Chairs until the next meeting of WG9.

[Resolution 41-2]

Action:

Upon the retirement of Professor Erhard Ploedereder as chair of the Ada Rapporteur Group, we appreciate his long years of service to WG9 and the Ada community.

[Resolution 41-9]

[Agenda]


Review of New Action Items


Final Consideration of Resolutions

All resolutions were approved unanimously.

Administration

Resolution 41-1:

The minutes of Meeting #40 as contained in document N389 are approved.

Approved.

[Discussion] [Agenda]

Resolution 41-2:

ISO/IEC JTC1/SC22/WG9 continues the following Rapporteur Groups until the next plenary meeting and expresses its grateful appreciation to their chairs for their continuing service:

[Discussion] [Agenda]

Resolution 41-3:

WG9 schedules future meetings as follows:

[Discussion] [Agenda]

Work Programme

Resolution 41-4

WG9 approves the following AIs as written by the ARG, subject to their final editing by the ARG:

Amendment AIs:

AI95-00218/05 2001-05-18 -- Accidental overloading when overriding

Normal AIs:

AI95-00185/03 2001-05-20 -- Branch cuts of inverse trigonometric and hyperbolic functions

AI95-00221/02 2000-04-12 -- Default_Bit_Order is static

AI95-00223/02 2000-04-12 -- Line terminators are skipped by Get.

AI95-00227/04 2000-11-28 -- Behavior of Ada.Streams.Read when at the end of stream

AI95-00235/04 2000-11-28 -- Resolving 'Access.

AI95-00236/02 2000-11-19 -- Minimum criteria for metrics documentation

AI95-00241/02 2000-12-11 -- Testing for Null_Occurrence

AI95-00253/02 2001-05-20 -- The legality rules for pragmas Attach_Handler and Interrupt_Handler are similar

AI95-00258/02 2001-05-20 -- Behavior of Interfaces.C.To_C when the result is null

AI95-00268/02 2001-05-25 -- Rounding of real static expressions

[Discussion] [Agenda]

Appreciation

Resolution 41-5:

ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to SIGAda and the National Body of the USA for their gracious accommodations in hosting Meeting #41.

[Discussion] [Agenda]

Resolution 41-6

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

[Discussion] [Agenda]

Resolution 41-7:

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

[Discussion] [Agenda]

Resolution 41-8:

Noting the recent publication of the Technical Corrigendum to ISO/IEC 8652, ISO/IEC JTC1/SC22/WG9 congratulates and thanks the Corrigendum editors, Randy Brukardt and Erhard Ploedereder.

[Discussion] [Agenda]

Resolution 41-9:

ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Professor Erhard Ploedereder for his many years of service to WG9 and the Ada community as Chairman of the Ada Rapporteur Group.

[Discussion] [Agenda]


Adjournment

The meeting was adjourned at 12:45 pm.

[Agenda]


Appendix

Recommendation on ISO/IEC 13813 from the UK

The standard ISO/IEC 13813 entitled generic packages of real and complex type declarations and basic operations for Ada (including vector and matrix types) will soon be up for review. This note reviews the background to the development of the standard and makes a recommendation that the standard be revised.

Background

The Numerics Working Group of WG9 met many times during the period when Ada 95 was being designed and produced a number of standards. They were faced with the problem of whether to produce standards based on Ada 83 (87 in ISO terms) or whether to base them on Ada 95 or subsume them into Ada 95. One dilemma was of course that although Ada 95 was on the way nevertheless Ada 83 was expected to continue in use for many years.

The standards are

11430 and 11729 are mentioned for completeness. They were published in 1994. They were based entirely on Ada 83 and their facilities are provided in the Ada 95 core language. The elementary functions, 11430, became the package Ada.Numerics.Generic_Elementary_Functions and the primitive functions, 11729, became the various attributes such as 'Floor and 'Ceiling, and 'Exponent and 'Fraction. These two standards were withdrawn recently and need no further mention.

The other two standards, 13813 and 13814, were published in 1998 and will soon be up for review at the end of their five year period. Three possible fates can befall a standard when it is reviewed. It can be withdrawn, revised or confirmed.

In the case of 13814, the functionality is all incorporated into the Numerics Annex of Ada 95 as the package Ada.Numerics.Generic_Complex_Elementary_Functions. There are a few changes in presentation because the Ada 95 package uses the generic package parameter feature which of course did not exist in Ada 83. Nevertheless there seems little point in continuing with 13814 and so at the Leuven meeting of WG9 it was agreed to recommend that it be withdrawn.

However, the situation regarding 13813 is not so clear. Some of its functionality is included in Ada 95 but quite a lot is not. The topics covered are (1) a complex types package including various complex arithmetic operations, (2) a real arrays package covering both vectors and matrices, (3) a complex arrays package covering both vectors and matrices, (4) a complex input-output package.

The complex types package (1) became the package Ada.Numerics.Generic_Complex_Types and the input-output package (4) became Ada.Text_IO.Complex_IO. However, the array packages, both real and complex, were not incorporated into the Ada 95 standard.

At the Leuven meeting, it was agreed that 13813 should not be withdrawn without further study. The UK was asked to study whether small or large changes are required in 13813 and to report back at the next meeting (Minneapolis in October 2001). The Ada Rapporteur Group would then decide whether the functionality should be included in a future revision or amendment to Ada 95.

This is an interim report from the UK.

Recommendation

It is recommended that 13813 be revised so that it only contains the functionality not included in Ada 95.

The revised standard should contain two generic packages namely Ada.Numerics.Generic_Real_Arrays and Ada.Numerics.Generic_Complex_Arrays.

There should also be standard non-generic packages corresponding to the predefined types such as Float in an analogous manner to the standard packages such as Ada.Numerics.Complex_Types and Ada.Numerics.Long_Complex_Types for Float and Long_Float respectively.

The text of the Ada specifications of the two generic packages should be exactly as given in the non-normative Annex G of the existing standard 13813. (This Annex illustrates how the existing standard packages might be rewritten using Ada 95.)

There is an important issue regarding what should happen if there is a mismatch in the array lengths of the parameters in a number of the subprograms provided by the packages. For example if

function "+" (Left, Right: Real_Vector) return Real_Vector

be called with parameters such that Left'Length /= Right'Length.

The existing standard raises the exception Array_Index_Error which is declared alone in a package Array_Exceptions. The nonnormative Annex G shows this exception incorporated into the package Ada.Numerics thereby producing an incompatibility with the existing definition of Ada.Numerics.

We considered four possibilities regarding this exception

  1. Add Array_Index_Error to Ada.Numerics as in Annex G.
  2. Place Array_Index_Error in a new child package such as Ada.Numerics.Arrays.
  3. Eliminate Array_Index_Error and raise Constraint_Error instead.
  4. State that the behaviour with mismatched arrays is implementation-defined.

We concluded that

We therefore recommend Option (3) that Constraint_Error be raised on mismatching of parameters.

If the Ada95 standard itself be revised at some later date then consideration should be given to incorporating the functionality of the revised 13813 into the Numerics Annex.

Proposed text

The proposed text of the revised standard is as shown below.

[See N397]

Acknowledgment

We acknowledge the valuable assistance of Donald Sando, the editor of the original standard, in the preparation of this recommendation.

[Discussion] [Agenda]


ASIS Workshop, Organizing for an ASIS for Ada 200X, Currie Colket, Chair

Contributed by Clyde Roby

Those in attendance were: Dan Baysinger, Ann Brandon, Currie Colket, Steven Deller, David W. Glessner, Robert Leif, Clyde Roby, Jean-Pierre Rosen, and Paul Stachour.

The primary focus of the Ada Semantic Interface Specification (ASIS) Working Group (ASISWG) and ASIS Rapporteur Group (ASISRG) has been to evolve ASIS as an interface to the Ada 95 compilation environment. ASIS now provides a powerful mechanism to perform code analysis for mission-critical and safety-critical applications. A variety of highly effective tools have been built using ASIS. ASIS became an ISO standard in 1999.

This workshop was oriented towards brainstorming the processes to develop an ASIS standard to support an Ada 200X (perhaps Ada 2005?) standard. A group of nine enthusiastic participants held excellent discussions concerning several topics, including:

After an introduction by Currie Colket, chair of ASISWG/ASISRG, he explained to the group present that we needed to be thinking of the process of developing new interfaces for ASIS based upon the new features to be present in Ada 200X so that when that standard comes out, the appropriate ASIS standard will follow very soon thereafter.

Currie then went through his slide presentation:

Although the meeting was originally scheduled to be about an hour, the animated discussions that were part of the meeting lengthened it to about 2-1/2 hours. The next ASISWG/ASISRG meeting or workshop is expected to be held at Ada-Europe 2002.

[Discussion] [Agenda]


References

WG9 Documents

N363 Minutes and Resolutions of Meeting #36

N367 Minutes and Resolutions for Meeting #37 of ISO/IEC JTC1/SC22/WG9, Friday, 22 October 1999, Redondo Beach, California, USA

N372 Minutes and Resolutions for Meeting #38 of ISO/IEC JTC1/SC22/WG9, Friday, 30 June 2000, Potsdam, Germany

N378 Plenary Meeting Report of ISO/IEC JTC1/SC22, 11-15 September 2000, Nara, Japan

N385 Minutes and Resolutions for Meeting #39 of ISO/IEC JTC1/SC22/WG9, Friday, 17 November 2000, Laurel, Maryland, USA.

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

N390 Request to Make a Technical Report Freely Available on the Web

N391 Convener's Report, 2001

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

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

N394, (superseded)

N395, Excerpts from Directives of ISO/IEC JTC1, Part 1, Related to Liaison Organizations

N396, Rules for JTC1 Workshop Mode of Operation

N397, Initial Working Draft of Revised ISO/IEC 13813

N398, WG9 Convener's Presentation to Meeting 41, Possible Liaison Relationship between ACM SIGAda and ISO/IEC JTC1/SC22/WG9

N399, WG9 Convener's Presentation to Meeting 41, New JTC1 Mode of Operation: International Workshops

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

External Web Sites

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

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/

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

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

SIGAda 2001 Conference Web Site: http://www.acm.org/sigada/conf/sigada2001/

[Agenda]


End of Document