Computation of the weight distribution of CRC codes

In this article, we illustrate an algorithm for the computation of the weight distribution of CRC codes. The recursive structure of CRC codes will give us an iterative way to compute the weight distribution of their dual codes starting from some "representative” words. Thanks to MacWilliams' Theorem, the computation of the weight distribution of the dual codes can be easily brought back to that of CRC code

Quantitative Assessment of Safety Integrity Level of Message Transmission Between Safety-Related Equipment

This paper describes and analyses the possibilities of a quantitative assessment of message transmission between safety-related equipment for control and communication systems with a guarantee of a higher safety integrity level (SIL). The theoretical methods and standards recommended for industrial safety-related control, information and communication systems with SIL3 are described. The main part of the contribution covers theoretical methods and practical procedures used within a safety analysis of safety-related message transmission with the requirement of SIL4 for the area of railway interlocking systems. The theoretical analysis of these methods is compared with the knowledge and experience, the authors gained within several safety verifications of such systems in practice in Slovakia as well as abroad. Also, based on a case study in the mentioned application area, the authors proposed their own quantitative mathematical model for assessing the safety integrity level of message transmission within a closed transmission system with the failure tree analysis (FTA) and Markov's analysis (MA). The designed model, which evaluates the effect of electromagnetic interferences (EMI) and random hardware failures of a safety-related communication system (SRComS) to its safety, was realised and verified. The verification in available conditions confirmed the contribution of the model to the process of objectification of the safety assessment of message transmission via SRComS

Computation of the weight distribution of CRC codes

In this article, we illustrate an algorithm for the computation of the weight distribution of CRC codes. The recursive structure of CRC codes will give us an iterative way to compute the weight distribution of their dual codes starting from some “representative” words. Thanks to MacWilliams’ Theorem, the computation of the weight distribution of the dual codes can be easily brought back to that of CRC codes