TWI445320B - A modbus crc check code generation method - Google Patents

A modbus crc check code generation method Download PDF

Info

Publication number
TWI445320B
TWI445320B TW100112049A TW100112049A TWI445320B TW I445320 B TWI445320 B TW I445320B TW 100112049 A TW100112049 A TW 100112049A TW 100112049 A TW100112049 A TW 100112049A TW I445320 B TWI445320 B TW I445320B
Authority
TW
Taiwan
Prior art keywords
crc
modbus
check code
input data
value
Prior art date
Application number
TW100112049A
Other languages
Chinese (zh)
Other versions
TW201242263A (en
Inventor
Hsin Kai Liao
Chang Kao Chen
Ting Chia Ou
Original Assignee
Iner Aec Executive Yuan
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Iner Aec Executive Yuan filed Critical Iner Aec Executive Yuan
Priority to TW100112049A priority Critical patent/TWI445320B/en
Publication of TW201242263A publication Critical patent/TW201242263A/en
Application granted granted Critical
Publication of TWI445320B publication Critical patent/TWI445320B/en

Links

Description

一種Modbus CRC檢驗碼產生方法Modbus CRC check code generation method

一種Modbus CRC檢驗碼產生方法,特別是應用於各種設施控制器通訊系統,例如核能級控制器之通訊系統。A Modbus CRC check code generation method, in particular, applied to various facility controller communication systems, such as a communication system of a nuclear energy level controller.

在工廠自動化系統,例如核電廠、製造業或石化廠,在訊息交換或傳輸過程之正確性對安全運行環節的要求非常重要,因此網路之通訊過程必須提供實行檢測網路錯誤之驗證功能,當故障發生時,須通知相對應之可編程邏輯控制器,以便採取適當之行動,網路之通訊。In factory automation systems, such as nuclear power plants, manufacturing or petrochemical plants, the correctness of the information exchange or transmission process is very important to the requirements of the safe operation. Therefore, the communication process of the network must provide verification function to detect network errors. When a fault occurs, the corresponding programmable logic controller must be notified to take appropriate action, network communication.

Modbus協議是自動化行業的一個共同協議,在1970年代末,最初之設計為了一個序列線路協議,然而在自動化行業,目前已成為一個現存標準,且使用在所有智慧自動化設備中一個常規介面。The Modbus protocol is a common protocol for the automation industry. It was originally designed as a serial line protocol in the late 1970s. However, in the automation industry, it has now become an existing standard and is used in a conventional interface in all smart automation devices.

CRC普遍使用於錯誤檢查技術,對於被傳輸數據系統之間或是在處理功能之晶片中。傳統硬體CRC的產生器,一般而言是一個固定長度之多項式,這些硬體CRC的產生器,只能使用一個CRC的方程式來計算一個CRC校驗碼。單一CRC方程式可適用於單一應用的特定設備。然而,單一CRC方程式無法針對所有類型的數據提供錯誤檢查之能力。使用一個以上的CRC方程式可能需要多個CRC產生器的開發工具,每個CRC產生器需由一個硬體來實現,這個解決方案是不合乎需要的,因為額外的電晶體必須增加了電路的規模和晶片的成本。CRC is commonly used in error checking techniques for between data systems being transferred or between processing functions. Traditional hardware CRC generators are generally a fixed length polynomial. These hardware CRC generators can only use a CRC equation to calculate a CRC. A single CRC equation can be applied to a particular device for a single application. However, the single CRC equation does not provide the ability to detect errors for all types of data. Using more than one CRC equation may require multiple CRC generator development tools, each CRC generator needs to be implemented by a single hardware. This solution is undesirable because additional transistors must increase the size of the circuit. And the cost of the wafer.

本發明利用軟體之方式自動產生硬體描述語言所需之Modbus CRC-16格式,即產生後之格式可應用於核能級控制器之通訊系統設計中。The invention automatically generates the Modbus CRC-16 format required by the hardware description language by means of software, that is, the generated format can be applied to the communication system design of the nuclear energy level controller.

為解決使用一個以上的CRC方程式可能需要多個CRC產生器的開發工具,每個CRC產生器需由一個硬體來實現之問題,本發明提出一種Modbus CRC檢驗碼產生方法,可針對任意輸入資料長度產生一組Modbus CRC-16檢驗碼。In order to solve the problem that multiple CRC generators may be required to use more than one CRC equation, each CRC generator needs to be implemented by one hardware. The present invention proposes a Modbus CRC check code generation method, which can be used for any input data. The length produces a set of Modbus CRC-16 check codes.

本發明提出一種Modbus CRC檢驗碼產生方法,包含下列步驟:The invention provides a Modbus CRC check code generating method, which comprises the following steps:

A) 計算輸入資料長度(d),並將輸入資料長度(d)除以8以得到一迴圈次數,其中該輸入資料長度(d)最小為8位元;A) Calculate the input data length (d), and divide the input data length (d) by 8 to obtain a loop number, wherein the input data length (d) is a minimum of 8 bits;

B) 定義一資料矩陣m=[m(8*d) m(8*d-1) m(8*d-2) ...m(3) m(2) m(1)]用以儲存輸入資料,其中m(j)係為輸入資料第j個位元之值;B) Define a data matrix m=[m(8*d) m(8*d-1) m(8*d-2) ...m(3) m(2) m(1)] for storage Input data, where m(j) is the value of the jth bit of the input data;

C) 定義一檢驗碼矩陣crc=[c16 c15 c14... c3 c2 c1]用以儲存Modbus CRC-16檢驗碼;C) define a check code matrix crc=[c16 c15 c14... c3 c2 c1] to store the Modbus CRC-16 check code;

D) 定義一迴圈計數器(i),並令i=1;D) define a loop counter (i) and let i=1;

E) 令crc=[crc([1:8])crc([9:16]).*m([1+(i-1)*8:i*8])],其中”.*”代表矩陣兩元素所在位置相乘:E) Let crc=[crc([1:8])crc([9:16]).*m([1+(i-1)*8:i*8])], where “.*” stands for Multiply the positions of the two elements of the matrix:

F) 計算c1=crc(9)*crc(10)*crc(11)*crc(12)*crc(13)*crc(14)**crc(15)*crc(16),c2=crc(10)*crc(11)*crc(12)*crc(13)*crc(14)*crc(15)*crc(16),c3=crc(9)*crc(10),c4=crc(10)*crc(11),c5=crc(11)*crc(12),c6=crc(12)*crc(13),c7=crc(13)*crc(14),c8=crc(14)*crc(15),c9=crc(1)*crc(15)*crc(16),c10=crc(2)*crc(16),c11=crc(3),c12=crc(4),c13=crc(5),c14=crc(6),c15=crc(7),c16=crc(8)*crc(9)*crc(10)*crc(11)*crc(12)*crc(13)*crc(14)**crc(15)*crc(16),其中crc(k)係為Modbus CRC-16檢驗碼之第k個位元之值;F) Calculate c1=crc(9)*crc(10)*crc(11)*crc(12)*crc(13)*crc(14)**crc(15)*crc(16),c2=crc( 10) *crc(11)*crc(12)*crc(13)*crc(14)*crc(15)*crc(16),c3=crc(9)*crc(10),c4=crc(10) )*crc(11),c5=crc(11)*crc(12),c6=crc(12)*crc(13),c7=crc(13)*crc(14),c8=crc(14)* Crc(15),c9=crc(1)*crc(15)*crc(16),c10=crc(2)*crc(16),c11=crc(3),c12=crc(4),c13= Crc(5),c14=crc(6),c15=crc(7),c16=crc(8)*crc(9)*crc(10)*crc(11)*crc(12)*crc(13) *crc(14)**crc(15)*crc(16), where crc(k) is the value of the kth bit of the Modbus CRC-16 check code;

G) 檢查迴圈計數器(i)之值是否小於d/8,若是,則將i之值加1(i=i+1),並回到步驟E),若否,則進行下一步驟;G) Check if the value of the loop counter (i) is less than d/8, and if so, increase the value of i by 1 (i=i+1) and return to step E). If not, proceed to the next step;

H) 將計算之結果輸出為一Modbus CRC-16檔案;H) output the result of the calculation as a Modbus CRC-16 file;

I) 將該Modbus CRC-16按照Modbus CRC-16之規則進行轉換與排序,即可得到一Modbus CRC-16格式之硬體描述語言。I) Convert and sort the Modbus CRC-16 according to the rules of Modbus CRC-16 to get a hardware description language in Modbus CRC-16 format.

藉由本發明所提出之Modbus CRC檢驗碼產生方法產生出之Modbus CRC-16檢驗碼,可直接寫入各種設施控制器之通訊系統中,使控制器所傳送之訊號能夠透過該產生器在一個時間週期處理完畢,以提高整體資料傳遞之正確性與可靠度。The Modbus CRC-16 check code generated by the Modbus CRC check code generating method proposed by the present invention can be directly written into the communication system of various facility controllers, so that the signal transmitted by the controller can pass through the generator at a time. The cycle is processed to improve the accuracy and reliability of the overall data transmission.

以下將參照隨附之圖式來描述本發明為達成目的所使用的技術手段與功效,而以下圖式所列舉之實施例僅為輔助說明,以利 貴審查委員瞭解,但本案之技術手段並不限於所列舉圖式。The technical means and efficacy of the present invention for achieving the object will be described below with reference to the accompanying drawings, and the embodiments listed in the following drawings are only for the purpose of explanation, and are to be understood by the reviewing committee, but the technical means of the present invention are not Limited to the listed figures.

再請參閱圖一所示,一種Modbus CRC檢驗碼產生方法流程圖,包含下列步驟:首先進行步驟20,計算輸入資料長度(d),並將輸入資料長度(d)除以8以得到一迴圈次數,其中該輸入資料長度(d)最小為8位元;步驟21,定義一資料矩陣m=[m(8*d) m(8*d-1) m(8*d-2)... m(3) m(2) m(1)]用以儲存輸入資料,其中m(j)係為輸入資料第j個位元之值;步驟22,定義一檢驗碼矩陣crc=[c16 c15 c14... c3 c2 c1]用以儲存Modbus CRC-16檢驗碼;步驟23,定義一迴圈計數器(i),並令i=1;步驟24,令crc=[crc([1:8])crc([9:16]).*m([1+(i-1)*8:i*8])],其中”.*”代表矩陣兩元素所在位置相乘:步驟25,計算c1=crc(9)*crc(10)*crc(11)*crc(12)*crc(13)*crc(14)**crc(15)*crc(16),c2=crc(10)*crc(11)*crc(12)*crc(13)*crc(14)*crc(15)*crc(16),c3=crc(9)*crc(10),c4=crc(10)*crc(11),c5=crc(11)*crc(12),c6=crc(12)*crc(13),c7=crc(13)*crc(14),c8=crc(14)*crc(15),c9=crc(1)*crc(15)*crc(16),c10=crc(2)*crc(16),c11=crc(3),c12=crc(4),c13=crc(5),c14=crc(6),c15=crc(7),c16=crc(8)*crc(9)*crc(10)*crc(11)*crc(12)*crc(13)*crc(14)**crc(15)*crc(16),其中crc(k)係為Modbus CRC-16檢驗碼之第k個位元之值;步驟26,檢查迴圈計數器(i)之值是否小於d/8,若是,則將i之值加1(i=i+1),並回到步驟24,若否,則進行下一步驟;步驟27,將計算之結果輸出為一Modbus CRC-16檔案;步驟28,將該Modbus CRC-16按照Modbus CRC-16之規則進行轉換與排序,即可得到一Modbus CRC-16格式之硬體描述語言。Referring to FIG. 1 again, a flow chart of a Modbus CRC check code generation method includes the following steps: First, step 20 is performed to calculate the input data length (d), and the input data length (d) is divided by 8 to obtain a back. The number of times, wherein the input data length (d) is a minimum of 8 bits; in step 21, a data matrix m=[m(8*d) m(8*d-1) m(8*d-2) is defined. .. m(3) m(2) m(1)] is used to store the input data, where m(j) is the value of the jth bit of the input data; step 22, define a check code matrix crc=[c16 C15 c14... c3 c2 c1] is used to store the Modbus CRC-16 check code; step 23, define a loop counter (i), and let i=1; step 24, let crc=[crc([1:8 ])rcc([9:16]).*m([1+(i-1)*8:i*8])], where ".*" represents the multiplication of the two elements of the matrix: step 25, calculation C1=crc(9)*crc(10)*crc(11)*crc(12)*crc(13)*crc(14)**crc(15)*crc(16),c2=crc(10)* Crc(11)*crc(12)*crc(13)*crc(14)*crc(15)*crc(16),c3=crc(9)*crc(10),c4=crc(10)*crc (11), c5=crc(11)*crc(12), c6=crc(12)*crc(13), c7=crc(13)*crc(14),c8=crc(14)*crc(15 ), c9=crc(1)*crc(15)*crc(16),c10=crc(2)* Crc(16),c11=crc(3),c12=crc(4),c13=crc(5),c14=crc(6),c15=crc(7),c16=crc(8)*crc(9 ) *crc(10)*crc(11)*crc(12)*crc(13)*crc(14)**crc(15)*crc(16), where crc(k) is a Modbus CRC-16 test The value of the kth bit of the code; in step 26, it is checked whether the value of the loop counter (i) is less than d/8, and if so, the value of i is incremented by 1 (i=i+1), and returns to step 24 If not, proceed to the next step; in step 27, output the result of the calculation as a Modbus CRC-16 file; and in step 28, convert and sort the Modbus CRC-16 according to the rules of Modbus CRC-16. A hardware description language in Modbus CRC-16 format.

步驟29,將該Modbus CRC-16格式之硬體描述語言寫入一設施控制器中。In step 29, the hardware description language of the Modbus CRC-16 format is written into a facility controller.

該Modbus CRC-16格式之硬體描述語言可寫入各種設施控制器(例如核能級控制器)之通訊系統中,以供使用。The hardware description language of the Modbus CRC-16 format can be written into the communication system of various facility controllers (such as nuclear energy level controllers) for use.

再請參閱表一所示,表一係為一Modbus CRC-16檢驗碼運算方法,其中m係為儲存輸入資料陣列之變數,m(j)係為資料陣列中第j個位元之值,crc係為儲存Modbus CRC-16檢驗碼陣列之變數,crc(k)係為Modbus CRC-16檢驗碼第k位元之值,i係為第i次迴圈,d係為輸入資料之位元數,由式(1)運算至式(17)為一迴圈。Referring again to Table 1, Table 1 is a Modbus CRC-16 check code operation method, where m is the variable storing the input data array, and m(j) is the value of the jth bit in the data array. Crc is the variable that stores the Modbus CRC-16 check code array, crc(k) is the value of the kth bit of the Modbus CRC-16 check code, i is the i-th circle, and d is the bit of the input data. The number is calculated from equation (1) to equation (17) as a loop.

以資料長度為32位元為例,迴圈次數為32除以8等於4,設定i等於1,計算式(1),將計算之結果儲入crc矩陣各相對應之暫存器中,隨後計算式(2)至式(17),以得到crc陣列中各元素([c16 c15... c2 c1])之值,即完成第1次迴圈,接著依序設定i等於2、3、4並重複計算式(1)至式(17)。Taking the data length as 32 bits as an example, the number of loops is 32 divided by 8 equals 4, and i is set to 1, the formula (1) is calculated, and the calculated result is stored in the corresponding register of the crc matrix, and then Calculate the formula (2) to (17) to obtain the value of each element ([c16 c15... c2 c1]) in the crc array, that is, complete the first loop, and then sequentially set i equal to 2, 3, 4 and repeat the calculation of the formula (1) to the formula (17).

再請參閱圖二所示,係為Modbus CRC檢驗碼產生方法應用於核能級控制器之通訊系統示意圖,首先輸入任意資料長度,經由Modbus CRC-16檢驗碼程式運算後輸出一Modbus CRC-16檢驗碼,接著將該Modbus CRC-16檢驗碼轉換為硬體描述語言之格式,寫入一核能級控制系統中,當有特定資料位元輸入該核能級控制系統時,則可輸出特定資料位元及一特定Modbus CRC-16檢驗碼。Referring to FIG. 2, the Modbus CRC check code generation method is applied to the communication system diagram of the nuclear energy level controller. First, input any data length, and output a Modbus CRC-16 test after the Modbus CRC-16 check code program operation. Code, then convert the Modbus CRC-16 check code into a hardware description language format, and write it into a nuclear energy level control system. When a specific data bit is input to the nuclear energy level control system, a specific data bit can be output. And a specific Modbus CRC-16 check code.

惟以上所述者,僅為本發明之實施例而已,當不能以之限定本發明所實施之範圍。即大凡依本發明權利要求所作之均等變化與修飾,皆應仍屬於本發明專利涵蓋之範圍內,謹請 貴審查委員明鑑,並祈惠准,是所至禱。However, the above description is only for the embodiments of the present invention, and the scope of the invention is not limited thereto. That is, the equivalent changes and modifications made in accordance with the claims of the present invention should still fall within the scope of the patent of the present invention. I would like to ask your review committee to give a clear understanding and pray for it.

20~28...流程圖20~28. . . flow chart

圖一係為Modbus CRC檢驗碼產生方法流程圖Figure 1 is a flow chart of the Modbus CRC check code generation method.

圖二係為Modbus CRC檢驗碼產生方法應用於核能級控制器之通訊系統示意圖Figure 2 is a schematic diagram of the communication system of the Modbus CRC check code generation method applied to the nuclear energy level controller.

Claims (5)

一種Modbus CRC檢驗碼產生方法,包含下列步驟:A)計算輸入資料長度(d),並將輸入資料長度(d)除以8以得到一迴圈次數,其中該輸入資料長度(d)最小為8位元;B)定義一資料矩陣m=[m(8*d) m(8*d-1) m(8*d-2)...m(3) m(2) m(1)]用以儲存輸入資料,其中m(j)係為輸入資料第j個位元之值;C)定義一檢驗碼矩陣crc=[c16 c15 c14...c3 c2 c1]用以儲存Modbus CRC-16檢驗碼;D)定義一迴圈計數器(i),並令i=1;E)令crc=[crc([1:8])crc([9:16]).*m([1+(i-1)*8:i*8])],其中”.*”代表矩陣兩元素所在位置相乘:F)計算c1=crc(9)*crc(10)*crc(11)*crc(12)*crc(13)*crc(14)*crc(15)*crc(16),c2=crc(10)*crc(11)*crc(12)*crc(13)*crc(14)*crc(15)*crc(16),c3=crc(9)*crc(10),c4=crc(10)*crc(11),c5=crc(11)*crc(12),c6=crc(12)*crc(13),c7=crc(13)*crc(14),c8=crc(14)*crc(15),c9=crc(1)*crc(15)*crc(16),c10=crc(2)*crc(16),c11=crc(3),c12=crc(4),c13=crc(5),c14=crc(6),c15=crc(7),c16=crc(8)*crc(9)*crc(10)*crc(11)*crc(12)*crc(13)*crc(14)*crc(15)*crc(16),其中crc(k)係為Modbus CRC-16 檢驗碼之第k個位元之值;G)檢查迴圈計數器(i)之值是否小於d/8,若是,則將i之值加1(i=i+1),並回到步驟E),若否,則進行下一步驟;H)將計算之結果輸出為一Modbus CRC-16檔案。 A Modbus CRC check code generating method comprises the following steps: A) calculating the input data length (d), and dividing the input data length (d) by 8 to obtain a loop number, wherein the input data length (d) is minimum 8-bit; B) define a data matrix m=[m(8*d) m(8*d-1) m(8*d-2)...m(3) m(2) m(1) ] for storing input data, where m(j) is the value of the jth bit of the input data; C) defining a check code matrix crc=[c16 c15 c14...c3 c2 c1] for storing the Modbus CRC- 16 check code; D) define a loop counter (i) and let i=1; E) let crc=[crc([1:8])crc([9:16]).*m([1+ (i-1)*8:i*8])], where ".*" is multiplied by the position of the two elements of the matrix: F) Calculate c1=crc(9)*crc(10)*crc(11)*crc (12)*crc(13)*crc(14)*crc(15)*crc(16),c2=crc(10)*crc(11)*crc(12)*crc(13)*crc(14) *crc(15)*crc(16),c3=crc(9)*crc(10),c4=crc(10)*crc(11),c5=crc(11)*crc(12),c6=crc (12) *crc(13), c7=crc(13)*crc(14), c8=crc(14)*crc(15), c9=crc(1)*crc(15)*crc(16), C10=crc(2)*crc(16),c11=crc(3),c12=crc(4),c13=crc(5),c14=crc(6),c15=crc(7),c16=crc (8) *crc(9)*crc(10 )*crc(11)*crc(12)*crc(13)*crc(14)*crc(15)*crc(16), where crc(k) is Modbus CRC-16 Check the value of the kth bit of the check code; G) Check if the value of the loop counter (i) is less than d/8, and if so, increase the value of i by 1 (i=i+1) and return to step E. ), if no, proceed to the next step; H) output the result of the calculation as a Modbus CRC-16 file. 如申請專利範圍第1項所述之一種Modbus CRC檢驗碼產生方法,其中在步驟H)之後更包含有一步驟I)將該Modbus CRC-16按照Modbus CRC-16之規則進行轉換與排序,即可得到一Modbus CRC-16格式之硬體描述語言。 A method for generating a Modbus CRC check code according to claim 1, wherein after step H), there is further included a step I) converting and sorting the Modbus CRC-16 according to the rules of Modbus CRC-16. Get a hardware description language in Modbus CRC-16 format. 如申請專利範圍第2項所述之一種Modbus CRC檢驗碼產生方法,其中在步驟H)之後更包含有一步驟J)將該Modbus CRC-16格式之硬體描述語言寫入一設施控制器中。 A method for generating a Modbus CRC check code according to claim 2, wherein after step H), there is further included a step J) writing the hardware description language of the Modbus CRC-16 format into a facility controller. 如申請專利範圍第3項所述之一種Modbus CRC檢驗碼產生方法,其中該設施控制器為一核能級控制器。 A method for generating a Modbus CRC check code according to claim 3, wherein the facility controller is a nuclear energy level controller. 如申請專利範圍第3項所述之一種Modbus CRC檢驗碼產生方法,其中該設施控制器為一核能級控制器之通訊系統。 A method for generating a Modbus CRC check code according to claim 3, wherein the facility controller is a communication system of a nuclear energy level controller.
TW100112049A 2011-04-07 2011-04-07 A modbus crc check code generation method TWI445320B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
TW100112049A TWI445320B (en) 2011-04-07 2011-04-07 A modbus crc check code generation method

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
TW100112049A TWI445320B (en) 2011-04-07 2011-04-07 A modbus crc check code generation method

Publications (2)

Publication Number Publication Date
TW201242263A TW201242263A (en) 2012-10-16
TWI445320B true TWI445320B (en) 2014-07-11

Family

ID=47600272

Family Applications (1)

Application Number Title Priority Date Filing Date
TW100112049A TWI445320B (en) 2011-04-07 2011-04-07 A modbus crc check code generation method

Country Status (1)

Country Link
TW (1) TWI445320B (en)

Also Published As

Publication number Publication date
TW201242263A (en) 2012-10-16

Similar Documents

Publication Publication Date Title
CN103473088B (en) A kind of single-chip microcomputer online upgrading method and system
CN105868106B (en) The test method and test system of ultrasonic device reliability
Yoo et al. A verification framework for FBD based software in nuclear power plants
CN102201022A (en) Method and device for checking field programmable gate array (FPGA)
CN107204782A (en) A kind of implementation method of BCH decoders and the compiler for generating the decoder
US10929273B2 (en) Application logic, and verification method and configuration method thereof
CN101937375B (en) Code and data real-time error correcting and detecting method and device for pico-satellite central processing unit
CN107480056A (en) A kind of method for testing software and device
RU2448363C1 (en) Debugging system
US6963997B2 (en) Transaction logging and intelligent error reporting in an expectation-based memory agent checker
TWI445320B (en) A modbus crc check code generation method
CN203250306U (en) Efficient hardware CRC verifying device
CN110515604A (en) The acquisition methods and device of the executable program file of verification environment
CN109841252A (en) Flash controller and the encoder and encoder being arranged in flash controller
Illiashenko et al. Hardware diversity and modified NUREG/CR-7007 based assessment of NPP I&C safety
KR102535018B1 (en) Graph neural network based plc control logic automatic inspection method
CN108833156A (en) A kind of appraisal procedure and system of the simulation performance index for power telecom network
Butenko Modeling of a reactor trip system using Markov chains: case study
CN112347723B (en) Layout-based ROM code extraction verification method and device
CN204347817U (en) The pseudorandom number generator of integrated CRC check circuit
Ambrosio et al. Designing fault injection experiments using state-based model to test a space software
Björkman et al. Verification of safety logic designs by model checking
Li et al. FPGA-based technologies improving the efficiency of point to point communications in safety-related DCSs
CN104199635A (en) Pseudo-random number generator integrating CRC (cyclic redundancy check) circuit
Shukla et al. Development of smart component based framework for dynamic reliability analysis of nuclear safety systems

Legal Events

Date Code Title Description
MM4A Annulment or lapse of patent due to non-payment of fees