发明名称 METHOD FOR PERFORMING FAILSAFE CALCULATIONS
摘要 A method and device for performing failsafe computation, and a method of compiling code to perform a failsafe computation are provided. The method includes performing a first calculation (212) to generate a first result (214). A second calculation (218) is performed using a scalar (216) and the first calculation (212) to generate a second result (220). The second calculation (218) includes multiplying the first calculation (212) by the scalar (216) to generate a scaled result, and dividing the scaled result by the scalar (216) to generate the second result (220). The first result (214) and the second result (220) are compared to determine if they are equivalent.
申请公布号 EP3140742(A1) 申请公布日期 2017.03.15
申请号 EP20140729802 申请日期 2014.05.08
申请人 Micro Motion, Inc. 发明人 HAYS, Paul J.;KELSCH, Dawn
分类号 G06F11/14 主分类号 G06F11/14
代理机构 代理人
主权项
地址