| Back to home | ||
Design of a platform for reliability analysis of safety-critical digital I&C software YANG Ming1, ZOU Bowen1, and YOSHIKAWA Hidekazu1
1. College of Nuclear Science and Technology, Harbin Engineering University No. 145 Nantong Street, Harbin 150001, China (yangming@hrbeu.edu.cn; zoubowen@hrbeu.edu.cn; yosikawa@kib.bigloge.ne.jp)
Abstract: This paper introduces a platform for reliability analysis of safety-critical digital I&C software. A hierarchical structure model (HSM) method is proposedfor modeling the structure of software at different layers of abstraction during software development life cycle. A software reliability estimation method based on Flow Network Model (FNM) and Bayesian Belief Network (BBN) is presented. By integrating the functions of HSM construction, source code structure and logical path identification, sensitive analysis and reliability estimation into the platform, it is expected to provide a comprehensive assist in the design, development, test and V&V activities of safety-critical digital I&C software.
Keyword: software reliability; safety-critical software; digital I&C system
|
||
| Click here for viewing full text. | ||