ISO/IEC TR 15942-2000 信息技术程序设计语言在高集成系统中Ada编程语言的使用指南

作者:标准资料网 时间:2024-05-13 09:43:46  浏览:8835   来源:标准资料网

【英文标准名称】:Informationtechnology-Programminglanguages-GuidefortheuseofAdaprogramminglanguageinhighintegritysystems
【原文标准名称】:信息技术程序设计语言在高集成系统中Ada编程语言的使用指南
【标准号】:ISO/IECTR15942-2000
【标准状态】:现行
【国别】:国际
【发布日期】:2000-03
【实施或试行日期】:
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/IECJTC1
【标准类型】:()
【标准水平】:()
【中文主题词】:接口;数据处理;程序设计;程序设计语言;ADA语言;计算机软件;定义;导则;信息技术;使用
【英文主题词】:Ada;Computersoftware;Dataprocessing;Definitions;Guidelines;Informationtechnology;Interfaces(dataprocessing);Programming;Programminglanguages;Usage
【摘要】:ThisTechnicalReportprovidesguidanceontheuseofAdawhenproducinghighintegritysystems.Inproducingsuchapplicationsitisusuallythecasethatadherencetoguidelinesorstandardshastobedemonstratedtoindependentbodies.Theseguidelinesorstandardsvaryaccordingtotheapplicationarea,industrialsectorornatureoftheriskinvolved.Forsafetyapplications,theinternationalgenericstandardis[IEC61508]ofwhichpart3isconcernedwithsoftware.Forsecuritysystems,themulti-nationalgenericassessmentguideis[ISOCD15408].Forsector-specificguidanceandstandardsthereare:Airbornecivilavionics:[DO-178B]Nuclearpowerplants:[IEC880]Medicalsystems:[IEC601-4]Pharmaceutical:[GAMP]Fornational/regionalguidanceandstandardstherearethefollowing:UKDefence:[DS00-55]Europeanrail:[EN50128]Europeansecurity:[ITSEC]USnuclear:[NRC]UKautomotive:[MISRA]USmedical:[FDA]USspace:[NASA]TheabovestandardsandguidesarereferredtoasStandardsinthisTechnicalReport.TheabovelistisnotexhaustivebutindicativeofthetypeofStandardtowhichthisTechnicalReportprovidesguidance.ThespecificStandardsabovearenotaddressedindividuallybutthisTechnicalReportissynthesizedfromananalysisoftheirrequirementsandrecommendations.1WithinthescopeThisTechnicalReportassumesthatasystemisbeingdevelopedinAdatomeetastandardlistedaboveoroneofasimilarnature.TheprimarygoalofthisTechnicalReportistotranslategeneralrequirementsintoAdaspecificones.Forexample,ageneralstandardmightrequirethatdynamictestingprovidesevidenceoftheexecutionofallthestatementsinthecodeoftheapplication.Inthecaseofgenerics,thisisinterpretedbythisTechnicalReporttomeanallinstantiationsofthegenericshouldbeexecuted.ThisTechnicalReportisintendedtoprovideguidanceonly,andhencethereareno'shalls'.However,thisTechnicalReportidentifiesverificationandvalidationissueswhichshouldberesolvedanddocumentedaccordingtothesector-specificstandardsbeingemployed.ThefollowingtopicsarewithinthescopeofthisTechnicalReport:·thechoiceoffeaturesofthelanguagewhichaidverificationandcompliancetothestandards,·identificationoflanguagefeaturesrequiringadditionalverificationsteps,·theuseoftoolstoaiddesignandverification,·issuesconcerningqualificationofcompilersforuseonhighintegrityapplications,·tools,suchasgraphicdesigntools,whichgenerateAdasourcecodewhichisaccessibletousers.ToolswhichgenerateAdasourcecoderequirespecialconsideration.Wheregeneratedcodemaybemodifiedorextended,verificationoftheextensionsandoverallsystemwillbeassistediftheguidelineshavebeentakenintoaccount.Evenwheremodificationisnotplanned,inspectionandanalysisofthegeneratedcodemaybeunavoidableunlessthegeneratoristrustedor'qualified'accordingtoanapplicablestandard.Finally,evenifgeneratedcodeisneithermodifiednorinspected,theoverallverificationprocessmaybemademorecomplicatedifthecodedeviatesfromguidelinesintendedtofacilitatetestingandanalysis.PotentialusersofsuchtoolsshouldevaluatetheircodegenerationagainsttheguidanceprovidedinthisTechnicalReport.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:48P;A4
【正文语种】:英语