[发明专利]一种用于安全苛求系统软件升级的校验方法有效
| 申请号： | 201910404071.0 | 申请日： | 2019-05-16 |
| 公开（公告）号： | CN109918235B | 公开（公告）日： | 2019-07-30 |
| 发明（设计）人： | 黄雷 | 申请（专利权）人： | 上海电气泰雷兹交通自动化系统有限公司 |
| 主分类号： | G06F11/14 | 分类号： | G06F11/14;G06F8/658;G06F11/36 |
| 代理公司： | 上海湾谷知识产权代理事务所(普通合伙) 31289 | 代理人： | 肖进 |
| 地址： | 201206 上海市*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种用于安全苛求系统软件升级的校验方法，包括：从硬件层面拓展至少一个新增计算单元；在冗余单元中的既有计算单元加载既有软件，在新增计算单元加载待升级软件；各既有计算单元和新增计算单元基于相同输入进行计算；根据各既有计算单元的运算结果决定实际输出；将新增计算单元的运算结果与各既有计算单元的的运算结果或由各运算结果产生的既有投票结果进行比较，记录比较日志；离线识别既有软件的预期行为变化；根据预期行为变化和比较日志，判断新增计算单元的行为是否符合预期。从而解决运营系统现场调试有限时间与系统软件升级现场调试时间需求的矛盾。 | ||
| 搜索关键词： | 计算单元 运算结果 系统软件 现场调试 预期行为 校验 加载 日志 升级 待升级软件 记录比较 冗余单元 时间需求 实际输出 投票结果 硬件层面 运营系统 离线 安全 拓展 矛盾 | ||
【主权项】：
1.一种用于安全苛求系统软件升级的校验方法，其特征在于，包括：在X乘N取M系统的冗余单元中，从硬件层面拓展至少一个新增计算单元；其中，X为正整数，N、M均大于等于2，且为整数；在冗余单元中的N个既有计算单元加载既有软件，在新增计算单元加载待升级软件；各既有计算单元和新增计算单元每个运算周期均基于本周期相同输入进行计算；根据各既有计算单元的运算结果决定实际输出，并将各既有计算单元的运算结果或由各运算结果产生的既有投票结果告知新增计算单元；将新增计算单元的运算结果与各既有计算单元的的运算结果或由各运算结果产生的既有投票结果进行比较，并根据比较结果记录比较日志为行为一致或行为不一致；离线识别既有软件针对待升级软件的变更而产生的预期行为变化；根据预期行为变化和比较日志，判断新增计算单元的行为是否符合预期。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于上海电气泰雷兹交通自动化系统有限公司，未经上海电气泰雷兹交通自动化系统有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910404071.0/，转载请声明来源钻瓜专利网。
