A verification method for verifying a security device includes a programmable logic device having a plurality of functional elements. The method comprises the following steps: exhaustive verification of multiple functional elements in the actual hardware; using a predetermined hardware description language, functional elements and functional elements of generation verified in practical device on the same functional elements; each generated independent logic integrated into a plurality of first network use table; a predetermined hardware description language generation of functional connections between functional elements; the generated logic synthesis for connection function corresponding to the second network connection function table; will be the first netlist and second nets are integrated to generate a third time table; third time table will write logic circuit based on programmable logic device and the actual verification; programmable logic device.
【技术实现步骤摘要】
本专利技术涉及一种用于验证安全装置的方法和由该方法验证的安全装置,更具体的说,涉及用于验证用于控制核电厂、热电厂、化工厂等并需要确保高可靠性的安全装置的方法以及由该方法验证的安全装置。
技术介绍
核电厂包括安全装置,用于当有可能会危害核电厂的安全的异常事件预期存在或异常事件发生时,防止异常事件的发生或降低异常事件发生的可能性。提供与安全保护系统相关的放射计数装置(安全装置)以用于计算放射量。如果因为某一原因,厂内的放射量增加,那么放射计数装置向操作电路传送信息,所述信息指示关闭放射量正在增加的区域的情况或启动紧急气体处理装置的情况。在近来的核电厂中,这样的与安全保护系统相关的放射计数装置(安全装置)进行数字信号处理,其中一个中央处理单元(CPU)执行对多个信号的数字滤波或数字计算(例如参考日本专利No.2653522)。相反,美国专利No.5859884公开了一种使用通常所说的专用集成电路(ASIC)或现场可编程门阵列(FPGA)的硬件逻辑电路取代CPU的系统。在美国专利No.5859884描述的技术中,电路被配置为使用ASIC取代CPU来控制处理过程。该技术简化了处理流。因为安全装置很重要,所以一个单元的故障不能导致装置的整体控制的失败。因此,采用提供系统冗余的复用配置,或者装置的每个组件被配置为独立的。然而,在其中CPU执行软件的数字系统中,如果相同的软件被用于冗余系统和主系统,那么软件的缺陷有可能影响冗余系统的功能性。此外,由于包括软件处理的数字处理基本上是离散值处理,与模拟设备相比,更有可能因为软件和硬件缺陷而执行意外操作。例如,在数字处理中, ...
【技术保护点】
一种用于验证包括可编程逻辑器件的安全装置的验证方法,所述可编程逻辑器件包括多个功能元件,所述方法包括以下步骤:预先在实际的硬件上穷举地验证逻辑模式的所有输出是响应于每个功能元件的逻辑模式的所有输入而正常产生的;使用预定的硬件 描述语言,生成与在实际的硬件上验证的所述功能元件之一相同的功能元件;将每个生成的功能元件独立地逻辑综合为多个第一网表,每个第一网表都对应于所述功能元件之一;使用所述预定的硬件描述语言,生成所述功能元件之间的连接功能; 将所生成的连接功能逻辑综合为对应于所述连接功能的第二网表;将所述多个第一网表与所述第二网表综合以生成第三网表;以所述第三网表为基础将逻辑电路写入所述可编程逻辑器件;以及在包括所写入的逻辑电路的所述实际的可编程逻辑器件 上验证所述可编程逻辑器件的工作是正常的。
【技术特征摘要】
...
【专利技术属性】
技术研发人员:泉干雄,林俊文,小田中滋,酒井宏隆,小田直敬,佐藤俊文,伊藤敏明,
申请(专利权)人:株式会社东芝,
类型:发明
国别省市:JP[日本]
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。