【英文标准名称】:Disinfection-Steamdisinfectionapparatus-Part3:Efficiencytesting
【原文标准名称】:消毒.蒸汽消毒设备.第3部分:效率测试
【标准号】:DIN58949-3-2012
【标准状态】:现行
【国别】:德国
【发布日期】:2012-01
【实施或试行日期】:
【发布单位】:德国标准化学会(DE-DIN)
【起草单位】:
【标准类型】:()
【标准水平】:()
【中文主题词】:
【英文主题词】:Bio-indicators;Dangerofinfection;Definitions;Desinfectionmethods;Disinfection;Disinfectionapparatus;Disinfectors;Efficiency;Hospitals;Hygiene;Loading;Measuringinstruments;Medicalequipment;Medicalsciences;Microbiology;Pathogenicbacteria;Performancetesting;Steamdisinfectionapparatus;Steamdisinfections;Temperaturemeasurement;Testing;Thermocouples;Vapours;Wastes
【摘要】:
【中国标准分类号】:C47
【国际标准分类号】:11_080_10
【页数】:27P;A4
【正文语种】:德语


【英文标准名称】: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
【正文语种】:英语