Date of presentation of proposal:
National Body

A proposal for a new work item shall be submitted to the secretariat of the ISO/IEC joint technical committee concerned with a copy to the ISO Central Secretariat.

Presentation of the proposal - to be completed by the proposer Guidelines for proposing and justifying a new work item are given in ISO Guide 26.

Guidance for the use of Ada in High Integrity Systems (subject to be covered and type of standard, e.g. terminology, method of test, performance requirements, etc.) Specification of Data Value Domain
Scope (and field of application)

Guidance on the use of the Ada programming language ISO/IEC 8652 (the Ada95 Reference Manual) within systems which require high integrity in the software.

Purpose and justification - attach a separate page as annex, if necessary

To ensure those producing high integrity applications can do so with confidence by following internationally agreed guidelines. See Annex for further details.

Programme of work

If the proposed new work item is approved , which of the following document(s) is (are) expected to be developed?
____ a single International Standard more than one International Standard (expected number: ........ )
____ a multi-part International Standard consisting of .......... parts
____ an amendment or amendments to the following International Standard(s) ....................................
__X_ a technical report , type 3

Relevant documents to be considered

None, but SC22 has been sent a response to the New Project Acceptance Criteria which is below.

Cooperation and liaison

Informal liaison has been established with a number of international and national groups in the area of high integrity systems. It is not thought that formal liaison is needed with any specific ISO group (other than SC22/WG9, of course).

Preparatory work offered with target date(s)

First working draft in November 1997. First CD ballot by July 1998. Final CD ballot November 1998.

Will the service of a maintenance agency or registration authority be required? ..NO.................
If yes, have you identified a potential candidate? ................
If yes, indicate name .............................................................

Are there any known requirements for coding? ..NO................
-If yes, please specify on a separate page

Does the proposed standard concern known patented items? ....NO.............
If yes, please provide full information in an annex

Comments and recommendations of the JTC 1 Secretariat attach a separate page as an annex, if necessary

Comments with respect to the proposal in general, and recommendations thereon:
It is proposed to assign this new item to JTC 1/SC 22/WG9

Voting on the proposal - Each P-member of the ISO/IEC joint technical committee has an obligation to vote within the time limits laid down (normally three months after the date of circulation).

Date of circulation:
Closing date for voting:
Signature of JTC 1 Secretary:
Lisa A. Rajchel

NP Acceptance Criteria: Proposed Guidelines


This document is a copy of ISO/IEC JTC1 N4477, to which has been added, in italics, the relevant information on the proposed HRG Guidelines.

Principle for NP Acceptance

The existing JTC 1 Directives (cl require the commitment of five National bodies; in addition the criteria (proforma) defined in this paper shall also be satisfied.

The HRG has active support from members from the following countries: Canada, France, Japan, Netherlands, Sweden, UK, and USA. We are hoping for active participation from Germany.


That NB's during the balloting stage understand that in case of serious doubt, giving a form negative vote would be helpful to ensure relevance and utilization of critical resources with JCT1.

The HRG, a group working under WG9, has the resources to undertake this work.

NB Procedure for NP Ballot

The following proforma is proposed for providing evaluation criteria for NP acceptance.

The procedure for NB determination of a NP ballot as in the existing procedure at the NB level. There is now with this proposal proforma additional information to aid NB's in their determination. The NB's when responding to the NP shall, where possible, relate any comments to the criteria assessments made by the proposer on the Proforma.

Notes to Proforma

Business Relevance.
That which identifies market place relevance in terms of what problem is being solved and or need being addressed.

There is an international market in high integrity software within aircraft, defence and railways systems (for instance). Many of these systems are being written in Ada. International Guidelines will directly support this market.

A1. Market Requirement.
When submitting a NP, the proposer shall identify the nature of the Market Requirement, assessing the extent to which it is essential, desirable or merely supportive of some other project.

It is frequently the case that the prime contractor for a system subcontracts the high integrity software to another company, even in another country. If safety is involved, such as with aircraft, there will be a certification process involving a regulatory. Hence three parties are involved here, but with large projects many more parties need to work together in a framework which will produce a satisfactory product. For using Ada 95, it is thought that Guidelines are virtually essential.

A.2 Technical Regulation.
If a Regulatory requirement is deemed to exist - e.g. for an area of public concern, e.g. Information Security, Data protection, potentially leading to regulatory/public interest action based on the use of this voluntary international standard - the proposer shall identify this here.

Almost all high integrity software is covered by some regulation. However, the actual regulations vary with the application domain (safety, security, etc) and industrial sector (defence, civil avionics, railways, etc). The proposed Guidelines are being designed to support all these regulations.

B Related Work.
Aspects of the relationship of this NP to other areas of standardization work shall be identified in this section.

The Guidelines are totally dependent upon the Ada standard, ISO 8652.

B.1 Competition/Maintenance.
If this NP is concerned with completing or maintaining existing standards, those concerned shall be identified here.

Sector-specific standards to be considered are such as:

Informal contact has been established with most of the groups responsible for these standards.

B.2 External commitment.
Groups, bodies, or fora external to JTC1 to which a commitment has been made by JTC for cooperation and or collaboration on this NP shall be identified here.

No formal commitments exist, but as noted above, informal contacts have already been made.

B.3 External Std/Specification.
If other activities creating standards or specifications in this topic area are known to exist or be planned, and which might be available to JTC1 as PAS, they shall be identified here.

The only standard not part of the ISO/IEC/European Union standardization process is the Civil Avionics standard DO-178B, but no plan is known for this to be submitted to JTC1 as PAS.

Technical Status.
The proposer shall indicate here an assessment of the extent to which the proposed standard is supported by current technology.

C.1 Mature Technology.
Indicate here the extent to which the technology is reasonably stable and ripe for standardization.

High integrity applications have been developed successfully in Ada 83, the previous Ada standard. This proposal will exploit the specific additions in the current Ada standard.

C.2 Prospective Technology.
If the NP is anticipatory in nature on expected or forecasted need, this shall be indicated here.

The only anticipation is that of high integrity applications moving from Ada 83 to the current Ada standard.

C.3 Models/Tools.
If the NP relates to the creation of supportive reference models or tools, this shall be indicated here.

It is expected that software suppliers will provides tools to assist in the application of the proposed Guidelines.

D Any other aspects
of background information justifying this NP shall be indicated here.