專利名稱：用于進(jìn)行故障安全型硬件無(wú)關(guān)浮點(diǎn)運(yùn)算的方法和裝置的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及工業(yè)自動(dòng)化領(lǐng)域，尤其涉及一種用于進(jìn)行故障安全型硬件無(wú)關(guān)浮點(diǎn)運(yùn)算的方法和裝置。
背景技術(shù)：
機(jī)器安全性(也稱功能安全性)這個(gè)課題在工業(yè)自動(dòng)化領(lǐng)域具有越來(lái)越重要的意義。確保功能安全性指的是在基本風(fēng)險(xiǎn)超過(guò)允許范圍的情況下，需要降低危險(xiǎn)操作對(duì)人或環(huán)境的潛在風(fēng)險(xiǎn)。其適用范圍涉及壓力機(jī)、軋輥、自 動(dòng)操作臂等機(jī)器，為鐵路網(wǎng)分配站臺(tái)以及操作纜車等等。功能安全性的意義建立在相應(yīng)標(biāo)準(zhǔn)的基礎(chǔ)上，例如適用于電氣及電子系統(tǒng)的一般性基本標(biāo)準(zhǔn)IEC 61508。功能安全性涉及安全鏈上的所有環(huán)節(jié)。但安全鏈的核心要素是控制裝置，它決定是否將設(shè)備引入安全狀態(tài)。就這個(gè)意義而言，控制裝置這個(gè)概念包括任何形式的可編程邏輯控制器，也就是既包括真實(shí)的硬件控制器也包括現(xiàn)代實(shí)現(xiàn)方案，例如基于嵌入式控制器的Soft-SPS軟件(如西門子WinAC RTX)、工業(yè)計(jì)算機(jī)等等。傳統(tǒng)技術(shù)將功能安全性主要定義為邏輯判定，表示這些邏輯判定時(shí)使用邏輯數(shù)據(jù)(BOOLEAN)和整數(shù)(INT、DINT)就可以了。中斷供能是此類安全系統(tǒng)的常規(guī)干預(yù)方式。復(fù)雜的安全功能越來(lái)越多地成為重點(diǎn)所在。運(yùn)動(dòng)控制領(lǐng)域內(nèi)的應(yīng)用極大地推進(jìn)了這一發(fā)展。目前，運(yùn)動(dòng)控制領(lǐng)域所要求的功能例如有“安全速度”、“安全位置”、“安全停止”、“安全力矩”，以及其它要求用浮點(diǎn)數(shù)來(lái)處理的功能。過(guò)程控制領(lǐng)域也存在擴(kuò)展到浮點(diǎn)數(shù)的需求。在實(shí)現(xiàn)故障安全型控制方面有兩種原理可供使用硬件多樣性和軟件多樣性。硬件多樣性建立在使用多樣化的并行運(yùn)算器以及后續(xù)進(jìn)行一致性檢查的基礎(chǔ)上。硬件多樣性屬于現(xiàn)有技術(shù)，市場(chǎng)上大量制造商用它來(lái)表示邏輯安全功能。舉例而言，西門子公司SIMATIC生產(chǎn)線的F系列采用的是借助軟件多樣性所實(shí)現(xiàn)的解決方案。如前所述,Distributed Safety軟件中的安全程序迄今為止只能以BOOL、INT和DINT這幾種數(shù)據(jù)類型為基礎(chǔ)，因此主要表示邏輯安全功能。安全功能建立在借助算術(shù)碼所實(shí)現(xiàn)的多樣化內(nèi)部表示的基礎(chǔ)上。這個(gè)解決方案例如由公開(kāi)案DE 102 19 501揭示。曾經(jīng)對(duì)這個(gè)借助算術(shù)碼所實(shí)現(xiàn)的浮點(diǎn)數(shù)解決方案的應(yīng)用情況進(jìn)行過(guò)概念上的評(píng)估，評(píng)估結(jié)果是無(wú)法高效進(jìn)行產(chǎn)品應(yīng)用。該解決方案的處理過(guò)程較為復(fù)雜，因而運(yùn)行時(shí)間過(guò)長(zhǎng)，特別是在需要將其應(yīng)用于實(shí)時(shí)系統(tǒng)的情況下。此外，浮點(diǎn)數(shù)還存在取整問(wèn)題，這些問(wèn)題會(huì)進(jìn)一步加大實(shí)現(xiàn)功能安全性的難度，而且無(wú)法通過(guò)算術(shù)碼的相應(yīng)方案來(lái)排除這些問(wèn)題?；谶@些情況，市場(chǎng)上目前尚無(wú)法提供就硬件無(wú)關(guān)性及硬件-單信道而言安全的浮點(diǎn)運(yùn)算。

發(fā)明內(nèi)容
本發(fā)明的目的是提供一種可為浮點(diǎn)運(yùn)算提供前述類型的軟件多樣性且能避免上述缺點(diǎn)的方法和裝置。特定而言，所述方法也可應(yīng)用于實(shí)時(shí)環(huán)境。本發(fā)明的另一目的是在非硬件亢余的標(biāo)準(zhǔn)CPU上，達(dá)到IEC 61508針對(duì)浮點(diǎn)數(shù)計(jì)算所規(guī)定的安全完整性等級(jí)3 (SIL 3)。本發(fā)明用來(lái)達(dá)成上述目的的解決方案是一種如權(quán)利要求I所述的方法。所述在自動(dòng)化系統(tǒng)內(nèi)于程序運(yùn)行期間進(jìn)行故障安全型硬件無(wú)關(guān)浮點(diǎn)運(yùn)算的方法包括以下步驟根據(jù)至少兩個(gè)均為浮點(diǎn)數(shù)的原始數(shù)據(jù)，在形 式為浮點(diǎn)表示的第一計(jì)算中通過(guò)標(biāo)準(zhǔn)浮點(diǎn)運(yùn)算測(cè)定第一結(jié)果，以及將所述至少兩個(gè)浮點(diǎn)表示的原始數(shù)據(jù)分別轉(zhuǎn)換為相應(yīng)的浮點(diǎn)區(qū)間表示，以及根據(jù)所述至少兩個(gè)已轉(zhuǎn)換為浮點(diǎn)區(qū)間表示的數(shù)據(jù)，特別是在所述第一計(jì)算的計(jì)算周期內(nèi)進(jìn)行類似于所述第一計(jì)算的第二計(jì)算并測(cè)定結(jié)果區(qū)間，其中，借助所述第二計(jì)算的結(jié)果區(qū)間檢查所述第一計(jì)算的第一結(jié)果是否存在錯(cuò)誤計(jì)算。本發(fā)明用來(lái)達(dá)成上述目的的另一解決方案是一種如權(quán)利要求12所述的裝置。本發(fā)明的發(fā)明對(duì)象是用于對(duì)符合IEC 61508在功能安全性方面所規(guī)定的任意精度的浮點(diǎn)數(shù)計(jì)算進(jìn)行高效保護(hù)的一種方法和裝置。所述方法采用軟件多樣性的一種特殊形式，且對(duì)運(yùn)行時(shí)間環(huán)境及工程環(huán)境均有影響。運(yùn)對(duì)丁時(shí)間 /Runtime 本發(fā)明方法的基本之處在于，在不同形式的控制裝置內(nèi)對(duì)數(shù)據(jù)和操作數(shù)進(jìn)行雙重表示。所述方法的關(guān)鍵是所選的多樣化表示的類型，這種表示建立在區(qū)間基礎(chǔ)上。其中，每個(gè)參數(shù)和操作數(shù)x(原本是一般情況下無(wú)法表示的實(shí)數(shù))肯定被一由兩個(gè)可表示的浮點(diǎn)數(shù)所構(gòu)成的區(qū)間A = <amid, arad>所包含。一浮點(diǎn)區(qū)間的參數(shù)是中點(diǎn)amid和半徑arad。工作期間所有計(jì)算均雙重進(jìn)行，一次是傳統(tǒng)的非編碼形式，一次是基于上述區(qū)間以編碼形式進(jìn)行計(jì)算。利用區(qū)間運(yùn)算的特性能保證區(qū)間范圍內(nèi)的陰影計(jì)算總是將真實(shí)結(jié)果包含在內(nèi)。區(qū)間運(yùn)算支持加減乘除等四項(xiàng)基本運(yùn)算方式，以及標(biāo)量運(yùn)算和矢量/矩陣運(yùn)算。借助于級(jí)數(shù)展開(kāi)或表格和內(nèi)插，區(qū)間運(yùn)算也支持更復(fù)雜的函數(shù)，如超越函數(shù)(三角函數(shù)和指數(shù)函數(shù)等)。通過(guò)下列一致性檢查可以發(fā)現(xiàn)錯(cuò)誤 大一致性測(cè)試檢查區(qū)間數(shù)據(jù)中是否包含原始數(shù)據(jù)。這項(xiàng)檢查可以發(fā)現(xiàn)原始數(shù)據(jù)與區(qū)間之間是否存在隨機(jī)錯(cuò)誤所致失真所引發(fā)的不一致。 小一致性測(cè)試檢查區(qū)間寬度是否處于允許范圍。通過(guò)這項(xiàng)檢查能夠得到關(guān)于實(shí)際計(jì)算精度的確定結(jié)論。如果超過(guò)或低于用戶所選閾值，就可觸發(fā)警報(bào)，必要時(shí)使設(shè)備部件進(jìn)入安全狀態(tài)。此外，這項(xiàng)檢查還有助于防止出現(xiàn)某些確定的硬件錯(cuò)誤。 借助操作數(shù)相關(guān)測(cè)試來(lái)檢查運(yùn)算的進(jìn)行方式是否正確通過(guò)對(duì)操作數(shù)進(jìn)行數(shù)學(xué)恒等檢查來(lái)發(fā)現(xiàn)運(yùn)算中是否存在危險(xiǎn)的系統(tǒng)功能錯(cuò)誤，SP使在運(yùn)算的效果與操作數(shù)相關(guān)的情況下也是如此。其它有利設(shè)計(jì)方案參見(jiàn)從屬權(quán)利要求。
安全完整性等級(jí)(SIL)是一項(xiàng)用于在故障情況下測(cè)定系統(tǒng)、設(shè)備和過(guò)程的潛在危險(xiǎn)的尺度。IEC 61508標(biāo)準(zhǔn)是安全技術(shù)系統(tǒng)(SIS)在技術(shù)規(guī)范、設(shè)計(jì)和操作方面的基礎(chǔ)。SIL安全等級(jí)主要與安全失效分?jǐn)?shù)(SFF)及硬件容錯(cuò)(HFT)相關(guān)。一個(gè)系統(tǒng)的安全失效分?jǐn)?shù)又取決于兩種錯(cuò)誤之間的比例，即安全的錯(cuò)誤與危險(xiǎn)錯(cuò)誤之間的比例。在單獨(dú)的報(bào)告中推導(dǎo)這兩種錯(cuò)誤。詳情參見(jiàn)IEC 61508。所述解決方案的性能取決于實(shí)現(xiàn)區(qū)間運(yùn)算的復(fù)雜程度。這個(gè)復(fù)雜程度總體為中
坐寸o 無(wú)論使用的是哪種可能的表示(中點(diǎn)/半徑表示、下確界/上確界表示或其它表示)，所述多樣化表示都包括任何一種區(qū)間表示。由于在安全應(yīng)用方面存在特殊要求，特別是區(qū)間寬度的周期性重置要求，中點(diǎn)/半徑表示特別有利。根據(jù)本發(fā)明的優(yōu)選實(shí)施方式，采用兩個(gè)分開(kāi)的區(qū)間來(lái)發(fā)現(xiàn)錯(cuò)誤和不良數(shù)值條件。在此情況下，每次運(yùn)算成功后都可將用于發(fā)現(xiàn)錯(cuò)誤的區(qū)間寬度重置為零，這樣能達(dá)到特別高的診斷覆蓋率。如果只需要發(fā)現(xiàn)錯(cuò)誤，就可以視情況將用于發(fā)現(xiàn)不良條件的區(qū)間表示予以棄用。根據(jù)另一優(yōu)選實(shí)施方式，除了上述檢查隨機(jī)錯(cuò)誤的安全措施之外，還對(duì)SPS的浮點(diǎn)單元進(jìn)行針對(duì)系統(tǒng)錯(cuò)誤的周期性自檢測(cè)。根據(jù)另一優(yōu)選實(shí)施方式，進(jìn)一步通過(guò)反碼或算術(shù)碼將區(qū)間參數(shù)編碼后予以存儲(chǔ)，并在每次處理之前將其完全解碼。根據(jù)另一優(yōu)選實(shí)施方式(基于區(qū)間已重置，區(qū)間中點(diǎn)已被算術(shù)編碼)，將浮點(diǎn)數(shù)的IEEE 754表示的詞次序與浮點(diǎn)數(shù)區(qū)間進(jìn)行算術(shù)編碼比較。進(jìn)行該比較時(shí)，不必將經(jīng)過(guò)算術(shù)編碼的操作數(shù)解碼。工稈對(duì)自動(dòng)化系統(tǒng)的工程環(huán)境進(jìn)行擴(kuò)展，使得編譯器能夠在F程序的轉(zhuǎn)換過(guò)程中產(chǎn)生浮點(diǎn)用戶程序的區(qū)間陰影。其中，為每個(gè)模塊產(chǎn)生相應(yīng)的內(nèi)部系統(tǒng)模塊，這些系統(tǒng)模塊包含程序的一區(qū)間陰影并將該區(qū)間陰影處理成運(yùn)行時(shí)間。根據(jù)一種優(yōu)選實(shí)施方式，在所述工程環(huán)境中擴(kuò)充一項(xiàng)針對(duì)所述用戶程序進(jìn)行的預(yù)期數(shù)字范圍內(nèi)的數(shù)值穩(wěn)定性檢查。通過(guò)這種方式，用戶就能檢查程序運(yùn)行時(shí)數(shù)值是否穩(wěn)定，或者檢查控制裝置中的計(jì)算錯(cuò)誤是否對(duì)受控過(guò)程的運(yùn)行構(gòu)成危害。本發(fā)明的整體理念如下 對(duì)工程環(huán)境進(jìn)行專門擴(kuò)展，以便產(chǎn)生包含區(qū)間映射的浮點(diǎn)用戶程序， 擴(kuò)展運(yùn)行時(shí)間環(huán)境，以便對(duì)浮點(diǎn)用戶程序的區(qū)間陰影進(jìn)行處理， 進(jìn)行至少一次故障安全相關(guān)一致性檢查，以便發(fā)現(xiàn)錯(cuò)誤。所述方法首次提供了一種在單信道硬件上對(duì)浮點(diǎn)數(shù)實(shí)施保護(hù)的可能性，可以在運(yùn)行時(shí)間環(huán)境中以可接受的效率做到這一點(diǎn)。由此，本發(fā)明特別是在運(yùn)動(dòng)控制和過(guò)程自動(dòng)化的應(yīng)用領(lǐng)域提供了可以實(shí)現(xiàn)更高級(jí)的新安全功能的解決方案。與借助算術(shù)碼來(lái)保護(hù)浮點(diǎn)數(shù)的方案相比，本發(fā)明的優(yōu)點(diǎn)是更容易實(shí)現(xiàn)。此外，本發(fā)明的解決方案與硬件的細(xì)節(jié)無(wú)關(guān)。通過(guò)對(duì)工程進(jìn)行擴(kuò)展，可對(duì)正在處理浮點(diǎn)數(shù)的用戶程序的數(shù)值穩(wěn)定性進(jìn)行評(píng)估。傳統(tǒng)技術(shù)無(wú)法為用戶提供這類支持。
工程擴(kuò)展也可應(yīng)用于故障安全型軟件以外的領(lǐng)域，并為用戶提供程序編寫(xiě)方面的支持。最后，本發(fā)明的方法提供了用于故障安全型計(jì)算的浮點(diǎn)運(yùn)算，而不必放棄硬件無(wú)關(guān)性方面的優(yōu)點(diǎn)，也不必使基本處理器的設(shè)計(jì)自由度受到限制。相反，本發(fā)明的方法實(shí)現(xiàn)了與Distributed Safety軟件的現(xiàn)有軟件多樣性理念的無(wú)縫結(jié)合。本發(fā)明的方法使受保護(hù)的陰影運(yùn)算比原始運(yùn)算更為全面。但與相應(yīng)采用假想算術(shù)編碼的浮點(diǎn)運(yùn)算相比，本發(fā)明的方法又容易得多。


下面借助實(shí)施例對(duì)本發(fā)明進(jìn)行說(shuō)明，其中圖I為計(jì)算過(guò)程示意圖；圖2為一個(gè)用浮點(diǎn)數(shù)進(jìn)行計(jì)算的實(shí)施例；以及圖3為本發(fā)明包括附加檢查步驟在內(nèi)的方法。
具體實(shí)施例方式如圖I所示，工作過(guò)程中所有計(jì)算均雙重進(jìn)行。先以原有形式，再以經(jīng)過(guò)編碼器轉(zhuǎn)換的編碼形式將操作數(shù)輸入相應(yīng)處理器。借助標(biāo)準(zhǔn)浮點(diǎn)運(yùn)算獲得第一計(jì)算結(jié)果。借助區(qū)間浮點(diǎn)運(yùn)算進(jìn)行第二計(jì)算，以此算出區(qū)間陰影。如前所述，在隨后的一致性檢查中將獲得的計(jì)算結(jié)果匯總并檢查其錯(cuò)誤情況。確認(rèn)計(jì)算正確后再輸出該計(jì)算結(jié)果。圖2為按照本發(fā)明的方法進(jìn)行多樣性加法運(yùn)算的實(shí)施例在本實(shí)施例中，X和y是兩個(gè)需要相加的浮點(diǎn)數(shù)操作數(shù)。z是相加之和。A是X的區(qū)間映射，B是y的區(qū)間映射，C是z的區(qū)間映射。符號(hào)E是機(jī)器精度(根據(jù)IEEE 754，32位浮點(diǎn)數(shù)的e = 5. 960464x10,。一致性檢查對(duì)區(qū)間表示的多樣性進(jìn)行評(píng)估以便發(fā)現(xiàn)錯(cuò)誤。在針對(duì)區(qū)間寬度是否處于允許范圍所進(jìn)行的一致性檢查中，Crad的閾值是一個(gè)與要求診斷覆蓋率及運(yùn)算相關(guān)的值，這個(gè)值處于機(jī)器精度的數(shù)量級(jí)。由這個(gè)閾值的大小確定可接受的失真程度。通過(guò)上述檢查既能發(fā)現(xiàn)爆發(fā)性的取整錯(cuò)誤(由數(shù)據(jù)或算法的不良數(shù)值條件引起)，也能發(fā)現(xiàn)硬件或軟件故障所引起的危險(xiǎn)失真。也可以將注意力完全集中在危險(xiǎn)失真的發(fā)現(xiàn)上。將實(shí)時(shí)(運(yùn)行時(shí)間)環(huán)境與工程組件整合在一起是有利的。圖3中，區(qū)間運(yùn)算與算術(shù)碼相結(jié)合以便在數(shù)據(jù)傳輸過(guò)程中保護(hù)數(shù)據(jù)。將待計(jì)算區(qū)間(編碼區(qū)間Ac和Be)解碼并進(jìn)行一致性檢查。如檢查結(jié)果為“不一致”，就讓系統(tǒng)停止工作(F-STOP)。否則就借助解碼后的區(qū)間(A、B)進(jìn)行區(qū)間算術(shù)運(yùn)算。隨后對(duì)結(jié)果(區(qū)間C)重新進(jìn)行檢查，并在結(jié)果正確的情況下將其重新編碼(編碼區(qū)間Ce)。所述整合例如還涉及對(duì)數(shù)據(jù)類型為REAL的傳感器數(shù)據(jù)進(jìn)行安全耦合，對(duì)數(shù)據(jù)類型為REAL的執(zhí)行器數(shù)據(jù)進(jìn)行安全輸出以及與常用總線協(xié)議(Profibus或Profinet)的耦
八
口 o
權(quán)利要求
1.一種在自動(dòng)化系統(tǒng)內(nèi)于程序運(yùn)行期間實(shí)時(shí)進(jìn)行故障安全型硬件無(wú)關(guān)浮點(diǎn)運(yùn)算的方法，其中， 根據(jù)至少兩個(gè)均為浮點(diǎn)數(shù)的原始數(shù)據(jù)(X，y)，在形式為浮點(diǎn)表示的第一計(jì)算中通過(guò)標(biāo)準(zhǔn)浮點(diǎn)運(yùn)算測(cè)定第一結(jié)果(z)，以及 將所述至少兩個(gè)浮點(diǎn)表示的原始數(shù)據(jù)(x，y)分別轉(zhuǎn)換為相應(yīng)的浮點(diǎn)區(qū)間表示(A = <a，arad>, B = <b, brad ,以及 根據(jù)所述至少兩個(gè)已轉(zhuǎn)換為浮點(diǎn)區(qū)間表示的數(shù)據(jù)，進(jìn)行類似于所述第一計(jì)算且特定而言與所述第一計(jì)算同時(shí)進(jìn)行的第二計(jì)算， 所述第二計(jì)算測(cè)定結(jié)果區(qū)間(C =〈C，crad ， 其中，借助所述第二計(jì)算(C, Crad)的結(jié)果區(qū)間(C =〈C, crad 來(lái)檢查所述第一計(jì)算的第一結(jié)果(Z)是否存在錯(cuò)誤計(jì)算。
2.根據(jù)權(quán)利要求I所述的方法，其特征在于， 所述浮點(diǎn)區(qū)間由中點(diǎn)(C)和半徑(Crad)定義。
3.根據(jù)權(quán)利要求I所述的方法，其特征在于， 所述浮點(diǎn)區(qū)間由最小值和最大值定義。
4.根據(jù)上述權(quán)利要求中任一項(xiàng)權(quán)利要求所述的方法，其特征在于， 檢查所述第一結(jié)果(z)是否處于由所述類似于所述第一計(jì)算的第二計(jì)算特定而言同時(shí)測(cè)定的結(jié)果區(qū)間(z e C)內(nèi)。
5.根據(jù)上述權(quán)利要求中任一項(xiàng)權(quán)利要求所述的方法，其特征在于， 由所述類似于所述第一計(jì)算的第二計(jì)算特定而言同時(shí)測(cè)定的結(jié)果區(qū)間(C =〈C，crad 具有允許的區(qū)間寬度(cMd <閾值)。
6.根據(jù)權(quán)利要求I至3中任一項(xiàng)權(quán)利要求所述的方法，其特征在于， 通過(guò)操作數(shù)相關(guān)測(cè)試((a+0)/a = I )進(jìn)行所述檢查。
7.根據(jù)上述權(quán)利要求中任一項(xiàng)權(quán)利要求所述的方法，其特征在于， 待測(cè)試的安全參數(shù)可選和/或可量化。
8.根據(jù)上述權(quán)利要求中任一項(xiàng)權(quán)利要求所述的方法，其特征在于， 實(shí)施第一檢查，用于借助第一區(qū)間表示來(lái)保證故障安全型計(jì)算，以及實(shí)施第二檢查，用于借助第二區(qū)間表示來(lái)檢查數(shù)值條件。
9.根據(jù)權(quán)利要求8所述的方法，其特征在于， 將所述檢查的結(jié)果記入單獨(dú)的檢查報(bào)告。
10.根據(jù)上述權(quán)利要求中任一項(xiàng)權(quán)利要求所述的方法，其特征在于， 在不受所述浮點(diǎn)算術(shù)計(jì)算影響的情況下，進(jìn)一步對(duì)計(jì)算單元(單處理器)進(jìn)行周期性自檢測(cè)。
11.根據(jù)上述權(quán)利要求中任一項(xiàng)權(quán)利要求所述的方法，其特征在于， 進(jìn)一步將所述已轉(zhuǎn)換為相應(yīng)的浮點(diǎn)區(qū)間表示的數(shù)據(jù)編碼后予以存儲(chǔ)，特定而言通過(guò)反碼或AN算術(shù)碼進(jìn)行編碼。
12.一種用于實(shí)施根據(jù)權(quán)利要求I至11中任一項(xiàng)權(quán)利要求所述的方法的裝置，其特征在于， 所述裝置包括自動(dòng)化系統(tǒng)的工程環(huán)境和用于進(jìn)行故障安全型浮點(diǎn)運(yùn)算的處理器(區(qū)間運(yùn)算)。
13.根據(jù)權(quán)利要求12所述的裝置，其特征在于， 為用戶程序產(chǎn)生相應(yīng)的區(qū)間映射，所述區(qū)間映射包含所述已轉(zhuǎn)換為相應(yīng)的浮點(diǎn)區(qū)間表示的數(shù)據(jù)。
14.根據(jù)權(quán)利要求12或13所述的裝置，其特征在于， 所述裝置包含 用于接收編碼區(qū)間(Ac，Be)的構(gòu)件，以及 用于對(duì)已接收區(qū)間進(jìn)行解碼(Decodieren)的構(gòu)件，以及 用于對(duì)已解碼區(qū)間(A, B)進(jìn)行檢查(Priifung)的構(gòu)件，以及 用于將新算出的區(qū)間(C)編碼(Codieren)成編碼區(qū)間(Ce)的構(gòu)件。
15.根據(jù)權(quán)利要求12至14中任一項(xiàng)權(quán)利要求所述的裝置，其特征在于， 可與總線協(xié)議(特別是PR0FIBUS)耦合。
全文摘要
本發(fā)明的目的是提供一種可為浮點(diǎn)運(yùn)算提供前述類型的軟件多樣性的方法和裝置，特定而言，本發(fā)明也可應(yīng)用于實(shí)時(shí)環(huán)境。本發(fā)明的發(fā)明對(duì)象是用于對(duì)符合IEC 61508在功能安全性方面所規(guī)定的任意精度的浮點(diǎn)數(shù)計(jì)算進(jìn)行高效保護(hù)的一種方法和裝置。所述方法采用軟件多樣性的一種特殊形式，且對(duì)運(yùn)行時(shí)間環(huán)境及工程環(huán)境均有影響。
文檔編號(hào)G06F11/16GK102713857SQ201080011920
公開(kāi)日2012年10月3日 申請(qǐng)日期2010年8月3日 優(yōu)先權(quán)日2010年8月3日
發(fā)明者揚(yáng)·里希特 申請(qǐng)人:西門子公司