当前位置:首页 > 公众号精选 > 嵌入式微处理器
[导读]在嵌入式产品应用中,常常需要应对系统数据在存储或者传输过程中的完整性问题。所谓完整性是指数据在其生命周期中的准确性和一致性。这些数据可能存储在EEPROM/FLASH里,或者基于通信协议进行传输,它们有可能因为外界干扰或者程序错误,甚至系统入侵而导致被破坏。如果这些数据在使用前不做校验,产品功能可能失效。在一些特定领域,严重时可能会危及用户财产甚至生命安全。本文就来聊聊使用较为广泛的循环冗余校验技术,以及在STM32中的一些具体使用体会。

在嵌入式产品应用中,常常需要应对系统数据在存储或者传输过程中的完整性问题。

所谓完整性是指数据在其生命周期中的准确性和一致性。这些数据可能存储在EEPROM/FLASH里,或者基于通信协议进行传输,它们有可能因为外界干扰或者程序错误,甚至系统入侵而导致被破坏。如果这些数据在使用前不做校验,产品功能可能失效。在一些特定领域,严重时可能会危及用户财产甚至生命安全。

本文就来聊聊使用较为广泛的循环冗余校验技术,以及在STM32中的一些具体使用体会。



所谓循环冗余校验(CRC:Cyclic Redundancy Check)是一种错误检测算法,通常在通信协议中或存储设备中用于检测原始数据的意外变动。可以简单理解成对有用数据按照一定的算法进行计算后,提取出一个特征值,并附加在有用数据后。在应用中将有用数据按照特定的算法提取特征值与预先存储的特征值进行比对,如相等则校验通过,反之校验失败,从而识别出数据是否异常。

为何要校验数据完整性(Data Integrity)?


数据在存储以及传输的过程中可能发生异动。以数据通信应用场景为例,常见的错误大致有两种失效模式:

  • 单个位错误(Single Bit Error):仅仅某一个数据位出现错误,如图:



  • 突发错误(BurstError):两个或更多个数据位在码流中出现错误,如图:



为什么可能会出现这些位错误呢?对于电子系统通信,它涉及到物理层、链路层、通信介质等,其中物理层主要将原始二进制数据利用一定的编解码原理对其进行调制,然后经由发送电路将调制信号输送至传输介质,接收端利用接收电路进行接收并解调,将信息还原成二进制码流。在这个过程中介质有可能被干扰,接收电路、发送电路、调制电路、解调电路都可能由于某些干扰原因导致工作失效而出现误码。此时,如果没有一个很好的机制去确保数据的正确性,比如一个飞控系统中某些控制命令、车辆系统中CAN报文数据,系统直接使用这些错误数据去控制被控对象(比如电机、发动机等),严重的时候就会造成难以估量的生命财产灾难。


存储系统中的数据也是一样。一般来说,系统在上电运行时会从物理存储介质装载系统参数,比如一些校准数据。如果由于介质的某些位被破坏,或者软件bug导致数据被误操作了,而没有数据完整性检测,这样的数据直接被应用于系统控制,一样会造成安全隐患。


所以,对于数据完整性检测的重要性不言而喻。常见的数据完整性算法有很多种,比如简单的异或校验、CRC循环冗余校验、FEC前向纠错算法等等。而循环冗余校验在嵌入式系统中应用非常广泛,在通信协议制定、数据存储、压缩解压算法等都有广泛的应用。


循环冗余校验使用二进制除法作为算法原理,具有强大的错误检测机制。对于二进制除法使用少量的硬件逻辑电路就可实现。至于软件代码实现,有查表法和移位计算两种思路及策略。查表法以空间换时间,移位计算法以时间换空间。


何为循环冗余校验?

循环冗余校验的核心数学算法原理基于循环码,在不增加原始数据的信息基础上扩展了信息,以极小的存储代价存储其冗余特征。该算法是W. Wesley Peterson 于1961年发明的。



  • 这里的n位二进制数据为有效信息载荷。(可能是传输或存储的有用信息)

  • 根据CRC算法计算出m位冗余码,即根据该CRC校验多项式结合CRC算法从前面有效数据中提取出特征冗余码,这就是冗余的真实含义。

  • 实际传输或者存储的就是n+m位二进制数据。

这里引出一个概念:多项式,在CRC校验算法中多项式可做如下理解及表示:




其本质就是多进制的数学表示法,这里是二进制,故X为2。

其基本的算法处理过程示意如下:



假定待发送有效数据为二进制多项式M(x),而校验多项式P(x)为收发双方约定好了的,双方已知,这里介绍一下几个多项式表示的意思及相关处理流程:


接收方接收到数据后进行CRC校验。余数为0,校验通过。

其实CRC的本质就是二进制多项式除法求取冗余码的计算过程,无论软件的查表法、移位计算法,还是纯硬件逻辑电路实现,本质都是一样的。对于数字逻辑电路利用移位计算则更具优势,因为几乎不占用CPU时间。


常见的CRC校验多项式

常见的CRC校验多项式算子有哪些?

不同的校验多项式,除了复杂度有差异外,从应用角度看有什么差异呢?从应用角度看主要体现在错误诊断率。不妨看看CRC-16以及CRC-CCITT的错误检测效果:

  • 可完全检测出单bit及双bit错误

  • 奇数个位错误

  • 能检测出16位长度及小于16的突发错误

  • 能以99.997%的概率检测出长度为17位及以上的错误


选择不同的校验多项式算子,其位错误诊断成功率是不一 样的,当然其计算开销也不一样。我们来查查权威的IEC标准看看。下图截自《IEC61508-7》。


由上文可见,CRC-8可诊断出99.6%的位错误概率,而CRC-16则提高至99.998%的位错误概率。

注:IEC61508是国际电工委员会功能安全标准(Functional safety of electrical/electronic/programmable electronicsafety-related systems)。


技术发展至今,已有大量不同的校验多项式生成器被各行各业使用。下面是来自wikipedia截图,供大家参考:



STM32的CRC硬件外设

如下图,STM32内置了一个CRC-32硬件计算单元,实现了一个固定多项式0x4C11DB7(16进制表示),可应用于以太网报文校验码计算。



STM32 全系列产品都具有 CRC 外设,对 CRC 的计算提供硬件支持,节省了应用代码存储空间。CRC 校验值既可以用于传输中的数据正确性验证,也可用于数据存储时的完整性检查。在 IEC60335 中,也接受通过 CRC 校验对 FLASH 的完整性进行检查。在对 FLASH 完整性检查的应用中,需要事先计算出整个 FLASH 的 CRC 校验值(不包括最后保存CRC 值的字节),放在FLASH 的末尾。在程序启动或者运行的过程中重新用同样的方法计算整个 FLASH 的 CRC 校验值,然后与保存在 FLASH 末尾地址空间的 CRC 值进行比较。


EWARM 从 v5.5 版本之后开始支持 STM32 芯片的 CRC计算。计算整个 FLASH的 CRC 校验值并保存在 FLASH末尾的过程,可以在 IAR 中完成。通过配置EWARM 的 CRC 计算参数,自动对整个 FLASH 空间进行 CRC 计算,并将计算结果放到 内部FLASH空间 的末尾。


或许你会问,这有什么应用价值呢?不妨以基于MCU程序的升级为例。在代码升级过程中,如果不对bootloader升级接口传入的二进制程序文件做校验,就无法及时发现升级过程中发生的代码错误。相反,如果原始代码添加了校验码,升级程序在接受到升级文件后做校验计算,并与待升级文件末尾的校验码进行比对,如果不匹配则放弃升级,这样就不至于将无效的甚至有安全隐患的代码写进芯片。


  • 修改 Link 文件,指定 checksum 在FLASH 中的存储位置,在 Link 文件中增加下面语句。

place at end of ROM_region { ro section .checksum };    

该语句指定将 CRC 的值放在 FLASH 空间的末尾位置。是整个 FLASH 空间的末尾,不是应用程序的代码末尾。这样,CRC 值的位置就是固定的,不会随代码大小而变化。 


  • 置 Checksum 页面的参数

IAR Checksum 页说明(v6.4 及以上)


IAR 的 checksum 页面分为两个部分:

  • 红线圈出的部分:定义了FLASH 中需要计算 CRC 的范围和空闲字节填充值。

  • checksum 计算参数的设定部分:
    Checksum size :选择 checksum 的大小(字节数)
    Alignment:指定 checksum 的对齐方式。不填的话默认 2 字节对齐。

    Algorithm:选择 checksum 的算法

    Complement:是否需要进行补码计算。选择“As is”就是不进行补码计算。

    Bit order:位输出的顺序。MSB first,每个字节的高位在前。LSB first,每个字节的低位在前。

    Reverse byte order within word:对于输入数据,在一个字内反转各个字节的顺序。

    Initial value:checksum 计算的初始化值 

    Checksum unit size :选择进行迭代的单元大小,按 8-bit,16-bit 还是 32-bit 进行迭代。


  • STM32 CRC 外设使用默认配置时 IAR 的配置

STM32CRC 外设的配置:

POLY= 0x4C11DB7(CRC32) 

Initial_Crc = 0Xffffffff 

输入/输出数据不反转 

输入数据:0x08000000~0x0801FFFB。(最后 4 个字节用来放计算出的 CRC 值)


在实验的过程发现, ”Alignment ”似乎对计算出的 CRC 值没有影响。但“Reverse byte order within word ”与“Checksumunit size ”这两项的配置有一定关系。如果后者选择 32-bit,则不能勾选前者;反之如果后者选择 8-bit,则一定要勾选上“ Reverse byte order within word ”。也可以参照下图进行设置:


对于IAR v6.4 以下版本,没有”Checksum unit size”选项。参考配置如下:



代码怎么写?

如前文 描述,这 个应用可以用于对 Flash 中数据进行校验,参考代码如下:

/*-1- 配置CRC外设 */  CrcHandle.Instance = CRC;   /* 默认二进制多项式使能 */  CrcHandle.Init.DefaultPolynomialUse = DEFAULT_POLYNOMIAL_ENABLE;   /* 默认初值设置 */  CrcHandle.Init.DefaultInitValueUse = DEFAULT_INIT_VALUE_ENABLE;   /* 输入数据不反转 */  CrcHandle.Init.InputDataInversionMode = CRC_INPUTDATA_INVERSION_NONE; 
/* 输出数据不反转 */ CrcHandle.Init.OutputDataInversionMode = CRC_OUTPUTDATA_INVERSION_DISABLED; /* 输入数据基本单元长度为32bit */ CrcHandle.InputDataFormat = CRC_INPUTDATA_FORMAT_WORDS; if (HAL_CRC_Init(&CrcHandle) != HAL_OK) { /* 初始化错误 */ Error_Handler(); } pdata = (uint32_t*)ROM_START; /*##-2- 调用HAL库利用硬件CRC外设对ROM区计算CRC-32校验码*/ uwCRCValue = HAL_CRC_Calculate(&CrcHandle, pdata, ROM_SIZEinWORDS);


小结

对于 CRC 应用,还可以根据多项式算子编写纯软件方案,网上有很多现成的代码。 其基本思路无外乎查表法以及移位计算法。 差异在于一个牺牲存储空间以换取计算效率,一个牺牲计算时间而节省存储空间,至于如何选择,则根据所设计的系统综合考虑,一般根据应用场景来定。
  • 将块数据利用CRC算法计算出冗余码,有的文章、标准称这个冗余码为签名。实际应用时计算有效数据所得校验码与预存校验码进行比较,相等则校验通过,反之则失败。当然,也可以将原数据与所存校验码一起传入校验算法,所得结果为0则校验通过,反之失败。
  • 对于数据通信,一般会在报文的尾部添加有效数据的校验码,再由接收方校验收到报文的数据完整性。


-END-


来源 | STM32
作者 | 逸君

整理文章为传播相关技术,版权归原作者所有 |
如有侵权,请联系删除 |

【1】STM32如何配置外部中断?
【2】STM32单片机:独立看门狗、窗口看门狗的配置
【3】使用KeilMDK以及标准外设库创建STM32工程的详细过程
【4】编码器是什么?STM32编码器接口及应用编程
【5】STM32学了很久,为什么还是不会做项目?



免责声明:本文内容由21ic获得授权后发布,版权归原作者所有,本平台仅提供信息存储服务。文章仅代表作者个人观点,不代表本平台立场,如有问题,请联系我们,谢谢!

嵌入式ARM

扫描二维码,关注更多精彩内容

本站声明: 本文章由作者或相关机构授权发布,目的在于传递更多信息,并不代表本站赞同其观点,本站亦不保证或承诺内容真实性等。需要转载请联系该专栏作者,如若文章内容侵犯您的权益,请及时联系本站删除。
换一批
延伸阅读

NVIDIA 量子模拟平台将通过各大云提供商提供,帮助科学家推进量子计算和算法研究

关键字: 量子计算 算法 量子云

随着科技的飞速发展,人工智能(AI)已经成为当今科技研究的热点和前沿。AI的快速发展不仅带来了许多新的应用场景和商业模式,也在推动科技进步的同时,引发了一系列关于其未来发展方向和潜在影响的深入讨论。本文将对人工智能的科技...

关键字: 人工智能 AI技术 算法

机器学习算法:机器学习是一种让计算机通过学习数据和模式来改进自身算法的技术。这些算法包括监督学习、无监督学习和强化学习。

关键字: 人工智能 机器学习 算法

随着信息技术的快速发展,机器学习作为人工智能的核心技术之一,正逐渐渗透到各个领域,引领着一场前所未有的科技变革。在机器学习的实际应用中,有三大重点至关重要,它们分别是数据质量、算法选择与模型评估。本文将深入探讨这三大重点...

关键字: 机器学习 数据质量 算法

在人工智能的浪潮中,机器学习已逐渐成为推动科技进步的核心动力。机器学习技术的广泛应用,从图像识别到自然语言处理,从智能推荐到自动驾驶,都离不开其三个基本要素:数据、算法和模型。本文将深入探讨这三个基本要素在机器学习中的作...

关键字: 机器学习 算法 人工智能

随着信息技术的迅猛发展,机器学习作为人工智能的核心技术之一,已经深入到了各个领域,为我们的生活和工作带来了翻天覆地的变化。无论是智能语音助手、自动驾驶汽车,还是个性化推荐、疾病预测,这些令人惊叹的应用背后,都离不开机器学...

关键字: 机器学习 人工智能 算法

机器学习的方法是指利用统计学方法和算法让计算机自动学习模式和规律,并通过数据进行预测和决策的一门学科。机器学习的主要目标是让计算机能够从数据中自我学习,通过训练模型来提高自身的性能。机器学习的方法可以从高层次上分为监督学...

关键字: 机器学习 算法

机器学习算法可以分为有监督学习、无监督学习、深度学习和强化学习等几种类型。每种类型都有其独特的优点和缺点。

关键字: 机器学习 算法

机器学习算法是指从大量历史数据中挖掘出其中隐含的规律,并用于回归(预测)或者分类的算法。机器学习是一种实现人工智能的方法,它使用模型来进行预测和推断。模型通过学习大量数据中的模式来提高预测准确性和分类准确性。机器学习算法...

关键字: 机器学习 算法

人工智能(AI)作为当今科技领域的核心驱动力,已经引起了全球范围内的广泛关注。随着算法的突破、数据量的增长以及计算能力的提升,AI技术正在以前所未有的速度发展。本文将深入探讨人工智能目前的发展现状,包括主要的技术进展、应...

关键字: 人工智能 算法 应用领域
关闭
关闭