功能安全型系统内部安全通信协议的实现与安全完整性的证明
|
摘要
功能安全型系统的内部安全通信协议,在系统认证过程中,一般需要独立认证。本文介绍了一种安全通信协议的具体实现方法。通信基于CAN总线,采用黑通道的理念,安全层协议独立于黑通道,而黑通道的通信误码率则通过实验的方式获得。通信的安全完整性,通过CRC校验和数据比较的方式,满足SIL3的要求。文中论述了漏检率的定量计算方法,并给出了计算结果。
The internal safety communication protocol of the functional safety system usually needs independent authentication in the process of system authentication. This paper presents a concrete implementation of safety communication protocol. Communication based on CAN bus, using the concept of black channel, safety layer protocol is independent of the black channel, and the black channel communication error rate is obtained through experimental means. The safety integrity of the communication, by the way of the CRC checksum and data comparison, to meet the SIL3. In this paper, the quantitative calculation method of leakage rate is discussed, and the calculation results are given.
The internal safety communication protocol of the functional safety system usually needs independent authentication in the process of system authentication. This paper presents a concrete implementation of safety communication protocol. Communication based on CAN bus, using the concept of black channel, safety layer protocol is independent of the black channel, and the black channel communication error rate is obtained through experimental means. The safety integrity of the communication, by the way of the CRC checksum and data comparison, to meet the SIL3. In this paper, the quantitative calculation method of leakage rate is discussed, and the calculation results are given.
引文
[1]IEC 61508 Functional safety of electrical/electronic/programmable electronic safety-related systems[S].International Electrotechnical Commission,Geneva,Switzerland,2010.
[2]GB/T 15969.5可编程序控制器,第5部分:通信[S].中华人民共和国国家质量监督检验检疫总局.2002.
[3]IEC 61784-3 Industrial communication networks-ProfilesPart 3:Functional safety fieldbuses-General rules and profile definitions[S].International Electrotechnical Commission,Geneva,Switzerland,2010.
[4]CAN Specification[Z].Robert Bosch Gmb H.1991.
[2]GB/T 15969.5可编程序控制器,第5部分:通信[S].中华人民共和国国家质量监督检验检疫总局.2002.
[3]IEC 61784-3 Industrial communication networks-ProfilesPart 3:Functional safety fieldbuses-General rules and profile definitions[S].International Electrotechnical Commission,Geneva,Switzerland,2010.
[4]CAN Specification[Z].Robert Bosch Gmb H.1991.