关键词:
安全级DCS
硬件设计
验证和确认(V&V)
摘要:
为验证核电安全级DCS硬件设计文件,采用面向对象的方法,分析硬件设计图的结构和数据,提取关键特征,结合设计检查规则及约束条件,构建一种规则模型框架,并基于规则模型框架及上游设计需求生成目标规则模型,同时根据硬件设计图生成验证对象模型。通过对比目标规则模型与验证对象模型的方式,完成硬件设计文件的验证。通过建立IO接线原理目标规则模型的工程实践表明,根据上游需求将原理图进行模型化来实现硬件设计验证和确认(V&V)是可行的。也进一步说明,基于规则模型的硬件设计V&V方法能够用于硬件设计的验证。