ISO/IEC TECHNICAL REPORT TR 24718 First edition 2005-02-15 Information technology Programming languages Guide for the use of the Ada Ravenscar Profile in high integrity systems Technologies de I'information - Langages de programmation - Guide pour I'usage de 《Ada Ravenscar Profile》 dans les systemes de haute integrite Reference number ISO/IEC TR 24718:2005(E) IEC Copyright International Organization for Standardization @ISO/IEC2005 ted without license from IHS Not for Resale ISO/IEC TR 24718:2005(E) PDF disclaimer This PDF file may contain embedded typefaces. In accordance with Adobe's licensing policy, this file may be printed or viewed but shall not be edited unless the typefaces which are embedded are licensed to and installed on the computer performing the editing. In downloading this file, parties accept therein the responsibility of not infringing Adobe's licensing policy. The IsO Central Secretariat accepts no liability in this area. Adobe is a trademark of Adobe Systems Incorporated. Details of the software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creation parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by IsO member bodies. In the unlikely event that a problem relating to it is found, please inform the Central Secretariat at the address given below ?ISO/IEC2005 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, IsO's member body in the country of the requester. ISO copyright office Case postale 56 . CH-1211 Geneva 20 Tel. + 41 22 749 01 11 Fax + 41 22 749 09 47 E-mail [email protected] Web www.iso.org Published in Switzerland CoyrghtematinalganizationfStandardization ISO/IEC2005-Allrightsreserved nitted without license from IHS Not for Resale ISO/IEC TR 24718:2005(E) Foreword IsO (the International Organization for Standardization) and IEC (the International Electrotechnical Commission)formthespecializedsystemforworldwidestandardization.Nationalbodiesthataremembersof IsOorTECparticipateinthe development ofInternational Standardsthrough technical committees established by the respective organization to deal with particular fields of technical activity. ISO and IEC and non-governmental, in liaison with IsO and IEC, also take part in the work. In the field of information technology, ISO and IEC have established a joint technical committee, ISO/IEC JTC 1. International Standards are drafted in accordance with the rules given in the ISO/lEC Directives, Part 2. an International Standard requires approval by at least 75 % of the national bodies casting a vote. In exceptional circumstances, the joint technical committee may propose the publication of a Technical Report of one of the following types: type 1, when the required support cannot be obtained for the publication of an International Standard, despite repeated efforts; type 2, when the subject is still under technical development or where for any other reason there is the future but not immediate possibility of an agreement on an International Standard; type 3, when the joint technical committee has collected data of a different kind from that which is normally published as an International Standard ("state of the art", for example). they can be transformed into International Standards. Technical Reports of type 3 do not necessarily have to be reviewed until the data they provide are considered to be no longer valid or useful. rights. ISO and IEC shall not be held responsible for identifying any or all such patent rights. ISO/lEC TR 24718, which is a Technical Report of type 3, was prepared by the University of York for the British Standards Institution (BSl) as guidelines published in 2003, and was adopted (without modifications) by Joint Technical Committee ISO/lEC JTC 1, Information technology, Subcommittee SC 22, Programming ili Not for Resale ISO/IEC TR 24718