ISO/IEC JTC 1/SC 22/WG 9 N491

Convener's Report, 2008, ISO/IEC JTC 1/SC 22/WG 9 (Ada)

Prepared by: Joyce L Tokar, PhD, [email protected] , 25 July 2008

BUSINESS PLAN FOR JTC 1/SC 22/WG 9 (Ada)

PERIOD COVERED:

1 July 2007-1 July 2008

SUBMITTED BY:

Convener of ISO/IEC JTC 1/SC 22/WG 9
Joyce L Tokar, PhD
Pyrrhus Software
PO Box 1352
Phoenix, AZ  85001-1352

1. MANAGEMENT SUMMARY

1.1 Convener’s Remarks

The focus of WG 9 over the year was to conduct the various items of work that recently started. The work of WG 9 is being conducted with the following priorities in its work: (1, the highest priority) develop a revision of ISO/IEC 15291, ASIS; 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; (4) consider proposals for extending the language.

1.2 JTC 1/SC 22/WG 9 Statement of Scope

Coordination of ISO standards for Programming Language Ada

1.3 Project Report

1.3.1 Completed Projects
22.10.01 -- IS 8652:1995 Programming Languages: Ada and
ISO/IEC 8652:1995/Cor.1:2001 Technical Corrigendum

The Standard was published in 1995 and a Technical Corrigendum was published in 2001. WG 9 determined that the best strategy for updating the standard was to develop an Amendment. SC 22 approved the project subdivision in N3310.

22.10.01.01 -- IS 8652:1995 Programming Languages: Ada and
ISO/IEC 8652:1995/Amendments to ISO/IEC 8652:1995

Subdivision of project 1.22.10.01 approved per JTC 1 N6567. N 4051- FPDAM ballot passed. Published 9 March 2007 as Ada 2005.

22.10.04 -- IS 13813:1998 Generic packages of real and complex type declarations and basic operations for Ada (including vector and matrix types)

WG 9 recommends the withdrawal of this standard.

22.15291-- IS 15291:1999 Ada Semantic Interface Specification (ASIS)

WG 9 voted in June 2003 to confirm this standard upon its reaching the five-year review point. SC 22 endorsed the request in its 2003 plenary meeting. The Status shown on the ISO web site is 90.93 (confirmed).

22.15942 -- TR 15942:2000 Guidance for the use of the Ada Programming Language in High Integrity Systems

WG 9 has requested that this Type 3 Technical Report be made freely available on an appropriate web site. The request was approved by SC 22 and JTC 1 and was implemented.

22.18009 -- IS 18009:1999, Ada Conformity Assessment

WG 9 voted in June 2003 to confirm this standard upon its reaching the five-year review point. SC 22 endorsed the request in its 2003 plenary meeting. The status is shown on the ISO web site as 90.93 (confirmed).

22.24718 -- TR 24718:2005, Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems

A Type 3 Technical Report, ISO/IEC TR 24718, Guide for the use of the Ada Ravenscar Profile in high integrity systems, was completed during 2005. The status shown on the ISO web site is 60.60 (published). Although the normal process was used to approve the report, the document is an adoption of a report developed by the University of York, UK. Both the University of York and the UK National Body have agreed to cooperate with JTC1 if any revisions are made to the report.

On March 7, 2005, JTC 1 recommended that the Technical Report should be made freely available. This request was approved by SC 22 and JTC 1 and was implemented.

1.3.2 Projects Underway

Maintenance of ISO/IEC 14519:2001, Ada Binding to POSIX

Revision of the ASIS standard, ISO/IEC 15291

1.3.3 Projects Withdrawn

None

1.3.4 Standards and Technical Reports Withdrawn

22.10.02 -- IS 11430:1994 Generic Package of Elementary Functions for Ada

22.10.03 -- IS 11729:1994 Generic Package of Primitive Functions for Ada

22.10.05 -- IS 13814:1998 Generic package of complex elementary functions for Ada

22.31 -- IS 12227:1995 SQL/Ada Module Description Language (SAMeDL)

22.35 -- (Type 2) TR 11735:1996 EXTensions for Real-time Ada

1.4 Cooperation and Competition

There are two major professional societies in this area: Ada-Europe and the Special Interest Group on Ada (SIGAda) of the Association for Computing Machinery. The semi-annual meetings of WG 9 are scheduled to coincide with the major conferences organized by these two groups. Officials of both organizations are active participants in the work of WG 9. Both groups have the status of Category C liaison with WG 9.

There is one major vendor consortium, the Ada Resource Association (ARA). Informal liaison with ARA is maintained via the US TAG.

As requested by SC 22, WG 9 has designated a liaison to SC 22/OWGV, Erhard Ploedereder of Ada-Europe, and has invited OWGV to collocate meetings with WG 9.

2. PERIOD REVIEW

2.1 Market Requirements

Although support for Ada has declined in the US defense sector, Ada remains the language of choice for major parts of the real-time, embedded systems community. Ada usage in other sectors of the marketplace seems to be stable. The locus of Ada usage is perceptibly shifting from North America to Europe. There is demand for minor improvements while retaining the stability of the existing language. This motivated WG 9 to update the language standard by means of an Amendment rather than a Revision.

2.2 Achievements

  • Work on revision of ISO/IEC 15291, ASIS
  • Work on to Defect Reports and/or Ada Issues on ISO/IEC 8652
  • Work on Extended Containers Library
  • Work on revision of ISO/IEC 14519:1998, Ada POSIX Binding

2.3 Resources

National body participation in WG 9 is now stable. There has been long-time participation from Belgium, Canada, France, Italy, Switzerland, UK, and US.

Implementation of the Category C Liaisons with Ada-Europe and SIGAda has broadened the base of technical review and support for language standardization.

All new work item suggestions are screened by the requirement for active support from five national bodies. This has worked well, resulting in explicit commitments from national bodies supporting a possible project.

WG 9 uses Rapporteur Groups to perform the drafting of its technical documents. This allows WG 9 itself to meet only twice per year--for approximately one-half-day at each meeting. When appropriate, WG 9 delegates initial drafting to national bodies working with Rapporteur Groups. (For example, the US contributed the draft of the amendment to ISO/IEC 8652.)

2.4 Environmental Issues

(Not applicable)

2.5 Participation Metrics

Seven national bodies regularly participate in the work of WG 9; most of them regularly attend meetings. Each of the seven NBs typically votes at the WG 9 level. Those that are P-members of SC 22 typically vote at that level.

3. FOCUS NEXT WORK PERIOD

3.1 Deliverables

The following deliverables are anticipated during the next 12 months:

         Working Draft of ISO/IEC NP 15291, Information technology – Programming languages – Ada Semantic Interface Specification (ASIS) (revision of ISO/IEC 15291:1999) to submit to SC 22 to resume the NP activity. The plan is to have the WD 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.

  • A New Work Item Proposal for a Type 2 Technical Report for an improved "container" library, which will provide a "trial use" specification to users and implementers, and that will be suitable for future standardization.

3.2 Strategies

Routine, but efficient, processing will suffice to achieve our goals. We delegate technical work to the Rapporteur Groups. We collaborate with professional societies via liaison relationships. We achieve full consensus within Rapporteur Groups prior to initiating formal balloting.

3.2.1 Risks

Unexpected technical comment at the SC 22 level has the potential to delay the work of WG 9. WG 9 mitigates this risk by providing mechanisms for full treatment of NB technical concerns at the RG and WG level. Although we observe all requirements of the directives, we view SC 22 and JTC1 level balloting as approval of documents that have already been completed.

3.2.2 Opportunities

National body participation in WG 9 is now stable.

3.3 Work Program Priorities

Now that 8652 Amendment 1 has been published, the emphasis of WG 9 has shifted toward the revision of ISO/IEC 15291. Our priorities are as follows:

  • (1, highest) develop a revision of ISO/IEC 15291, ASIS;
  • (2) respond to Defect Reports and/or Ada Issues on ISO/IEC 8652 and the Ammendment;
  • (3) develop Technical Reports or Standards improving the Ada libraries--notably with respect to containers;
  • (4) consider proposals for extending the language;
  • (5) developing an Ada Annex to the OWGV: Vulnerabilities Guidelines Type III Technical Report;
  • (6) revision of ISO/IEC 14519:2001, Ada Binding to POSIX.

4. REQUESTED SC 22 PLENARY ACTIONS RELATED TO WG

4.1 Withdrawal of ISO/IEC 13813

At the 2007 and 2006 SC 22 Plenary, WG 9 recommended the withdrawal of ISO/IEC 13813.  WG 9 continues to make this recommendation to SC 22.  WG 9 requests that the SC 22 Secretariat take whatever steps are necessary to effect the implementation of the request to withdraw the standard.

5. ADMINISTRATIVE INFORMATION

5.1 WG 9 Liaisons

WG 9 has two Category C liaison relationships.

5.1.1 Category C Liaison with ACM SIGAda

[Quoted from WG 9 N407, 6 June 2002, Request for Establishment of Category C Liaison between ISO/IEC JTC1/SC 22/WG 9 and the Association for Computing Machinery's Special Interest Group on Ada (SIGAda)]

SIGAda is a Special Interest Group of the Association for Computing Machinery (ACM). Its 80,000 members make ACM one of the world's premier technical professional organizations related to computing.

With over 560 paid members and access to an additional 900 members of the Ada community, SIGAda is one of the world's largest organizations serving the needs of professionals interested in the Ada language. SIGAda is a powerful resource for the software community's ongoing technical and scientific activities concerning the usage, education, standardization, and implementations of the Ada language and related Ada technologies. Its annual international conference is a major event, not only for Ada specialists, but also for all enthusiasts in modern software topics such as software engineering, process improvement, CASE, object-oriented methods, and software education. It publishes a quarterly journal providing news and technical articles important to the Ada community.

In the past, SIGAda members have played an important, but individual, role in the standardization work of SC 22/WG 9. For example, ISO/IEC 15291 is largely based upon technical material originally developed by individuals acting under the auspices of SIGAda. SIGAda has also played an important role for Ada language improvements in the areas of performance, real-time, numerics, and distribution.

5.1.2 Category C Liaison with Ada-Europe

[Quoted from WG 9 N402, 23 May 2002, Request for Establishment of Category C Liaison between ISO/IEC JTC1/SC 22/WG 9 and Ada-Europe]

Ada-Europe is an international organization, set up to promote the use of Ada. It aims to spread the use and the knowledge of Ada and to promote its introduction into academic and research establishments. Above all, Ada-Europe intends to represent European interests in Ada and Ada-related matters.

In its current form, Ada-Europe was established in 1988. As there is no European legal framework to govern such organizations, it was established according to Belgian Law. Currently, the member organizations are: Ada-Belgium, Ada-Denmark, Ada-Deutschland, Ada-France, Ada-Spain, Ada in Sweden, Ada in Switzerland and Ada UK. Individual members of these organizations can become indirect members of Ada-Europe. Direct membership is available to individuals in countries without national member organization. At the moment, Ada-Europe has about 350 indirect members.

The best-known of Ada-Europe's activities is its annual conference, now in its 22nd year, which provides the European forum for researchers and users of Ada and other technologies geared towards reliable systems. Ada-Europe publishes the Ada User Journal to keep its members and others abreast of the latest developments related to Ada.

In the past, Ada-Europe members have played an important, but individual, role in the standardization work of SC 22/WG 9. For example, ISO/IEC 18009 incorporates technical material provided by Ada-Europe members.

5.2 Meetings of WG 9

5.2.1 Future Meetings
  • Meeting #55 in conjunction with the 2008 SIGAda conference,  Thursday afternoon, 30 Oct 2008, Portland, Oregon, USA
  • Meeting #56 in conjunction with the 2009 Ada-Europe conference, Friday morning, 12 June 2009, Brest, France
5.2.2 Recent Meetings
  • Meeting #50 in conjunction with the 2006 Ada-Europe conference, on the morning of Friday, 9 June 2006, Porto, Portugal
  • Meeting #51 in conjunction with the 2006 SIGAda conference, Thursday afternoon, 16 November 2006, Albuquerque, NM, USA
  • Meeting #52 in conjunction with the 2007 Ada-Europe conference, Friday morning, 29 June 2007, Geneva, Switzerland
  • Meeting #53 in conjunction with the 2007 SIGAda conference, Thursday afternoon, 8 November 2007, in Fairfax, VA, USA
  • Meeting #54 in conjunction with the 2008 Ada-Europe conference, Friday Morning, 20 June 2007, Venice, Italy