工业控制软件功能安全实现方法和评估.pdfVIP

第 47卷 第 1期 石 油 化 工 自 动 化 Vo1．47。No．1 2011年 2月 AUT0MAT10N IN PETRC卜CHEMICALINDUSTRY February，2011 工业控制软件功能安全的 实现方法和评估 彭 瑜 (上海工业 自动化研究院 智能仪表与系统研究所 ，上海 200233) 摘要 ：从趋势上讲，软件和人为因素导致控制系统失效、事故和停机的比例越来越高。这源于现在对软件的依赖越来越 高，软件也变得越来越复杂，以至于难 以在软件 的开发过程 中有效地控制软件质量、软件 的信息安全和软件的功能安全 。从介 绍控制系统功能安全和安全完整性的基本概念人手，阐述工业控制软件功能安全的概念、安全完整性等级和实现工业控制软件 功能安全的流程及方法，包括对编程语言和实时操作系统的要求和选择 。还用相当篇幅讨论工业控制软件功能安全的验证和 确认的基本方法，指出在软件生命周期的各个阶段都要 由第三方进行软件功能安全的验证，为保证最终软件产品的性能，在阶 段性验证的基础上最终通过确认来确定它是否满足系统的所有要求 。 关键词 ：工业控制软件的功能安全；软件功能安全的认证和确认；全可变语言；有限可变语言 中图分类号：TP273 文献标志码 ：A 文章编号：1007—7324(2011)01—0001—07 1lheImplementationM ethodsandEvaluation for theFunctionalSafetyofIndustrialControlSoftware PengYu (TheShanghaiIndustryAutomationResearchAcademy，Intelligent InstrumentandSystem ResearchInstitute，Shanghai，200233，China) Abstract：Bytrending，theproportion offailures，faultsand shutdown ofcontrolsystems，causedby softwareandartificialfactors，hasbecomehigherandhigher．Thatisoriginated from which thereare moreandmoredependenton softwareand softwareisbecomeingmoreandmorecomplex SOthatitis hardeffectively to handle the quality， security and functionalsafety ofsoftware during software developmentcourse．Itstartswith introducingthefundamentationprocessandmethodsoffunctional safety of industrialcontrolsoftware and implementation methods，including the requirements and selection ofprogramming languagesand real——timeoperating system． It isaddressed to discuss verificationandvalidationforfunctionalsafetyofindustrialcontrolsoftwareindetail．FurthermoreitiS pointedoutthatverification ofsoftware’Sfunctionalsafetyshouldbemadebythethirdp