Draft 2,
In accordance with Resolution 52-4, the next meeting of ISO/IEC
JTC 1/SC 22/WG 9 was held in conjunction with the SIGAda
2007 conference, Thursday afternoon,
Clyde Roby served as meeting Secretary and recorded the notes on which these minutes are based.
The meeting was called to order at
Clyde Roby volunteered to serve as meeting Secretary.
The meeting agenda was approved.
The draft minutes of Meeting #52 are recorded in document N482.
|
|
Dirk Craeynest (HOD) |
No Report |
|
|
Brad Moore (HOD), Stephen Michell, Luke Wong |
|
|
|
Jean-Pierre Rosen (HOD) – Unable to attend |
|
|
|
TBD |
No Report |
|
|
Tullio Vardanega (HOD) – Unable to attend |
No Report |
|
|
Kiyoshi Ishihata (HOD) – Unable to attend |
No Report |
|
|
Urs Mauer (HOD) – Unable to attend |
No Report |
|
|
John Barnes (HOD) |
|
|
|
Robert Dewar (HOD), S. Tucker Taft, |
No Report |
|
Ada-Europe |
Erhard Ploedereder |
|
|
SIGAda |
John McCormick |
|
|
OWG: Vulnerabilities |
Erhard Ploedereder |
|
Convener |
Joyce Tokar |
|
Webmaster |
|
|
ARG Rapporteur |
Ed Schonberg |
|
HRG Rapporteur |
Alan Burns |
|
PRG Rapporteur |
Steve Michell |
|
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 14519: Ted Baker (unable to attend) ISO/IEC 15291: ISO/IEC TR 15942: Brian Wichman (unable to attend) ISO/IEC 18009: Erhard Ploedereder ISO/IEC TR 24718: Alan Burns |
|
Guests: |
David Phillips |
No written report
Received from Brad Moore on
The CAC (Canadian Advisory Council) WG9 members met recently by teleconference.
We discussed potential future growth areas for the
Received from Jean-Pierre Rosen on
The
Note that the freely available
standards can be found on the ITTF website.
Although not mentioned on the agenda, the group reviewed the AI's that were
previously circulated (AI05-0002-1/03, AI05-0008-1/04, AI05-0017-1/03,
AI05-0019-1/03, AI05-0024-1/04, AI05-0028-1/05, AI05-0035-1/03, AI05-0037-1/01,
AI05-0040-1/02, AI05-0043-1/01, AI05-0046-1/02, AI05-0055-1/02, and
AI05-0056-1/02). Should a vote on these AIs be added
to the agenda,
No written report
No written report
No written report
No written report
Received from John Barnes on
There is little to report at this time. The BSI Ada panel
met once in the period concerned and spent much of the meeting wondering why
certain rules were changed when
US has appointed Robert Dewar (President), AdaCore, Inc., as the new Head of the US Delegation to WG9.
Ada-Europe is a Category C Liaison to WG9 (See N414)
Received from Erhard Ploedereder,
Ada-Europe has decided to publish the Ada 2005 Rationale, as an LNCS.
In June, Ada-Europe elected Tullio Vardanega as its new president.
Its next conference will be in
SIGAda is a Category C Liaison to WG9 (See N414)
At SIGAda’s Extended Executive Committee (EEC)
meeting, there was discussion about the status of the Ada Style Guide, i.e.,
who owns the copyright, etc. SIGAda is currently investigating copyright issues
from the Software Productivity Consortium (the SPC owns the copyright although,
from their website, they do not have any
A question brought up here at WG9 concerned whether or not the AJPO (now non-existent) still owned a/the copyright to the Guide; if so, can WG9 (or anybody else) modify it? Opinions brought out during discussions here at WG9 indicate that the copyright evidently is still with SPC.
It was also brought up at the EEC meeting that a SIGAda member wanted to print and distribute the Ada Reference Manual (ARM) to all SIGAda members. Is this in conflict with Springer publishing “rights”? If this is done, is it in competition with Ada-Europe’s printing of the ARM? Evidently ACM’s lawyers are basically worried about printing and distributing the ARM – and denied permission to do it.
The ARG is very interested in learning more about the resolution of the copy
right issues as this may be helpful with the updates of other
Presently, it looks like the copyright is to AJPO; essentially this means the US Federal Government.
There is interest from the user community for this document. SIGAda will keep WG9 informed on the progress in the development of this guide.
The OWG: Vulnerabilities is an ad hoc Working Group of ISO/IEC/JTC1/SC22 (See N469).
Received from Erhard Ploedereder,
OWG meets quarterly. The last meeting was in
The Catalogue of Vulnerabilities is coming along very nicely; there are at present about 100 entries. Work is done via a Wiki. The initial fear of a language bashing exercise seems to have abated, at least among the members present at the meeting, which was also attended for a day by Bjarne Stroustrup. Orientation along known guidelines and rule systems (MISRA, JSF, NASA) has benefited the process significantly. At present, much of the verbiage is still rather C/C++-oriented, mostly due to authors' background or origin of the issue from C or C++ oriented guidelines. In most cases, however, an abstracting pass is possible to describe the vulnerabilities independently of the language. Language-oriented descriptions of how to avoid the vulnerabilities is planned to be added in Annexes, farmed out to the respective WGs.
The next meetings are planned for
The main work of the OWG is to identify vulnerabilities in general. Each
language WG is to worry about how those vulnerabilities are to be handled
specifically for that language. WG9 may be asked in the near future to produce an
annex to the OWG document to address the vulnerabilities as they apply to
It was noted that Jim Moore likes to begin the development of documents in the standardization process as early as possible. The draft/rough Committee Draft is due in June 2008
OWG meets quarterly (see above scheduled meeting locations).
Resolution 07-31 of the ISO/IEC JTC1/SC22 plenary meeting in September 2007 approved the appointment of Dr. Joyce Tokar as convener of ISO/IEC JTC1/SC22/WG9 for a term of three years. That term will expire at the 2010 plenary meeting of SC22, presumably in September 2010.
Resolution 07-38 of the ISO/IEC JTC1/SC22 plenary meeting in September 2007 recognized Mr. James W. Moore for his many of leadership in WG 9 and support to JTC 1/SC 22.
ISO/IEC
NP 15291, Information technology – Programming languages – Ada Semantic
Interface Specification (ASIS) (revision of ISO/IEC 15291:1999) was registered
as a Preliminary Work Item as part of
Resolution 07-11 of the ISO/IEC JTC1/SC22 plenary
meeting in September 2007. This was done
for
several reasons. First, the NP should have been submitted with a working
draft (WD). Second, the clock started running when this was instantiated
as
a New Work Item (
what I knew at the SC 22 in September, I decided that this was a very
aggressive schedule. So, in working with the SC 22 Secretariat, I learned that
we could change the status of the update to be a Preliminary Work Item -- this
stops the clock for up to 18 months.
What is needed from the ASIS team is a plan and schedule for when the Working
Draft will be available. And then WG 9 can prepare to submit the
Working Draft to resume the NP activity. Ideally, the WD will be in the stage
of submittal of a Committee Draft so that we can pick-up the schedule
to get the document through the ISO process.
Steve Michell was present at the SC 22 meeting, too. SC22 is now getting directions for more formality from ITTF. If times/schedules are not made, then a project can be cancelled. Thus, the process of submitting documents needs to define the work clearer, etc. as Committee Drafts (CD) progress through the pipeline. If we want to continue in this way, then within 2 years we must have a Working Draft and then a CD within 18 months after that.
The way that WG9 works, we usually use the nearly completed document as the initial CD. This is the direction given to the ASIS group. The Convener would like to see a draft by summer (2008) so that it can be taken to the SC22 fall (2008) meeting.
As
most of you know, early in September 2007, Pascal Leroy has resigned from IBM
and therefore will no longer support WG9 as the Rapporteur of the
The most important work for this meeting is to organize WG9 to conduct the various items of work that recently started. These include:
ASIS – need to begin to consider what the schedule will be for the development of this update,
POSIX/Ada binding – leadership and direction, and
Extended containers – status and direction.
This is the "To Do" list for WG9. Some are informal action items assigned to various participants. Some are formal resolutions, which are not yet implemented. Some items are simply in suspense awaiting action by other groups.
[Editor, TR 24718] Monitor implementation by ITTF of free availability for ISO/IEC TR 24718.
For more info, see: [Project Editor
Maintenance Report, 24718]
We should stop asking ISO about this issue. Request the SIGAda add a link to this document as well as including the link on the WG9 site.
Status: CLOSED
ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be reconfirmed 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 more info: See [Project Editor
Maintenance Report, 8652]
Status: CLOSED
[Convener] Investigate the possibility that ANSI might be willing to sell the revised ASIS standard ISO/IEC 15291:200x inexpensively, i.e. at a price similar to that of programming language standards -- $18.
We agreed that the document should be freely available. But if it is an ISO standard, then it is easier for people to tell their companies/sponsors that they should work on the standard. Look into the possibility of getting this document to be made freely available. It is very unlikely that the ASIS standard will fall into the category of freely available document. An additional issue is that the original document has the ISO copyright therefore it must remain under the ISO standard umbrella.
Action is to the
Status: Open
WG9 requests that the ARG consider solutions to the problem described in comment 12 of N459 [containers], as well as other possible extensions to the standard library, and develop a New Work Item Proposal for a Type 2 Technical Report that will provide a "trial use" specification to users and implementers, and that will be suitable for future standardization.
For status: See [Report of Ada Rapporteur Group]
Noting the current systematic review of ISO/IEC 14519 (POSIX/Ada) and the
absence of any working group responsible for maintenance of the standard,
SC22/WG9 recommends to SC22 that the standard should be confirmed in the
current review and states its willingness to accept the editorial
responsibility for the standard. It offers the services of Steve Michell (
For status: See [Project Editor
Maintenance Report, 14519]
ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be withdrawn when it reaches the end of its five-year review period:
For status, see: [Project Editor Maintenance Report, 13813]
Resolution 51-5
scheduled meeting #53 in conjunction with the 2007 SIGAda conference on the
afternoon of
The resolution offered below confirms the previous resolution and states the intention of WG9 to co-locate meeting #55 with the 2008 SIGAda conference.
ISO/IEC 8652:1995 Information Technology--Programming Languages--Ada, 22.10.01, Randy Brukardt and Erhard Ploedereder, Project Editors, supported by the Ada Rapporteur Group.
ISO/IEC 8652:1995/COR.1:2001, Technical Corrigendum to Information Technology--Programming Languages--Ada, 22.10.01, Randy Brukardt and Erhard Ploedereder, Project Editors, supported by the Ada Rapporteur Group.
Maintenance action recommendation is due in 2005 for systematic review in 2006.
Project Status
The request for subdivision [N388] of
Project 22.10.01, to create AMD.1 was endorsed by WG9 Resolution 40-7 [N389], and approved by SC22 N3310 on
2001-09-12. The project editors are Randy Brukardt
and Pascal Leroy, supported by the Ada Rapporteur Group. Preparation of the
Working Draft was delegated to the
WG9 requests the project editor of the 8652 amendment to remain prepared to respond to any request from ITTF for a manuscript of a third edition to 8652.
ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review
period: ISO/IEC 8652:1995, Information Technology--Programming Languages--
Status: The ISO web site indicates that systematic review is underway.
The ARG is continuing maintenance on the standard; see the ARG report for details.
No resolution.
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
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
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:
ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be withdrawn when it reaches the end of its five-year review period:
Status: OPEN. The recommendations above were endorsed by SC22 Resolution
01-07 at their September 2001 plenary meeting. They have been forwarded to JTC1
for approval (during 2003) and implementation by ITTF (during 2004). However,
JTC1 voted to confirm ISO/IEC 13814 rather than withdraw it as requested by WG9
and SC22. The SC22 Secretariat conducted a letter ballot authorizing it to
request that JTC1 reconsider its action. Accordingly, the request was sent to
JTC1 and JTC1 responded by circulating a letter ballot (J1N7405) to withdraw
the standard. The ballot ended on
No written report.
ISO/IEC 14519:2001 Ed. 2, Information technology -- POSIX Ada Language Interfaces -- Binding for System Application Program Interface (API), 22.21.04.02, Ted Baker, Project Editor
In 2005, this document was reassigned by SC22, from WG15 to WG9.
Noting the current systematic review of ISO/IEC 14519 and the absence of any
working group responsible for maintenance of the standard, SC22/WG9 recommends
to SC22 that the standard should be confirmed in the current review and states
its willingness to accept the editorial responsibility for the standard. It
offers the services of Steve Michell (
Status: SC22 reassigned the standard to WG9 with Ted Baker as project editor. Processing of the document's confirmation by systematic review has not been completed.
Email note from Ted Baker,
I regret to say that will not be able to attend. I have exchanged several e-mails with Stephen Michell on the subject of the POSIX Ada binding standard. I provided him with a pdf version of the POSIX Ada binding document, so that he and a group of Canadian colleagues could review it. I understand that they will be estimating the scope of work that would be required to bring the standard up to date with respect to Ada and the base POSIX/Unix C-language API. There have been a few other exchanges, with a representative of Adacore Technologies and a user. The scope of the project can be scaled to fit the available human resources, by limiting the changes to only features that are not already provided by the existing POSIX Ada binding and the Ada language *and* have been requested by members of the Ada community. To this end, it might be reasonable to ask WG9 representatives to provide some e-mail lists of individuals and organizations that we could poll, to determine a list of features for which there is a demand.
No written report.
ISO/IEC 15291:1999, Information Technology--Programming Languages--Ada Semantic Interface Specification (ASIS), 22.15291, Clyde Roby and Greg Gicca, Project Editors, supported by the ASIS Rapporteur Group.
This document was "confirmed" by JTC1 in its 2004 systematic review.
No Report
ISO/IEC TR 15942:2000, Guidance for the Use of Ada in High Integrity Systems, 22.15942, Brian Wichmann, Project Editor, supported by the Annex H Rapporteur Group.
This is a Type 3 Technical Report; it is publicly available.
JTC1/SC22 recommends to JTC1 that at the end of their 5-year review period, the following standards and technical report be confirmed: ISO/IEC TR 15942: 2000, Guidance for the use of Ada Programming Language in High-Integrity Systems.
Status: The request was forwarded to JTC1 for action during 2005. However, the result of their action is not evident. The convener has requested clarification.
No written report.
ISO/IEC 18009:1999, Conformity Assessment of an Ada Language Processor, 22.18009, Erhard Ploedereder, Project Editor, supported by the Ada Rapporteur Group.
This document was "confirmed" by JTC1 in its 2004 systematic review.
No written report.
ISO/IEC TR 24718:2005, Guide for the use of the Ada Ravenscar Profile in high integrity systems
22.24718, Alan Burns, Project Editor, supported by the Annex H Rapporteur Group
This is a Type 3 Technical Report providing guidance for users; it is publicly available.
No written report.
WG9 [N406]: Procedures of the ARG
Resolution 44-4 of [N428]: The convener directs the chair of the ARG to send the list of AIs intended for submission to WG9 to NB and liaison representatives at the time they enter the 'editorial review' state. It would then be the duty of each NB and liaison representative to circulate this information within their own organization for the purpose of developing a position for the forthcoming meeting of WG9.
WG9 N464r, N468: Terms of reference and approach for the revision of ISO/IEC 15291 (approved by Resolution 50-7 [N470])
Resolution 50-6 of [N470]: Until otherwise directed by WG9, the ARG is requested to observe the following priorities in its work: (1, the highest priority) develop a revision of ISO/IEC 15291, ASIS; (2) respond to Defect Reports and/or Ada Issues on ISO/IEC 8652; (3) develop Technical Reports or Standards improving the Ada libraries--notably with respect to containers; and (4) consider proposals for extending the language.
WG9 requests that the ARG consider solutions to the problem described in comment 12 of N459 [containers], as well as other possible extensions to the standard library, and develop a New Work Item Proposal for a Type 2 Technical Report that will provide a "trial use" specification to users and implementers, and that will be suitable for future standardization.
Status: Open
From Minutes of Meeting #49 [N458]
While it is understood that the document delivered to WG9 is the Amendment document, the ARG, in compliance with resolution 48-3, is prepared to provide an integrated document (known in the vernacular as Reference Manual), and special care has been taken to ensure the consistency of these documents.
From Minutes of Meeting #49 [N458]
There was discussion of the appropriate scope of the revision: update enough
to permit access to the new
The amended document was retitled as "Approved Plan for the Revision of the ASIS Standard, ISO/IEC 15291" and renumbered as [N457].
From meeting #49 –
Applying AIs Retroactively
|
Request from ARG |
The ARG Rapporteur posed the following question: Should it be permitted to select AIs of the amendment and implement them upon Ada 95? |
|
Discussion |
The ARG Rapporteur reported that there has been email discussion of applying some of the AIs of the amendment to the unamended language. It has been suggested that the AIs that constitute "corrections" or "clarifications" should be applied to old compilers. The Convener stated that AIs become part of the standard only when incorporated into a Corrigendum or an Amendment. AIs that are not incorporated but result in changing tests indicate only that the test was incorrect. Randy Brukardt (who operates the Ada Conformity Assessment Authority) noted that currently the ACATS suite is updated only for the Technical Corrigendum and has not been updated as a result of any AIs since then. As this is the operational test of conformity, it would not be possible to certify a compiler as conforming if it were to apply AIs processed since that date, but short of the full amendment. As a result of the discussion, the following resolution was approved. |
|
Resolution |
Resolution 49-7:WG9 recommends that all effort in enhancing the ACATS should be dedicated to tests appropriate for assessing conformance to Ada 2005. |
The ARG has its "usual" motion for the June meeting for approval of a series of AIs. See the list below. Pointers to retrieve the AIs are included. The list includes one Ada 95 AI: this is not a mistake; this AI makes it possible for existing compilers to support new Ada 2005 syntax in their Ada 95 implementation, in order to ease transition to the new language.
The cited AIs can be found online at http://www.ada-auth.org/AI-SUMMARY.HTML and http://www.ada-auth.org/AI05-SUMMARY.HTML.
AI95-00447-01/02 2006-06-16 -- Null_exclusions allowed in Ada 95
Ada 2005 AIs:
AI05-0007-1/03 2006-12-13 -- Stream 'Read and private scalar types
AI05-0014-1/02 2006-06-20 -- Accessibility of designated objects
AI05-0015-1/03 2006-12-13 -- Constant return objects
AI05-0016-1/02 2006-12-13 -- Others => <> can be used in place of null record
AI05-0020-1/02 2006-12-13 -- Universal operators of fixed point and access types
AI05-0021-1/02 2006-12-13 -- Issues with containers
AI05-0025-1/02 2006-12-13 -- Missing legality rules for formal_package_association
The ARG has approved of a series of AIs. See the list below.
The cited AIs can be found online at http://www.ada-auth.org/AI-SUMMARY.HTML and http://www.ada-auth.org/AI05-SUMMARY.HTML.
AI05-0002-1/04 2007-10-01 -- Unconstrained arrays and C interfacing
AI05-0008-1/05 2007-10-01 -- General access values that might designate constrained objects
AI05-0017-1/04 2007-10-01 -- Freezing and incomplete types
AI05-0019-1/04 2007-10-01 -- Primitive subprograms are frozen with a tagged type
AI05-0024-1/05 2007-10-01 -- Run-time accessibility checks
AI05-0028-1/06 2007-10-01 -- Problems with preelaboration
AI05-0035-1/04 2007-10-01 -- Inconsistences
with pure units
AI05-0037-1/02 2007-10-08 -- Out of range <> associations in
array aggregates
AI05-0040-1/03 2007-10-08 -- Limited with clauses on descendants
AI05-0043-1/02 2007-10-08 -- The Exception_Message for failed language-defined checks
AI05-0046-1/03 2007-10-08 -- Null exclusions must match for profiles
to be fully conformant
AI05-0055-1/03 2007-10-08 -- Glitch in EDF protocol
AI05-0056-1/02 2007-06-17 -- Wrong result for Index functions
In the future, WG9 directs the ARG to take some care in the selection of titles for the AIs using meaningful technical terminology to express the content AI and avoid the use of jargon terminology such as ‘glitch.’
Resolution 53-2 Resolution 53-6
WG9 N416, Charter of the HRG
From the Minutes of Meeting #49 [N458]
The HRG has not met since the last meeting of WG9. It has reviewed (by
email) its future agenda and has decided that it should revisit the Guidelines
for use of
From the Minutes of Meeting #49 [N458]
Both Steve Michell and Erhard Ploedereder stated
that they planned to participated in OWG:Vulnerability
representing
No written report
The HRG has not met or reported to the WG9 for at least five consecutive meetings. Should the HRG be continued? WG9 directs the HRG to provide an update of the status of the HRG with respect to the progress of the update of the Technical Report to incorporate Ada 2005. John Barnes (UK) and Robert Dewar (USA) have taken the action to follow-up with Alan Burns (UK) Rapporteur on this issue.
It was decided that it would be appropriate to create a distinct Rapporteur
Group to deal with the POSIX/Ada binding. Luke Wong (
It's not clear that a New Work Item Proposal is needed immediately. However, the Rapporteur Group should develop a statement of scope and some operating procedures.
Project: Revision of ISO/IEC 14519:1998 Ada POSIX Binding
Calling meeting for Feb 6-8 in
Analysed existing Ada POSIX Binding document, 9945:2008(Draft) to identify
What is still valid
What we don't want to include
(c-specific, already in Core Ada or in Annexes)
Parts that have been obsoleted by 9945 since 1996
(and there are quite a few)
Developed list of issues - about 1800 individual data points and categorized them.
A small group (Michell, Moore,
Wong) met in
analysis, reasons and to gain his perspective on various issues.
What we are left with is a set of approximately 350 individual datapoints that need further analysis. These have a significant variety of reasons for needing further analysis. Most will be solved by a careful review and a change of a name or just a POSIX reference in the document. A few might need new the possible addition of new procedures, constants or types. A very few could require new packages and functionality defined.
We have a plan to develop a web site in parallel with ada-auth.org maintained by Randy Brukhart, and to develop a few POSIX Issues.
We predict only a small number (20-50) POSIX Issues needed to capture analysis done or to be done.
There is a group of about 10 people that have expressed interest in the activity. An email reflector has been set up but has not been used much yet. (need web site to support the activity).
I have prepared a set of procedures for presentation and review at the first meeting. This document came from ARG procedures. I expect that some simplification will occur.
The final product needs IEEE and ISO/IEC/JTC1 approval processes. This may govern the final product. Ideally an amendment or even a technical corrigendum might be possible, if IEEE agrees. We (Ted) asked IEEE to waive copyright but have had no response.
Austin Group has offered to help, but in non-technical ways. I expect that they could be used for sanity checks and to help navigate the IEEE balloting processes.
The amount of work to be done probably translates to about 1 person years of work. Since we are unfunded, 5 or 6 people over 2 years could probably do this work.
It seems as though I should stay on as Rapporteur. My heavy workload interferes with progress, but given the lack of interest of anyone else wanting to lead this effort, it seems like the best alternative. Ted Baker has agreed to stay involved as editor. Given Ted's expertise and knowledge of the toolset in producing the document, this will also minimize our effort.
After some discussion on the purpose and focus of this
group, it was determined that the workload would be at about 12-18
person-months.
Nothing to discuss
Matthew Heaney is continuing his implementation of Extended Containers – no formal discussion is taking place at this time. Resolution 50-5 should stay Open as ARG work.
We appreciate the comfortable accommodations provided by SIGAda. The resolution expresses WG9's gratitude.
We appreciate the services of the meeting Secretary, Clyde Roby. The resolution expresses WG9's gratitude.
We appreciate the continuing services of the WG9 Web Master, Clyde Roby. The resolution expresses WG9's gratitude.
We appreciate the services of the meeting Chair, Joyce Tokar. The resolution expresses WG9's gratitude.
-
[Numbering of resolutions is provisional and may be changed following the meeting.]
The minutes of Meeting #52 are contained in document N482 are approved.
ISO/IEC JTC1/SC22/WG9 continues its Ada Rapporteur Group until the next plenary meeting and expresses its grateful appreciation to the Rapporteur and the members for their continuing service.
Ed Schonberg (US) is appointed as Rapporteur.
The membership of the ARG is designated to be: Steve Baird (SIGAda), John Barnes (UK), Randy Brukardt (US), Alan Burns (UK), Robert Dewar (US), Gary Dismukes (US), Robert Duff (US), Kiyoshi Ishihata (Japan), Bibb Latting (US), Pascal Leroy (France), Brad Moore (Canada), Erhard Ploedereder (Ada-Europe), Jean-Pierre Rosen (France), Ed Schonberg (US), Tucker Taft (US), Bill Thomas (SIGAda), and Tullio Vardanega (Italy).
The Convener of WG9 is authorized to act for WG9 between meetings in
appointing additional members of the
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.
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 (Ada-Europe), Juan Antonio de la Puente (Ada Europe), George Romanski (SIGAda), Jean-Pierre Rosen (France), Mark Saaltink (Canada), Tullio Vardanega (Italy), and Brian Wichmann (UK).
The Convener of WG9 is authorized to act for WG9 between meetings in appointing additional members of the HRG. In doing so, she shall consult with the Rapporteur and the National Body or Liaison Organization nominating the member.
Rapporteurs are instructed that they may permit other individuals to observe the deliberations of the Rapporteur Group. The admission of observers and the extent of participation permitted to observers are at the discretion of the Rapporteur with the concurrence of the membership of the Rapporteur Group.
ISO/IEC JTC1/SC22/WG9 continues its POSIX/Ada binding Rapporteur Group (PRG) until the next plenary meeting and expresses its grateful appreciation to the Rapporteur and the members for their continuing service.
Stephen Michell(
The membership of the PRG is designated to be: Ted Baker (US), Matthew Gingell (US), Stephen Michell (
The Convener of WG9 is authorized to act for WG9 between meetings in appointing additional members of the PRG. In doing so, she shall consult with the Rapporteur and the National Body or Liaison Organization nominating the member.
Rapporteurs are instructed that they may permit other individuals to observe the deliberations of the Rapporteur Group. The admission of observers and the extent of participation permitted to observers are at the discretion of the Rapporteur with the concurrence of the membership of the Rapporteur Group.
WG9 schedules future meetings as follows:
WG9 approves the following AIs, which have been previously approved by the ARG:
AI05-0002-1/04 2007-10-01 -- Unconstrained arrays and C interfacing
AI05-0008-1/05 2007-10-01 -- General access values that might designate constrained objects
AI05-0017-1/04 2007-10-01 -- Freezing and incomplete types
AI05-0019-1/04 2007-10-01 -- Primitive subprograms are frozen with a tagged type
AI05-0024-1/05 2007-10-01 -- Run-time accessibility checks
AI05-0028-1/06 2007-10-01 -- Problems with preelaboration
AI05-0035-1/04 2007-10-01 -- Inconsistences with pure units
AI05-0037-1/02 2007-10-08 -- Out of range <> associations in array aggregates
AI05-0040-1/03 2007-10-08 -- Limited with clauses on descendants
AI05-0043-1/02 2007-10-08 -- The Exception_Message for failed language-defined checks
AI05-0046-1/03 2007-10-08 -- Null exclusions must match for profiles to be fully conformant
AI05-0055-1/03 2007-10-08 -- Glitch in EDF protocol
AI05-0056-1/02 2007-06-17 -- Wrong result for Index functions
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to SIGAda for their gracious accommodations in hosting Meeting #53.
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Clyde Roby for serving as Secretary of Meeting #53.
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Clyde Roby for his continuing service in maintaining the WG9 Web Page.
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Joyce Tokar for serving as Chair of Meeting #53.
The meeting ended at 12:35pm. It is the convener's request that the meeting should recess subject to her call. HODs may anticipate email ballots to be conducted during the months between this meeting and the next one.
N388, Request for Subdivision of Project ISO/IEC 8652:1995
N389, Minutes, Meeting #40 of ISO/IEC JTC1/SC22/WG9,
N400, Minutes, Meeting #41 of ISO/IEC JTC1/SC22/WG9,
N404, Working Draft, Revision of ISO/IEC 13813
N405, Recommendation on ISO/IEC 13813 from the
N406, Procedures of the Ada Rapporteur Group
N409r, Minutes, Meeting #42, ISO/IEC JTC1/SC22/WG9,
N412, Instructions to the Ada Rapporteur Group from SC22/WG9 for
Preparation of the Amendment to ISO/IEC 8652,
N414, Notification of Approval of Category C Liaisons between SC22/WG9 and Ada-Europe and SIGAda
N416, Charter of the Annex H Rapporteur Group (HRG)
N417, Charter of the ASIS Rapporteur Group (ASISRG)
N418, Minutes, Meeting #43, ISO/IEC JTC1/SC22/WG9,
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,
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,
N434, Minutes, Meeting #45 ISO/IEC JTC1/SC22/WG9,
N435, Draft for PDTR Approval Ballot, ISO/IEC TR 24718, Guide for the
use of the Ada Ravenscar Profile in high integrity
systems,
N437, ARG Rapporteur's Proposal for Defining
Scope of Amendment to ISO/IEC 8652:1995,
N439r, Convener's Report, 2004, ISO/IEC JTC1/SC22/WG9 (
N440, Minutes, Meeting #46 ISO/IEC JTC1/SC22/WG9,
N441, SC22 N3758, WG9 Request for National Body Contributions on Implementation
of Coded Character Sets in
N442, Draft submitted for DTR Approval Ballot, ISO/IEC TR 24718, Guide for the use of the Ravenscar
Profile in high integrity systems,
N443, Announcement and Draft Agenda, Meeting #47 of ISO/IEC
JTC1/SC22/WG9,
N444, Meeting Report: ISO/IEC JTC1/SC22, 6-10 September 2004, Jeju,
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,
N449, Announcement and Draft Agenda, Meeting #48 of ISO/IEC
JTC1/SC22/WG9,
N450, Detailed Agenda, Meeting #48 of ISO/IEC JTC1/SC22/WG9,
N451, Minutes, Meeting #48, ISO/IEC JTC1/SC22/WG9,
N452r, Convener's Report, 2005, ISO/IEC JTC1/SC22/WG9 (
N453, Announcement and Draft Agenda, Meeting #49 of ISO/IEC
JTC1/SC22/WG9,
N454, Meeting Report: ISO/IEC JTC1/SC22 (Programming Languages,
Operating Systems and Environments), 29 September to
N455, Draft Detailed Agenda, Meeting #49 of ISO/IEC JTC1/SC22/WG9,
N456, Convener Proposal for the Revision of the ASIS Standard, ISO/IEC 15291
N457, Approved Plan for the Revision of the ASIS Standard, ISO/IEC 15291
N458, Minutes, Meeting #49, ISO/IEC JTC1/SC22/WG9,
N459, Disposition of Informal Comments Received on Editor's Draft of
Amendment,
N460, Editor's Draft, Amendment 1 to ISO/IEC 8652, March 2006
N461, Announcement and Draft Agenda, Meeting #50 of ISO/IEC
JTC1/SC22/WG9,
N462, JTC1 Directives, 5th edition, Version 2, April 2006 (JTC001-N-8122)
N463, ISO/IEC Directives, Part 2, Rules for the structure and drafting of International Standards
N464r, 2nd Preliminary draft New Work Item Proposal for the Revision of ISO/IEC 15291, ASIS
N465, Response of ISO/IEC JTC1/SC22/WG9 to SC22 Resolution 5-15
N466, Draft Detailed Agenda, Meeting #50 of ISO/IEC JTC1/SC22/WG9,
N467, Submission of ISO/IEC 8652:1995/FPDAM 1 to SC22 for FPDAM ballot
N468, Example approach for structuring the revised ASIS Standard
N469, John Benito, "OWG: Vulnerability -- A new type of Working
Group used for a new SC22 Working Group," for SC22/WG9 Meeting,
N470, Draft Minutes, Meeting #50, ISO/IEC JTC1/SC22/WG9,
N471, List of AIs approved per resolution 50-8
N472, Proposal to Revise ISO/IEC 15291, Information technology - Programming languages - Ada Semantic Interface Specification (ASIS)
N473, Annual Convener's Report, 2006, ISO/IEC JTC1/SC22/WG9 (
N474, Announcement and Draft Agenda, Meeting #51 of ISO/IEC JTC 1/SC
22/WG 9,
N475, Meeting Report: Plenary Meeting of ISO/IEC JTC 1/SC 22, 18-22
September 2006,
N477, Canadian Contribution, Initial Work Scope Summary for updating Ada POSIX Bindings IS 14519:2001 to POSIX Draft IS 9945:2008 and Ada 2005.
N478, Minutes, Meeting #51 of ISO/IEC
JTC1/SC22/WG9,
N479,
SIGAda contribution, Clyde Roby, Notes of Birds-of-a-Feather session on
POSIX-Ada Binding, conducted at SIGAda 2006,
N480, Announcement and Draft Agenda,
Meeting #52 of ISO/IEC JTC 1/SC 22/WG 9,
N481, Draft
Detailed Agenda, Meeting #52 of ISO/IEC JTC 1/SC 22/WG 9,
N482,
Draft Minutes, Meeting #52 of ISO/IEC JTC 1/SC 22/WG 9,
N483,
Annual Convener's Report, 2007, ISO/IEC JTC1/SC22/WG9 (
N484, Announcement and Draft Agenda, Meeting #53 of ISO/IEC
JTC1/SC22/WG9, Thu,
ISO Web Site: http://www.iso.org/
ITTF Web site of publicly available standards: http://isotc.iso.ch/livelink/livelink/fetch/2000/2489/Ittf_Home/PubliclyAvailableStandards.htm.
JTC1 Web Site: http://www.jtc1.org/
SC22 Web Site: http://www.open-std.org/JTC1/SC22/
WG9 Web Site: http://www.open-std.org/JTC1/SC22/WG9/
SC22 High Integrity Ad Hoc Group Web Site: http://www.aitcnet.org/isai/
ACAA Web Site: http://www.ada-auth.org/
ACAA Web Site for ARG Minutes: http://www.ada-auth.org/arg-minutes.html
ACAA Web Site for AIs: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/
ACAA Web Site for Amendment: http://www.ada-auth.org/amendment.html
Ada-Europe Web Site: http://www.ada-europe.org/
Ada-Europe 2007 Conference Web Site: http://adae2007.eig.ch/
Ada-Europe 2008 Conference Web Site: http://www.ada-europe.org/conference2008.html
SIGAda Web Site: http://www.acm.org/sigada/
SIGAda 2008 Conference Web Site: http://www.sigada.org/conf/sigada2008/
[Agenda]
End of Document