发明名称 |
用于进行故障安全型硬件无关浮点运算的方法和装置 |
摘要 |
本发明的目的是提供一种可为浮点运算提供前述类型的软件多样性的方法和装置,特定而言,本发明也可应用于实时环境。本发明的发明对象是用于对符合IEC 61508在功能安全性方面所规定的任意精度的浮点数计算进行高效保护的一种方法和装置。所述方法采用软件多样性的一种特殊形式,且对运行时间环境及工程环境均有影响。 |
申请公布号 |
CN102713857A |
申请公布日期 |
2012.10.03 |
申请号 |
CN201080011920.3 |
申请日期 |
2010.08.03 |
申请人 |
西门子公司 |
发明人 |
扬·里希特 |
分类号 |
G06F11/16(2006.01)I;G06F11/14(2006.01)I;G06F7/483(2006.01)I |
主分类号 |
G06F11/16(2006.01)I |
代理机构 |
北京康信知识产权代理有限责任公司 11240 |
代理人 |
李慧 |
主权项 |
一种在自动化系统内于程序运行期间实时进行故障安全型硬件无关浮点运算的方法,其中,根据至少两个均为浮点数的原始数据(x,y),在形式为浮点表示的第一计算中通过标准浮点运算测定第一结果(z),以及将所述至少两个浮点表示的原始数据(x,y)分别转换为相应的浮点区间表示(A=<a,arad>,B=<b,brad>),以及根据所述至少两个已转换为浮点区间表示的数据,进行类似于所述第一计算且特定而言与所述第一计算同时进行的第二计算,所述第二计算测定结果区间(C=<c,crad>),其中,借助所述第二计算(c,crad)的结果区间(C=<c,crad>)来检查所述第一计算的第一结果(z)是否存在错误计算。 |
地址 |
德国慕尼黑 |