PROPOSAL FOR A NEW WORK ITEM
|Date of presentation of proposal:
ISO/IEC JTC 1/SC 22
|ISO/IEC JTC 1 N XXXX
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?
|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................
Does the proposed standard concern known patented items?
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
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.
The existing JTC 1 Directives (cl 184.108.40.206) 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.
The working assumption was that the NP would be initiated by SC22, with support from UK, Canada and WG9.
Ada 95 is specifically designed to handle high integrity applications.
Large high integrity applications almost always involve more than one
country, and therefore international guidance is required which system
certifiers can use. The system certifiers are often not Ada experts and
therefore need guidance in which they can have confidence.
Ada 95 is not currently being used for high integrity application, but
this will change shortly as developers move from Ada 83. Hence it is
important that the Guidelines are
produced within a short period to satisfy the future requirement.
Ada 95 is not currently being used for high integrity application, but this will change shortly as developers move from Ada 83. Hence it is important that the Guidelines are produced within a short period to satisfy the future requirement.
Existing proforma is at the front of this document.
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.
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.
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.
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.
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.
The Guidelines are totally dependent upon the Ada standard, ISO 8652.
Sector-specific standards to be considered are such as:
Informal contact has been established with most of the groups responsible
for these standards.
Informal contact has been established with most of the groups responsible for these standards.
No formal commitments exist, but as noted above, informal contacts have already been made.
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.
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.
The only anticipation is that of high integrity applications moving from Ada 83 to the current Ada standard.
It is expected that software suppliers will provides tools to assist in the application of the proposed Guidelines.