專利名稱：用于在處理系統(tǒng)中處理數(shù)據(jù)時(shí)識(shí)別錯(cuò)誤的方法和控制系統(tǒng)的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及一種用于在處理系統(tǒng)中處理數(shù)據(jù)以便形成數(shù)據(jù)包時(shí)識(shí)別錯(cuò)誤的方法。本發(fā)明還涉及執(zhí)行該方法的處理系統(tǒng)。
背景技術(shù)：
在用于處理與安全性有關(guān)的數(shù)據(jù)的系統(tǒng)的情況下，在兩個(gè)或更多通道中頻繁地處理數(shù)據(jù)，即通過(guò)不同途徑彼此獨(dú)立地處理數(shù)據(jù)多次。關(guān)于這一點(diǎn)，通常通過(guò)在不同處理單元上執(zhí)行相同的處理方法兩次或更多次并且將由此獲得的結(jié)果相互比較來(lái)實(shí)現(xiàn)多通道特性。假定如果通過(guò)所有途徑獲得相同結(jié)果，則存在正確地計(jì)算了各個(gè)處理方法的結(jié)果的非常高的概率。這幾乎排除硬件中的系統(tǒng)和自發(fā)錯(cuò)誤。極不可能的上，兩個(gè)未被識(shí)別的錯(cuò)誤將正好產(chǎn)生與相同位置處的錯(cuò)誤相同的結(jié)果。只有那時(shí)錯(cuò)誤才將保持未被檢測(cè)到。
然而，如果在連續(xù)地執(zhí)行所有處理方法的方法步驟的處理系統(tǒng)中、例如在單個(gè)微處理器中進(jìn)行處理，則可以通過(guò)在該微處理器中連續(xù)地處理數(shù)據(jù)多次來(lái)實(shí)現(xiàn)多通道特性。然后，接連地處理該數(shù)據(jù)多次。特別地，可以以不同方式來(lái)實(shí)現(xiàn)數(shù)據(jù)的多次處理，這意味著，舉例來(lái)說(shuō)，計(jì)算算法執(zhí)行不同的單個(gè)步驟以便當(dāng)數(shù)據(jù)被正確地處理時(shí)獲得相同結(jié)果。
現(xiàn)在，檢驗(yàn)以這種方式獲得的結(jié)果的等同性。特別是在單個(gè)微處理器中進(jìn)行處理的情況下，一個(gè)問(wèn)題在于不能確保當(dāng)微處理器有錯(cuò)誤時(shí)或當(dāng)處理系統(tǒng)有錯(cuò)誤時(shí)，來(lái)自多通道處理的不相等的結(jié)果不會(huì)由于另外的錯(cuò)誤仍然被解釋為正確的結(jié)果并被釋放用于進(jìn)一步的處理。這特別成問(wèn)題，因?yàn)橥ǔH需要一些方法步驟來(lái)用于比較所確定的結(jié)果，以便確定所確定的數(shù)據(jù)的正確性。然而，如果在單個(gè)微處理器中實(shí)現(xiàn)多通道特性，則微處理器中的在方法步驟期間的錯(cuò)誤可能導(dǎo)致即使微處理器有錯(cuò)誤，不相等的結(jié)果也不被識(shí)別為正確的并且數(shù)據(jù)的處理也被繼續(xù)。
在控制工程中，諸如PROFISAFE的標(biāo)準(zhǔn)被用于傳輸數(shù)據(jù)，例如所述標(biāo)準(zhǔn)規(guī)定用于有用數(shù)據(jù)的特定協(xié)議和特定格式。這保護(hù)要傳輸?shù)臄?shù)據(jù)以防任何傳輸鏈路上的所有典型錯(cuò)誤、諸如數(shù)據(jù)的失真和顛倒。該數(shù)據(jù)配備有共同的數(shù)據(jù)幀地址、校驗(yàn)和以及生命周期計(jì)數(shù)器。
在單個(gè)微處理器中實(shí)現(xiàn)多通道特性的系統(tǒng)中，例如在單個(gè)信息處理單元中，不能可證明地確保微處理器在識(shí)別出錯(cuò)誤的情況下不轉(zhuǎn)發(fā)不正確的數(shù)據(jù)。然而，與安全性有關(guān)的領(lǐng)域要求“單個(gè)錯(cuò)誤安全性”，其中當(dāng)出現(xiàn)了單個(gè)錯(cuò)誤時(shí)可證明地停止處理或停止數(shù)據(jù)的生成和提供。這意味著，對(duì)于任何錯(cuò)誤而言，該系統(tǒng)必須可證明地總是處于安全狀態(tài)中，以便能夠排除人員的任何風(fēng)險(xiǎn)。在這方面重要的是由系統(tǒng)本身識(shí)別出錯(cuò)誤以及該系統(tǒng)自己關(guān)閉。這防止第二錯(cuò)誤出現(xiàn)并且能夠?qū)е虏话踩珷顟B(tài)。
NIKOLAIZIK，Jürgen；NKOLOV，Boris；WARLITZ，Joachim的Fehlertolerante Mikrocomputersystems[Fault-tolerantmicrocomputer systems](BerlinVerl.Technik，1990年，第23-67頁(yè)，(ISBN3-341-00959-4))公開(kāi)了一種容錯(cuò)微型計(jì)算機(jī)系統(tǒng)，該容錯(cuò)微型計(jì)算機(jī)系統(tǒng)具有中央處理單元，其中通過(guò)利用兩個(gè)不同的程序接連地執(zhí)行數(shù)據(jù)處理來(lái)實(shí)現(xiàn)錯(cuò)誤識(shí)別，其中比較結(jié)果以便檢測(cè)錯(cuò)誤。

發(fā)明內(nèi)容
本發(fā)明的目的是提供一種用于在處理數(shù)據(jù)以便形成數(shù)據(jù)包時(shí)識(shí)別錯(cuò)誤的方法，該方法提供用于在處理系統(tǒng)中執(zhí)行處理的單個(gè)錯(cuò)誤安全性，其中連續(xù)地執(zhí)行處理方法的處理步驟。并且本發(fā)明的目的是提供一種用于處理數(shù)據(jù)以便形成數(shù)據(jù)包的處理系統(tǒng)，該處理系統(tǒng)允許可靠地識(shí)別出現(xiàn)的錯(cuò)誤。
該目的通過(guò)根據(jù)權(quán)利要求1的方法、通過(guò)根據(jù)權(quán)利要求6的計(jì)算機(jī)程序產(chǎn)品以及通過(guò)根據(jù)權(quán)利要求7的控制系統(tǒng)來(lái)實(shí)現(xiàn)。
在從屬權(quán)利要求中說(shuō)明了本發(fā)明的另外的有利改進(jìn)。
按照本發(fā)明的第一方面，提供一種用于在處理系統(tǒng)中處理數(shù)據(jù)以便形成包含輸出數(shù)據(jù)和測(cè)試數(shù)據(jù)項(xiàng)的數(shù)據(jù)包時(shí)識(shí)別錯(cuò)誤的方法。該處理系統(tǒng)連續(xù)地執(zhí)行處理方法的方法步驟。形成測(cè)試數(shù)據(jù)項(xiàng)，以便確認(rèn)輸出數(shù)據(jù)的有效性。該方法包括下列步驟提供輸入數(shù)據(jù)；按照第一處理方法基于輸入數(shù)據(jù)確定輸出數(shù)據(jù)；按照第二處理方法基于輸入數(shù)據(jù)確定測(cè)試數(shù)據(jù)項(xiàng)，其中第一和第二處理方法在處理系統(tǒng)中接連地被執(zhí)行并相互協(xié)調(diào)，以便針對(duì)相同的輸入數(shù)據(jù)產(chǎn)生輸出數(shù)據(jù)和測(cè)試數(shù)據(jù)項(xiàng)，使得測(cè)試數(shù)據(jù)項(xiàng)能夠確認(rèn)輸出數(shù)據(jù)；以及如果測(cè)試數(shù)據(jù)項(xiàng)不能確認(rèn)輸出數(shù)據(jù)的有效性，則在處理系統(tǒng)中識(shí)別出錯(cuò)誤。
本發(fā)明方法具有以下優(yōu)點(diǎn)，即測(cè)試數(shù)據(jù)項(xiàng)和輸出數(shù)據(jù)在處理系統(tǒng)中彼此獨(dú)立地被確定，從而避免輸出數(shù)據(jù)以相同的方式被確定兩次或更多次，以便找到可能的錯(cuò)誤。在單個(gè)處理系統(tǒng)中多次執(zhí)行相同的處理方法以便確定輸出數(shù)據(jù)通常將不允許識(shí)別存在于處理系統(tǒng)中的錯(cuò)誤，因?yàn)樵撳e(cuò)誤將以相同的方式對(duì)相同的處理方法有消極影響。使用計(jì)算彼此不同的值、即輸出數(shù)據(jù)和測(cè)試數(shù)據(jù)項(xiàng)的兩種不同的、即第一和第二處理方法的事實(shí)意味著，處理系統(tǒng)中的錯(cuò)誤導(dǎo)致在第一處理方法中確定的輸出數(shù)據(jù)和在第二處理方法中確定的測(cè)試數(shù)據(jù)項(xiàng)彼此不協(xié)調(diào)，即測(cè)試數(shù)據(jù)項(xiàng)不能確認(rèn)輸出數(shù)據(jù)的有效性。
優(yōu)選地，所確定的測(cè)試數(shù)據(jù)項(xiàng)是輸出數(shù)據(jù)的校驗(yàn)和。
可以規(guī)定，通過(guò)首先按照第三處理方法確定中間輸出數(shù)據(jù)以及按照第四處理方法利用所確定的中間輸出數(shù)據(jù)確定測(cè)試數(shù)據(jù)項(xiàng)來(lái)按照第二處理方法確定測(cè)試數(shù)據(jù)項(xiàng)。在這方面，第三處理方法和第一處理方法通過(guò)不同途徑確定輸出數(shù)據(jù)或中間輸出數(shù)據(jù)。特別地，可以以相對(duì)于第三處理方法的相反邏輯來(lái)執(zhí)行第一處理方法。由此實(shí)現(xiàn)的效果是第一和第三處理方法不包含相同的方法步驟，這意味著當(dāng)在方法步驟中出現(xiàn)錯(cuò)誤時(shí)，兩種處理方法產(chǎn)生不同的輸出數(shù)據(jù)。因此，按照第四處理方法，基于中間輸出數(shù)據(jù)確定的測(cè)試數(shù)據(jù)項(xiàng)將不確認(rèn)輸出數(shù)據(jù)的有效性。這允許可靠地識(shí)別錯(cuò)誤。
按照一個(gè)優(yōu)選實(shí)施例，直接在確定了中間輸出數(shù)據(jù)之后確定測(cè)試數(shù)據(jù)項(xiàng)，其中在確定了測(cè)試數(shù)據(jù)項(xiàng)之后刪除中間輸出數(shù)據(jù)。由此實(shí)現(xiàn)的效果是中間輸出數(shù)據(jù)不與測(cè)試數(shù)據(jù)一起存在于例如處理系統(tǒng)的存儲(chǔ)器中，這意味著可以防止不正確地轉(zhuǎn)發(fā)由中間輸出數(shù)據(jù)和測(cè)試數(shù)據(jù)項(xiàng)形成的數(shù)據(jù)包。在處理系統(tǒng)中中間輸出數(shù)據(jù)不可用或僅短暫地可用的事實(shí)意味著中間輸出數(shù)據(jù)非常不可能或幾乎不可能例如由于處理系統(tǒng)中的錯(cuò)誤而作為輸出數(shù)據(jù)被轉(zhuǎn)發(fā)。
按照本發(fā)明的一個(gè)實(shí)施例，能夠由輸出數(shù)據(jù)和測(cè)試數(shù)據(jù)項(xiàng)形成數(shù)據(jù)包，其中在傳輸了數(shù)據(jù)包之后進(jìn)行檢驗(yàn)以確定，測(cè)試數(shù)據(jù)項(xiàng)是否確認(rèn)輸出數(shù)據(jù)的有效性，以便檢驗(yàn)數(shù)據(jù)包的有效性。
按照本發(fā)明的另一方面，提供一種用于在處理數(shù)據(jù)以便形成數(shù)據(jù)包時(shí)識(shí)別錯(cuò)誤的處理系統(tǒng)。該處理系統(tǒng)具有處理單元，該處理單元用于連續(xù)地執(zhí)行處理方法中的處理步驟，用于按照第一處理方法基于輸入數(shù)據(jù)確定輸出數(shù)據(jù)，以及用于按照第二處理方法基于輸入數(shù)據(jù)確定測(cè)試數(shù)據(jù)項(xiàng)。另外，設(shè)置有存儲(chǔ)器，在該存儲(chǔ)器中存儲(chǔ)有第一和第二處理方法的方法步驟以便利用處理單元來(lái)執(zhí)行這些方法步驟。第一和第二處理方法在處理系統(tǒng)中接連地被執(zhí)行并且彼此協(xié)調(diào)，以便針對(duì)相同的輸入數(shù)據(jù)生成輸出數(shù)據(jù)和測(cè)試數(shù)據(jù)項(xiàng)，使得測(cè)試數(shù)據(jù)項(xiàng)能夠確認(rèn)輸出數(shù)據(jù)的有效性。還存在被設(shè)置用于在測(cè)試數(shù)據(jù)項(xiàng)不能確認(rèn)輸出數(shù)據(jù)項(xiàng)時(shí)識(shí)別錯(cuò)誤的錯(cuò)誤確定單元。
按照本發(fā)明的另一實(shí)施例，設(shè)置有傳輸單元，以便鏈接測(cè)試數(shù)據(jù)項(xiàng)和輸出數(shù)據(jù)以形成數(shù)據(jù)包，以及以便經(jīng)由網(wǎng)絡(luò)傳輸所述數(shù)據(jù)包。


下面參考附圖更詳細(xì)地說(shuō)明本發(fā)明的優(yōu)選實(shí)施例，其中圖1示出用于經(jīng)由PROFIBUS控制機(jī)器的控制系統(tǒng)，在該控制系統(tǒng)中實(shí)現(xiàn)本發(fā)明方法；圖2示出舉例說(shuō)明本發(fā)明方法的優(yōu)選實(shí)施例的流程圖。
具體實(shí)施例方式
圖1示出具有微處理器2和存儲(chǔ)器3的控制系統(tǒng)1。存儲(chǔ)器3被用來(lái)存儲(chǔ)程序數(shù)據(jù)和有用數(shù)據(jù)。微處理器2能夠使用程序數(shù)據(jù)來(lái)對(duì)被存儲(chǔ)在存儲(chǔ)器3中的有用數(shù)據(jù)執(zhí)行處理方法。例如，微處理器2是連續(xù)地執(zhí)行該處理方法的方法步驟的標(biāo)準(zhǔn)微處理器。
控制系統(tǒng)1經(jīng)由PROFIBUS 4連接到機(jī)器5上，該機(jī)器5被規(guī)定為受控制系統(tǒng)1控制。PROFIBUS 4被用于傳輸還包含控制數(shù)據(jù)和測(cè)試數(shù)據(jù)的數(shù)據(jù)包?？刂茢?shù)據(jù)是在微處理器2中執(zhí)行的第一處理方法的結(jié)果。測(cè)試數(shù)據(jù)同樣在微處理器2中按照第二處理方法來(lái)確定并被用于檢驗(yàn)接收機(jī)上、即機(jī)器5中的控制數(shù)據(jù)的有效性，即測(cè)試數(shù)據(jù)和控制數(shù)據(jù)需要彼此協(xié)調(diào)。通常，測(cè)試數(shù)據(jù)可以容易地根據(jù)控制數(shù)據(jù)、例如通過(guò)形成校驗(yàn)和來(lái)確定。
圖2示出表明基于本發(fā)明的處理方法的優(yōu)選實(shí)施例的流程圖。在步驟S2中，所提供的輸入數(shù)據(jù)(步驟S1)首先被用于按照第一處理方法基于輸入數(shù)據(jù)來(lái)確定輸出數(shù)據(jù)。接著，使用第三處理方法來(lái)根據(jù)輸入數(shù)據(jù)確定中間輸出數(shù)據(jù)(步驟S3)，第一和第三處理方法基本上實(shí)現(xiàn)相同的功能，其中有利地通過(guò)不同途徑獲得輸出數(shù)據(jù)。例如，第一處理方法使用正邏輯以及第三處理方法使用負(fù)邏輯，以便獲得輸出數(shù)據(jù)。
如果控制系統(tǒng)正確地工作，使用第一處理方法獲得的數(shù)據(jù)和使用第三處理方法獲得的中間輸出數(shù)據(jù)是相同的。如果當(dāng)特定處理步驟被不正確地執(zhí)行時(shí)在第一或第三處理方法中出現(xiàn)錯(cuò)誤，則按照第一處理方法和按照第三處理方法獲得不同的輸出數(shù)據(jù)?；诓襟ES4的校驗(yàn)和計(jì)算被用于根據(jù)中間輸出數(shù)據(jù)來(lái)計(jì)算該中間輸出數(shù)據(jù)的校驗(yàn)和。如果第一處理方法和第三處理方法以及校驗(yàn)和計(jì)算被正確地執(zhí)行，則在步驟S4中所確定的校驗(yàn)和對(duì)應(yīng)于在步驟S2中所確定的、輸出數(shù)據(jù)的校驗(yàn)和。
為了防止中間輸出數(shù)據(jù)和校驗(yàn)和在存儲(chǔ)器3中作為共同的數(shù)據(jù)包或彼此以規(guī)定的關(guān)聯(lián)可用以及防止由控制系統(tǒng)1不正確地發(fā)送，優(yōu)選地在執(zhí)行了步驟S3后不將中間輸出數(shù)據(jù)存儲(chǔ)在存儲(chǔ)器3中，而是僅緩存在微處理器的寄存器中或與存儲(chǔ)器3分開(kāi)的高速緩沖存儲(chǔ)器等等中，以及在步驟S4中確定了校驗(yàn)和之后刪除，以便它們決不存在于存儲(chǔ)器3中。這確保存儲(chǔ)器3只有按照第三處理方法所確定的中間輸出數(shù)據(jù)的校驗(yàn)和可用，而不是中間輸出數(shù)據(jù)本身。
由于第一處理方法通過(guò)不同的途徑獲得輸出數(shù)據(jù)，所以只有當(dāng)處理是正確的時(shí)，輸出數(shù)據(jù)和校驗(yàn)和才能彼此匹配，即只有當(dāng)正確地執(zhí)行了處理方法時(shí)，校驗(yàn)和才確認(rèn)輸出數(shù)據(jù)的有效性。
在步驟S5中校驗(yàn)和以及輸出數(shù)據(jù)被彼此鏈接以形成數(shù)據(jù)包，然后按照步驟S6經(jīng)由PROFIBUS 4被發(fā)送到要操作的機(jī)器5。在步驟S7中，機(jī)器5確定校驗(yàn)和是否與輸出數(shù)據(jù)匹配，即校驗(yàn)和是否確認(rèn)輸出數(shù)據(jù)的有效性。如果是，則過(guò)程返回到步驟S1。
如果發(fā)現(xiàn)了錯(cuò)誤，則機(jī)器5能經(jīng)由PROFIBUS 4將該錯(cuò)誤傳輸?shù)娇刂葡到y(tǒng)1，以便控制系統(tǒng)1被自動(dòng)關(guān)閉或停止處理。替代地，機(jī)器5能夠在錯(cuò)誤數(shù)據(jù)到達(dá)的情況下阻止從控制系統(tǒng)1接收另外的數(shù)據(jù)包以及能夠自己關(guān)閉。
優(yōu)選地，可以在控制系統(tǒng)1中使用相同的微處理器2來(lái)執(zhí)行確定校驗(yàn)和是否確認(rèn)輸出數(shù)據(jù)的檢驗(yàn)，這意味著，當(dāng)出現(xiàn)了錯(cuò)誤時(shí)控制系統(tǒng)1按照步驟S8自已關(guān)閉。
作為接口，控制系統(tǒng)1使用向外防護(hù)的協(xié)議、例如PROFISAFE，該協(xié)議能夠被用于操作PROFIBUS 4。在這方面，使用不同的保護(hù)機(jī)制將數(shù)據(jù)打包成幀。通過(guò)對(duì)PROFISAFE協(xié)議的幀的最后檢驗(yàn)來(lái)實(shí)現(xiàn)控制數(shù)據(jù)的有效性。如果檢驗(yàn)是正確的，則可以釋放并發(fā)送數(shù)據(jù)包。在錯(cuò)誤的情況下，停止控制系統(tǒng)1。如果控制系統(tǒng)1中的錯(cuò)誤將導(dǎo)致不正確的子結(jié)果并且也不阻止發(fā)送，則數(shù)據(jù)的接收機(jī)、即機(jī)器5能夠在檢驗(yàn)所使用的保護(hù)幀時(shí)檢測(cè)到該錯(cuò)誤并且能夠相應(yīng)地例如通過(guò)阻止控制系統(tǒng)1進(jìn)一步發(fā)送錯(cuò)誤的數(shù)據(jù)包來(lái)作出反應(yīng)。
優(yōu)選地使用相反邏輯來(lái)執(zhí)行第一處理方法和第三處理方法，以便防止相同的方法步驟導(dǎo)致相同的錯(cuò)誤輸出數(shù)據(jù)。也可以使第一和第三處理方法以非常不同的方式執(zhí)行相同的功能。這可以利用能夠被用來(lái)以不同方式實(shí)現(xiàn)相同功能的數(shù)學(xué)整形方法來(lái)實(shí)現(xiàn)。
也可以在不預(yù)先確定中間輸出數(shù)據(jù)的情況下直接根據(jù)輸入數(shù)據(jù)計(jì)算例如校驗(yàn)和形式的測(cè)試數(shù)據(jù)項(xiàng)。這具有以下優(yōu)點(diǎn)，即中間輸出數(shù)據(jù)在控制系統(tǒng)中永不可用，以便中間輸出數(shù)據(jù)不會(huì)被錯(cuò)誤地鏈接到測(cè)試數(shù)據(jù)項(xiàng)以及不正確地作為數(shù)據(jù)包通過(guò)例如PROFIBUS 4被發(fā)送。
尤其是如果測(cè)試數(shù)據(jù)計(jì)算能夠與第一處理方法的功能相鏈接以形成具有不同方法步驟的新處理方法，則這是可能的，其中在該新處理方法中與第一處理方法相同的處理步驟的數(shù)量盡可能小，并且尤其是零。
權(quán)利要求
1.一種用于在處理系統(tǒng)(1)中處理輸入數(shù)據(jù)以便形成包含輸出數(shù)據(jù)和測(cè)試數(shù)據(jù)項(xiàng)的數(shù)據(jù)包時(shí)識(shí)別錯(cuò)誤的方法，其中形成所述測(cè)試數(shù)據(jù)項(xiàng)以便確認(rèn)所述輸出數(shù)據(jù)的有效性，其中連續(xù)地執(zhí)行下列方法步驟-按照第一處理方法基于所述輸入數(shù)據(jù)確定所述輸出數(shù)據(jù)；-按照第二處理方法基于所述輸入數(shù)據(jù)確定所述測(cè)試數(shù)據(jù)項(xiàng)，其中按照第三處理方法基于所述輸入數(shù)據(jù)確定中間輸出數(shù)據(jù)，以及按照第四處理方法根據(jù)所確定的中間輸出數(shù)據(jù)確定測(cè)試數(shù)據(jù)項(xiàng)，其中所述第一處理方法和所述第三處理方法通過(guò)不同途徑實(shí)現(xiàn)相同的功能；以及-如果所述測(cè)試數(shù)據(jù)項(xiàng)不能確認(rèn)所述輸出數(shù)據(jù)的有效性，則在所述處理系統(tǒng)中識(shí)別出錯(cuò)誤。
2.如權(quán)利要求1所述的方法，其中，所確定的測(cè)試數(shù)據(jù)項(xiàng)是所述輸出數(shù)據(jù)的校驗(yàn)和。
3.如權(quán)利要求1或2所述的方法，其中，直接在確定了所述中間輸出數(shù)據(jù)之后確定所述測(cè)試數(shù)據(jù)項(xiàng)，并且在確定了所述測(cè)試數(shù)據(jù)項(xiàng)之后刪除所述中間輸出數(shù)據(jù)。
4.如權(quán)利要求1至3之一所述的方法，其中，以相對(duì)于所述第三處理方法的相反邏輯來(lái)執(zhí)行所述第一處理方法。
5.如權(quán)利要求1至4之一所述的方法，其中，在傳輸了由所述輸出數(shù)據(jù)和所述測(cè)試數(shù)據(jù)項(xiàng)形成的數(shù)據(jù)包之后進(jìn)行檢驗(yàn)以確定，是否可以按照所述第二處理方法根據(jù)所述輸出數(shù)據(jù)確定所述測(cè)試數(shù)據(jù)項(xiàng)，以便檢驗(yàn)所述數(shù)據(jù)包的有效性。
6.一種計(jì)算機(jī)程序產(chǎn)品，用于在微處理器中執(zhí)行如權(quán)利要求1至5之一所述的方法。
7.一種處理系統(tǒng)(1)，用于在處理輸入數(shù)據(jù)以便形成包含輸出數(shù)據(jù)和用于確認(rèn)該輸出數(shù)據(jù)的有效性的測(cè)試數(shù)據(jù)項(xiàng)的數(shù)據(jù)包時(shí)識(shí)別錯(cuò)誤，具有處理單元(2)，該處理單元用于連續(xù)地執(zhí)行處理步驟，以及在這種情況下按照第一處理方法基于所述輸入數(shù)據(jù)確定所述輸出數(shù)據(jù)，并且按照第二處理方法基于所述輸入數(shù)據(jù)確定所述測(cè)試數(shù)據(jù)項(xiàng)，其中確定所述測(cè)試數(shù)據(jù)項(xiàng)包括按照第三處理方法基于所述輸入數(shù)據(jù)確定中間輸出數(shù)據(jù)以及按照第四處理方法根據(jù)所確定的中間輸出數(shù)據(jù)確定測(cè)試數(shù)據(jù)項(xiàng)，所述第一處理方法和所述第三處理方法通過(guò)不同途徑實(shí)現(xiàn)相同的功能；以及所述處理單元用于如果所述測(cè)試數(shù)據(jù)項(xiàng)不能確認(rèn)所述輸出數(shù)據(jù)的有效性、則在該處理系統(tǒng)中識(shí)別出錯(cuò)誤；以及具有存儲(chǔ)器(3)，該存儲(chǔ)器存儲(chǔ)所述第一和第二處理方法的方法步驟以便利用所述處理單元執(zhí)行這些方法步驟。
8.如權(quán)利要求7所述的處理系統(tǒng)(1)，具有用于傳輸由所述測(cè)試數(shù)據(jù)項(xiàng)和所述輸出數(shù)據(jù)形成的數(shù)據(jù)包的傳輸單元(4)。
全文摘要
本發(fā)明涉及一種用于在處理系統(tǒng)中處理輸入數(shù)據(jù)以便形成包含輸出數(shù)據(jù)和測(cè)試數(shù)據(jù)項(xiàng)的數(shù)據(jù)包時(shí)識(shí)別錯(cuò)誤的方法，形成該測(cè)試數(shù)據(jù)項(xiàng)以便確認(rèn)該輸出數(shù)據(jù)的有效性，其中連續(xù)地執(zhí)行下列方法步驟按照第一處理方法基于輸入數(shù)據(jù)確定輸出數(shù)據(jù)；按照第二處理方法基于輸入數(shù)據(jù)確定測(cè)試數(shù)據(jù)項(xiàng)，其中按照第三處理方法基于輸入數(shù)據(jù)確定中間輸出數(shù)據(jù)并且按照第四處理方法根據(jù)所確定的中間輸出數(shù)據(jù)確定測(cè)試數(shù)據(jù)項(xiàng)，其中第一處理方法和第三處理方法通過(guò)不同途徑實(shí)現(xiàn)相同的功能；以及如果測(cè)試數(shù)據(jù)項(xiàng)不能確認(rèn)輸出數(shù)據(jù)的有效性，則在該處理系統(tǒng)中識(shí)別出錯(cuò)誤。
文檔編號(hào)H04L1/00GK1942866SQ200580011858
公開(kāi)日2007年4月4日 申請(qǐng)日期2005年4月13日 優(yōu)先權(quán)日2004年4月19日
發(fā)明者U·普呂斯邁耶 申請(qǐng)人:德國(guó)倍福自動(dòng)化有限公司