Research on V&V method for nuclear power safety-level DCS hardware design based on rule models
In order to verify the nuclear power safety-level DCS hardware design file,this study adopts an object-oriented ap-proach to analyze the structure and data of the hardware design diagram,extract key features,combine design inspection rules and constraints,and construct a rule model framework.Based on the rule model framework and upstream design requirements,a target rule model is generated,and a verification object model is generated based on the hardware design diagram.By comparing the tar-get rule model with the verification object model,the hardware design file is verified.The engineering practice of establishing an IO wiring principle target rule model has shown that it is feasible to model the schematic diagram based on upstream requirements to achieve hardware design V&V.Furthermore,it can be further demonstrated that rule-based hardware design V&V methods can be used for hardware design validation.
safety-class DCShardware designverification and validation(V&V)
万方数据
维普
