Safety proof of Combinations of CRC for Industrial Communication

• Autorzy: Mattes T. , Schiller F. , Morwald A. , Pfahler J. , Honold T.
• Języki publikacji: EN

Abstrakty

EN

Cyclic Redundancy Check (CRC) is an established coding method to ensure a low probability of undetected errors (residual error probability, Pre) in industrial communication. Since CRC is very efficient it is obvious to analyze combinations of CRC in order to decrease Pre and to reduce equipment costs. The contribution presents results of analysis of four combinations of CRC. It is shown by means of examples, that Pre can be decreased by choosing the right combination. Especially, the correct determination of Pre of nested CRC in communication layers is explained. It allows the reduction of worst case assumptions in safety proofs.

Słowa kluczowe

EN

coding method; CRC; Cyclic Redundancy Check

PL

metoda kodowania; CRC

• Wydawca: Wydawnictwo Politechniki Łódzkiej
• Czasopismo: Journal of Applied Computer Science
• Rocznik: 2008
• Tom: Vol. 16, nr 1
• Strony: 15--32
• Opis fizyczny: Bibliogr. 14 poz.

Twórcy

autor

Mattes T.

autor

Schiller F.

autor

Morwald A.

autor

Pfahler J.

autor

Honold T.

• Technische Universitat Munchen Institute of Information Technology in Mechanical Engineering, Boltzmannstr. 15, D-85748 Garching near Munich, Germany,

Bibliografia

• [1] International Electrotechnical Commission: Functional Safety of Electrical/ Electronic/Programmable Electronic Safety-related Systems (IEC 61508), 2005.
• [2] Baicheva T., Dodunekov S., Kazakov P.: On the cyclic redundancy-check codes with 8-bit redundancy, Computer Communication, Vol. 21, pp. 1030-1033, 1998.
• [3] International Organization for Standardization, International Electrotechnical Commission (ISO/IEC): Information Technology – Open Systems Interconnection – Basic Reference Model: The Basic Model, (ISO/IEC 7498-1), 1996.
• [4] Peterson W., Weldon E.J.: Error Correcting Codes, MIT Press, 1996.
• [5] Mattes T.: Untersuchungen zur effizienten Bestimmung der Güte von Polynomen für CRC-Codes, diploma thesis, Univ. of Trier, Siemens AG, Nuremberg, 2004.
• [6] Pfahler J.: Analyse von Kombinationen von Fehleraufdeckungsverfahren in der industriellen Communication, diploma thesis, TU Munich, 2006.
• [7] Mac Williams F.J., Sloane N.J.A.: The Theory of Error-Correcting Codes, North- Holland Mathematical Library, 1991.
• [8] Heise W., Quattrocchi P.: Informations- und Codierungstheorie, 3. Auflage, Springer 1995.
• [9] Schiller F., Mattes T.: An Efficient Method to Evaluate CRC-Polynomials for Safety-Critical Industrial Communication, Journal of Applied Computer Science, Vol. 14, 1/2006, Technical University Press, Łódź, Poland, pp. 57-80, 2006.
• [10] Schiller F., Mattes T.: Analysis of CRC-Polynomials for Safety-Critical Communication by Deterministic and Stochastic Automata, 6th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS 2006, Beijing, China, pp. 1003-1008, 2006.
• [11] Stripf W., Barthel H.: PROFIsafe – Safety Technology with PROFIBUS, in R. Żurawski (Ed.): The Industrial Information Technology Handbook, pp. 1-20, CRC Press, 2005.
• [12] Mattes T., Pfahler J., Schiller F., Honold T.: Analysis of Combinations of CRC in Industrial Communication, 26th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2007, pp. 329-341, 2007.
• [13] Mörwald A.: Analyse der Verschachtelung von CRC-Verfahren in der industriellen Kommunikation, diploma thesis, TU Munich, 2007.
• [14] Schiller F., Mattes T.: Analysis of Nested CRC with Additional Net Data by Means of Stochastic Automata for Safety-critical Communication, IEEE Int. Workshop on Factory Communication Systems, WFCS 2008, pp. 295-304, Dresden, Germany, 2008.