Abstract
Cyclic Redundancy Check (CRC) is an established coding method to ensure a low probability of undetected errors in data transmission. CRC is widely used in industrial field bus systems where communication is often executed through different layers. Some layers have their own CRC and add their own specific data to the net data that is meant to be sent. Up to now, this nesting is not yet included in the safety proof of systems. Hence, additional effort is made to achieve a required degree of safety which was probably on hand but could not be proven. The paper presents an approach to involve the nesting in the calculation of the residual error probability based on methods of coding theory. This approach helps to reduce the number of worst case assumptions in the overall safety proof and finally to reduce the necessary online efforts like the number of parity bits.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
International Electronical Comission: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems. (IEC 61508) (2005)
International Organization for Standardization, International Electrotechnical Commission (ISO/IEC): Information Technology - Open Systems Interconnection - Basic Reference Model: Basic Model (ISO/IEC 7498-1) (1996)
Mattes, T., Pfahler, J., Schiller, F., Honold, T.: Analysis of Combinations of CRC in Industrial Communication. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol. 4680, pp. 329–341. Springer, Heidelberg (2007)
Peterson, W., Weldon, E.J.: Error Correcting Codes. MIT Press, Cambridge (1996)
Schiller, F., Mattes, T.: An Efficient Method to Evaluate CRC-Polynomials for Safety-Critical Communication. Journal of Applied Computer Science 14, 57–80 (2006)
Mac Williams, F.J., Sloane, N.J.A.: Theory of Error-Correcting Codes. North-Holland Mathematical Library, Amsterdam (1991)
Sweeney, P.: Codierung zur Fehlererkennung und Fehlerkorrektur. MIT Press, Cambridge (1996)
Mattes, T.: Untersuchung zur effizienten Bestimmung der Güte von Polynomen für CRC-Codes. University of Trier, Siemens AG, Nuremberg (2004) (in German)
Mattes, T.: Analysis of Nested CRC with Additional Net Data by Stochastic Automata. In: 7th IEEE International Workshop on Factory Communication Systems Communication in Automation, Dresden, Germany, May 20-23, pp. 295–304 (2008)
Mörwald, A.: Analyse der Verschachtelung von CRC-Verfahren in der industriellen Kommunikation. TU München (2007)
Schiller, F., Mattes, T., Büttner, H., Sachs, J.: A New Method to Obtain Sufficient Independency of Nested Cyclic Redundancy Checks. In: 5th International Conference Safety of Industrial Automated Systems, SIAS 2007, Tokyo, Japan, pp. 149–154 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mattes, T., Schiller, F., Mörwald, A., Honold, T. (2008). Analysis of Nested CRC with Additional Net Data in Communication. In: Harrison, M.D., Sujan, MA. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2008. Lecture Notes in Computer Science, vol 5219. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87698-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-87698-4_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87697-7
Online ISBN: 978-3-540-87698-4
eBook Packages: Computer ScienceComputer Science (R0)