BS ISO/IEC TR BRITISH STANDARD 15942:2000 Information technology - Programming languages Guide for the use of the Ada programming language in high integrity systems ICS 35.060 ESI BS ISO/IEC TR 15942:2000 National foreword This British Standard reproduces verbatim ISO/IEC TR 15942:2000 and implements it as the UK national standard. The UK participation in its preparation was entrusted to Technical Committee IST/5, Programming languages, their Environment and System Software interfaces, which has the responsibility to: - aid enquirers to understand the text; - present to the responsible international/European committee any enquiries on the interpretation, or proposals for change, and keep the UK interests informed; - monitor related international and European developments and promulgate them in the UK. A list of organizations represented on this committee can be obtained on request to its secretary. Cross-references The British Standards which implement international publications referred to in this document may be found in the BsI Standards Catalogue under the section entitled "International Standards Correspondence Index", or by using the “Find" facility of the BSI Standards Electronic Catalogue. A British Standard does not purport to include all the necessary provisions of a Compliance with a British Standard does not of itself confer immunity from legal obligations. Summary of pages This document comprises a front cover, an inside front cover, the ISO/IEC TR title page, pages i to viii, pages 1 to 48, an inside back cover and a bcak cover. The BSI copyright notice displayed in this document indicates when the document was last issued. This British Standard, having Amendments issued since publication been prepared under the Date Comments direction of the DISC Board , was Amd. No. published under the authority of the Standards Committee and comes into effect on 15 December 2000 @ BSI 12-2000 ISBN 0 580 36712 6 ISO/IEC TECHNICAL TR REPORT 15942 First edition 2000-03-01 Information technology Programming languages - Guide for the use of the Ada programming language in high integrity systems Technologies de I'information - Langages de programmation - Guide pour I'emploi du langage de programmation Ada dans les systemes de haute intégrité Reference number ISO/IEC TR 15942:2000(E) IEC