CN103885852A - 通过校核字来检查ram的方法 - Google Patents
通过校核字来检查ram的方法 Download PDFInfo
- Publication number
- CN103885852A CN103885852A CN201310064786.9A CN201310064786A CN103885852A CN 103885852 A CN103885852 A CN 103885852A CN 201310064786 A CN201310064786 A CN 201310064786A CN 103885852 A CN103885852 A CN 103885852A
- Authority
- CN
- China
- Prior art keywords
- ram
- word
- check
- line
- checking
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Abstract
本发明公开了一种通过校核字来检查RAM的方法,包括以下步骤:计算并分配好每个检查对象的校验字,并将被检查的对象与校核字相关联;判断RAM检查的校核字是否正确,进而判断RAM地址或存储单元是否正常。本发明可以检查是否所有用于安全数据存储的RAM区地址正确无误,存储单元能够正常读写访问。
Description
技术领域
本发明属于软件算法领域,用于检查安全关键系统中RAM的状况。
背景技术
在工业控制系统和安全信号系统(应用于航空电子、铁路信号、核电等行业)中,所有用于安全数据存储的RAM区必须保证其地址正确无误,存储单元能够正常读写访问。当校核字检查错误时,要启动故障管理机制,及时采取安全措施以避免更为严重的事故发生。
发明内容
本发明所要解决的技术问题是提供一种通过校核字来检查RAM的方法,它可以检查是否所有用于安全数据存储的RAM区地址正确无误,存储单元能够正常读写访问。
为了解决以上技术问题,本发明提供了一种通过校核字来检查RAM的方法,包括以下步骤:计算并分配好每个检查对象的校验字,并将被检查的对象与校核字相关联;判断RAM检查的校核字是否正确,进而判断RAM地址或存储单元是否正常。
本发明的有益效果在于:可以检查是否所有用于安全数据存储的RAM区地址正确无误,存储单元能够正常读写访问。
对于每一个独立的检查对象,校核字是唯一分配的。
所有校核字是由α算法正运算离线生成并且离线分配的。
所有校核字的预处理值是由β算法正运算依据已分配的校核字和被检查的对象离线生成的。
所有校核字的在线运算过程是与其离线生成过程和在线检查过程均无关,但与校核字的预处理值有关,属于β算法逆运算的范畴。
所有校核字的离线生成过程和在线检查过程是与校核字分配的序号相关的,分别属于α算法正运算和逆运算的范畴。
具体还包括以下步骤:
离线预运算阶段,首先采用α算法生成用于RAM检查的校核字,然后根据被检查RAM区的地址,刷新常量校验和,以及预分配的校核字,通过β算法算出该校核字对应的预处理值,该阶段的运算应该离线完成;
在线运算阶段,首先动态刷新RAM区,计算刷新常量校验和,然后根据被检查RAM区的地址,刷新常量校验和,以及离线计算好的预处理值,通过β算法的逆运算算出该RAM区校核字;
在线检查阶段,获得所有在线计算出的RAM校核字,然后根据α算法的逆运算检查这些校核字的正确性,从而确定对应的RAM区是否存在故障。
附图说明
下面结合附图和具体实施方式对本发明作进一步详细说明。
图1是本发明所述通过校核字来检查RAM的总体方法流程图。
具体实施方式
本发明提供一种通过校核字来检查RAM的方法,该算法能够应用于包括但并不局限于安全信号系统、工业控制系统等领域。
本发明事先计算并分配好每个检查对象的校验字,并将被检查的对象(比如地址和存储单元)与校核字相关联,然后在安全操作(或安全输出)前判断RAM检查的校核字是否正确,进而判断RAM地址或存储单元是否正常。
对于每一个独立的检查对象(如每一块独立的内存区),校核字是唯一分配的;
所有校核字是由α算法正运算离线生成并且离线分配的;
所有校核字的预处理值是由β算法正运算依据已分配的校核字和被检查的对象离线生成的;
所有校核字的在线运算过程是与其离线生成过程和在线检查过程均无关,但与校核字的预处理值有关,属于β算法逆运算的范畴;
所有校核字的离线生成过程和在线检查过程是与校核字分配的序号相关的,分别属于α算法正运算和逆运算的范畴;
根据图1所示,该检查方法可以分为以下三个阶段。
1)离线预运算阶段,首先采用α算法生成用于RAM检查的校核字,然后根据被检查RAM区的地址,刷新常量校验和,以及预分配的校核字,通过β算法算出该校核字对应的预处理值,该阶段的运算应该离线完成;
2)在线运算阶段,首先动态刷新RAM区,计算刷新常量校验和,然后根据被检查RAM区的地址,刷新常量校验和,以及离线计算好的预处理值,通过β算法的逆运算算出该RAM区校核字。
3)在线检查阶段,获得所有在线计算出的RAM校核字,然后根据α算法的逆运算检查这些校核字的正确性,从而确定对应的RAM区是否存在故障。
以上三个阶段如果能够从硬件上独立,比如每个阶段都采用不同的CPU来完成,则可以达到更充分的检查目的。
相关算法说明如下:
α算法及其逆运算可表示为:
CheckWordi=α(Seed,i);
Seed=α-1(CheckWordi,i);
β算法及其逆运算可表示为:
PreconditionValuei=β(CheckWordi,Addr,CheckSum);
CheckWordi=β-1(PreconditionValuei,Addr,CheckSum);
α算法和β算法不需要特定的算法,但这两个算法本身应该是相异的。为了保证校核字生成和校验过程的正确性,α算法推荐采用随机数(Seed)按照校核字的分配序号进行循环移位的方式来生成校核字,然后采用其逆运算进行校验;β算法推荐采用多项式除法(如CRC算法)根据被检查项和预分配的校核字来计算预处理值,然后采用其逆运算计算校核字。其它非推荐算法也可以实现同样的功能。
本发明并不限于上文讨论的实施方式。以上对具体实施方式的描述旨在于为了描述和说明本发明涉及的技术方案。基于本发明启示的显而易见的变换或替代也应当被认为落入本发明的保护范围。以上的具体实施方式用来揭示本发明的最佳实施方法,以使得本领域的普通技术人员能够应用本发明的多种实施方式以及多种替代方式来达到本发明的目的。
Claims (7)
1.一种通过校核字来检查RAM的方法,其特征在于,包括以下步骤:
计算并分配好每个检查对象的校验字,并将被检查的对象与校核字相关联;
判断RAM检查的校核字是否正确,进而判断RAM地址或存储单元是否正常。
2.如权利要求1所述的通过校核字来检查RAM的方法,其特征在于,对于每一个独立的检查对象,校核字是唯一分配的。
3.如权利要求2所述的通过校核字来检查RAM的方法,其特征在于,所有校核字是由α算法正运算离线生成并且离线分配的。
4.如权利要求3所述的通过校核字来检查RAM的方法,其特征在于,所有校核字的预处理值是由β算法正运算依据已分配的校核字和被检查的对象离线生成的。
5.如权利要求4所述的通过校核字来检查RAM的方法,其特征在于,所有校核字的在线运算过程是与其离线生成过程和在线检查过程均无关,但与校核字的预处理值有关,属于β算法逆运算的范畴。
6.如权利要求5所述的通过校核字来检查RAM的方法,其特征在于,所有校核字的离线生成过程和在线检查过程是与校核字分配的序号相关的,分别属于α算法正运算和逆运算的范畴。
7.如权利要求6所述的通过校核字来检查RAM的方法,其特征在于,包括以下步骤:
离线预运算阶段,首先采用α算法生成用于RAM检查的校核字,然后根据被检查RAM区的地址,刷新常量校验和,以及预分配的校核字,通过β算法算出该校核字对应的预处理值,该阶段的运算应该离线完成;
在线运算阶段,首先动态刷新RAM区,计算刷新常量校验和,然后根据被检查RAM区的地址,刷新常量校验和,以及离线计算好的预处理值,通过β算法的逆运算算出该RAM区校核字;
在线检查阶段,获得所有在线计算出的RAM校核字,然后根据α算法的逆运算检查这些校核字的正确性,从而确定对应的RAM区是否存在故障。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310064786.9A CN103885852B (zh) | 2013-03-01 | 2013-03-01 | 通过校核字来检查ram的方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201310064786.9A CN103885852B (zh) | 2013-03-01 | 2013-03-01 | 通过校核字来检查ram的方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN103885852A true CN103885852A (zh) | 2014-06-25 |
CN103885852B CN103885852B (zh) | 2017-03-15 |
Family
ID=50954760
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201310064786.9A Active CN103885852B (zh) | 2013-03-01 | 2013-03-01 | 通过校核字来检查ram的方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103885852B (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107844384A (zh) * | 2016-09-20 | 2018-03-27 | 卡斯柯信号有限公司 | 一种联锁安全数据的生成方法 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5598530A (en) * | 1993-02-16 | 1997-01-28 | Fujitsu Limited | Method and apparatus for controlling using checksums execution of object programs |
CN101376393A (zh) * | 2008-09-25 | 2009-03-04 | 卡斯柯信号有限公司 | 铁路信号系统中故障容错的安全处理器 |
CN101515242A (zh) * | 2009-03-16 | 2009-08-26 | 中兴通讯股份有限公司 | 一种查找改写内存的任务的方法和系统 |
CN102799494A (zh) * | 2012-08-29 | 2012-11-28 | 南车株洲电力机车研究所有限公司 | 一种校验内存中应用程序的方法和装置 |
-
2013
- 2013-03-01 CN CN201310064786.9A patent/CN103885852B/zh active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5598530A (en) * | 1993-02-16 | 1997-01-28 | Fujitsu Limited | Method and apparatus for controlling using checksums execution of object programs |
CN101376393A (zh) * | 2008-09-25 | 2009-03-04 | 卡斯柯信号有限公司 | 铁路信号系统中故障容错的安全处理器 |
CN101515242A (zh) * | 2009-03-16 | 2009-08-26 | 中兴通讯股份有限公司 | 一种查找改写内存的任务的方法和系统 |
CN102799494A (zh) * | 2012-08-29 | 2012-11-28 | 南车株洲电力机车研究所有限公司 | 一种校验内存中应用程序的方法和装置 |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107844384A (zh) * | 2016-09-20 | 2018-03-27 | 卡斯柯信号有限公司 | 一种联锁安全数据的生成方法 |
Also Published As
Publication number | Publication date |
---|---|
CN103885852B (zh) | 2017-03-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN101599046B (zh) | 一种内存检测方法及装置 | |
US9436548B2 (en) | ECC bypass using low latency CE correction with retry select signal | |
US8843806B2 (en) | Dynamic graduated memory device protection in redundant array of independent memory (RAIM) systems | |
US8572455B2 (en) | Systems and methods to respond to error detection | |
CN106062723A (zh) | 禁用与存储器设备相关联的命令 | |
CN104484250A (zh) | 快速通道互联总线的压力测试方法和压力测试装置 | |
US10248497B2 (en) | Error detection and correction utilizing locally stored parity information | |
Kim et al. | Relaxfault memory repair | |
CN103885850B (zh) | 存储器在线检查系统及方法 | |
CN103885852B (zh) | 通过校核字来检查ram的方法 | |
CN103150227B (zh) | 基于冗余编码的变量签名唯一性安全处理方法 | |
CN1896959A (zh) | 一种静态数据存储的纠错编码装置 | |
CN111010258B (zh) | 一种基于编码的计算机联锁系统通信方法 | |
CN103823637B (zh) | 一种数据处理方法及设备 | |
Enshaee et al. | Approach to evaluate active loss contributions for transmission systems | |
CN106383751A (zh) | 一种改进的随机存取内存自检方法 | |
Shi et al. | Reliability estimation for hybrid system under constant-stress partially accelerated life test with progressively hybrid censoring | |
CN109947590A (zh) | 一种汽车电子系统中数据冗余校验的方法 | |
Liu et al. | Practical Methods of Defective Input Feature Correction to Enable Machine Learning in Power Systems | |
Su et al. | Forecast model for real time reliability of storage system based on periodic inspection and maintenance data | |
CN203164958U (zh) | 一种数据容灾备份装置 | |
Alshammari et al. | Optimal Technique of reliability and quality Assessment of two-area interconnected power systems | |
CN103514062A (zh) | 应用于计算机联锁系统的动态编码方法 | |
CN114687957A (zh) | Cms振动数据质量检测的方法及其系统及计算机可读存储介质 | |
Kumar | Application of Markov Modeling in soap making plant: A Case study |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant |