【技术实现步骤摘要】
本公开的实施例涉及用于监视实现安全功能的最终用户应用软件的执行的软件锁步方案，更特别地，基于非对称片上系统(soc)。
技术介绍
1、在基于非对称soc的功能安全兼容应用中，需要管理影响双非对称计算机处理单元(cpu)的永久性和瞬态故障。
2、第一解决方案是硬件解决方案，但要求soc是采用硬件构建的锁步方案来设计的。
3、但如果soc尚未明确使用硬件构建的锁步方案设计用于安全应用，那么该解决方案必须通过软件手段实现。
4、由于该解决方案与最终用户应用软件紧密耦合，因此在技术上无法提供标准的软件解决方案。
5、因此，需要提供一种软件体系架构，使最终客户能够在具有并非用硬件构建的锁步方案开发的双非对称cpu的soc上实现基于软件的锁步解决方案。
技术实现思路
1、根据实施例，提出了在对原始最终用户应用软件进行最小修改的情况下构建高效且优化的基于软件的锁步的方式。
2、根据实施例，提出了一种软件体系架构，其在假设的目标soc类别上的优化...
【技术保护点】
1.一种监视实现安全功能的应用软件的执行的方法，包括在双非对称处理单元结构上实现基于软件的锁步，所述双非对称处理单元结构包括第一处理单元和第二处理单元，由于非对称性，第二处理单元相对于第一处理单元具有不同的硬件结构或较低的计算能力，其中所述方法包括：
2.如权利要求1所述的方法，其中第一运行时软件在当前迭代处接收第一当前输入数据向量和第一当前状态变量向量，并且传递第一当前输出数据向量和第一当前更新状态变量向量，它们将分别是用于下一次迭代的下一个输入数据向量和下一个状态变量向量，并且其中检查处理包括：
3.如权利要求2所述的方法，其中检查处理还包
4...
【技术特征摘要】
1.一种监视实现安全功能的应用软件的执行的方法，包括在双非对称处理单元结构上实现基于软件的锁步，所述双非对称处理单元结构包括第一处理单元和第二处理单元，由于非对称性，第二处理单元相对于第一处理单元具有不同的硬件结构或较低的计算能力，其中所述方法包括：
2.如权利要求1所述的方法，其中第一运行时软件在当前迭代处接收第一当前输入数据向量和第一当前状态变量向量，并且传递第一当前输出数据向量和第一当前更新状态变量向量，它们将分别是用于下一次迭代的下一个输入数据向量和下一个状态变量向量，并且其中检查处理包括：
3.如权利要求2所述的方法，其中检查处理还包括：
4.如权利要求3所述的方法，其中检查处理还包括，在当前时间间隔期间：
5.如权利要求2所述的方法，其中检查处理还包括，在当前时间间隔期间：
6.如权利要求2所述的方法，其中检查处理还包括在步骤d)和/或步骤f)和/或步骤i)不匹配的情况下和/或在步骤l)处检查不成功的情况下，传递错误信号。
7.如权利要求6所述的方法，还包括，虽然传递了错误信号，但在序列的下一个时间间隔重复检查处理。
8.如权利要求3所述的方法，其中检查处理还包括在步骤d)和/或步骤f)和/或步骤i)不匹配的情况下和/或在步骤l)处检查不成功的情况下，传递错误信号。
9.如权利要求8所述的方法，还包括，虽然传递了错误信号，但在序列的下一个时间间隔重复检查处理。
10.如权利要求4所述的方法，其中检查处理还包括在步骤d)和/或步骤f)和/或步骤i)不匹配的情况下和/或在步骤l)处检查不成功的情况下，传递错误信号。
11.如权利要求10所述的方法，还包括，虽然传递了错误信号，但在序列的下一个时间间隔重复检查处理。
12.如权利要求5所述的方法，其中检查处理还包括在步骤d)和/或步骤f)和/或步骤i)不匹配的情况下和/或在步骤l)处检查不成功的情况下，传递错误信号。
13.如权利要求12所述的方法，还包括，虽然传递了错误信号，但在序列的下一个时间间隔重复检查处理。
14.一种片上系统，包括双非对称处理单元结构，所述双非对称处理单元结构包括第一处理单元和第二处理单元，...
【专利技术属性】
技术研发人员：亚历山德罗·巴斯托尼，
申请(专利权)人：意法半导体国际公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。