数字化仪控系统软件可靠性定量评估研究

Study on Quantitative Software Reliability for Digital Control System

提出利用多层流模型对核安全级数字化仪控系统软件进行建模和可靠性定量评估的方法,开发多层流模型图形化建模和分析平台,建立某数字化仪控系统比例积分微分(PID)控制软件的多层流模型并根据测试结果进行了软件可靠性估计。所提方法通过一次分析可获得软件总目标及所有子目标的可靠度,便于识别软件设计中的薄弱环节,模型容易建立和修改。

This paper presents a methodology for modeling and quantitative reliability assessment of nuclear safety-level digital I&C system software based on Multilevel Flow Models(MFM).By developing a MFM graphical modeling and analysis platform,this paper presents a MFM model for a PID control software of DCS and performs software reliability assessment based on test results.Using the proposed method of this paper,the reliability of main goal and all sub-goals of software can be obtained by only one calculation and the weak points in the software design are very convenient to be identified.In addition,the software models are easy to build and modify.