ReferencenumberISO/IECTR24718:2005(E)©ISO/IEC2005TECHNICALREPORTISO/IECTR24718Firstedition2005-02-15Informationtechnology—Programminglanguages—GuidefortheuseoftheAdaRavenscarProfileinhighintegritysystemsTechnologiesdel'information—Langagesdeprogrammation—Guidepourl'usagede«AdaRavenscarProfile»danslessystèmesdehauteintégritéISO/IECTR24718:2005(E)PDFdisclaimerThisPDFfilemaycontainembeddedtypefaces.InaccordancewithAdobe'slicensingpolicy,thisfilemaybeprintedorviewedbutshallnotbeeditedunlessthetypefaceswhichareembeddedarelicensedtoandinstalledonthecomputerperformingtheediting.Indownloadingthisfile,partiesacceptthereintheresponsibilityofnotinfringingAdobe'slicensingpolicy.TheISOCentralSecretariatacceptsnoliabilityinthisarea.AdobeisatrademarkofAdobeSystemsIncorporated.DetailsofthesoftwareproductsusedtocreatethisPDFfilecanbefoundintheGeneralInforelativetothefile;thePDF-creationparameterswereoptimizedforprinting.EverycarehasbeentakentoensurethatthefileissuitableforusebyISOmemberbodies.Intheunlikelyeventthataproblemrelatingtoitisfound,pleaseinformtheCentralSecretariatattheaddressgivenbelow.©ISO/IEC2005Allrightsreserved.Unlessotherwisespecified,nopartofthispublicationmaybereproducedorutilizedinanyformorbyanymeans,electronicormechanical,includingphotocopyingandmicrofilm,withoutpermissioninwritingfromeitherISOattheaddressbeloworISO'smemberbodyinthecountryoftherequester.ISOcopyrightofficeCasepostale56•CH-1211Geneva20Tel.+41227490111Fax+41227490947E-mailcopyright@iso.orgWebwww.iso.orgPublishedinSwitzerlandii©ISO/IEC2005–AllrightsreservedISO/IECTR24718:2005(E)©ISO/IEC2005–AllrightsreservediiiForewordISO(theInternationalOrganizationforStandardization)andIEC(theInternationalElectrotechnicalCommission)formthespecializedsystemforworldwidestandardization.NationalbodiesthataremembersofISOorIECparticipateinthedevelopmentofInternationalStandardsthroughtechnicalcommitteesestablishedbytherespectiveorganizationtodealwithparticularfieldsoftechnicalactivity.ISOandIECtechnical...
