[发明专利]电子系统和在该电子系统中执行程序的方法有效
申请号: | 201580053999.9 | 申请日: | 2015-07-31 |
公开(公告)号: | CN107003912B | 公开(公告)日: | 2020-09-08 |
发明(设计)人: | R.马里亚尼;M.博加蒂;S.洛伦兹尼 | 申请(专利权)人: | 英特尔公司 |
主分类号: | G06F11/00 | 分类号: | G06F11/00 |
代理公司: | 上海专利商标事务所有限公司 31100 | 代理人: | 钱慰民 |
地址: | 美国加利*** | 国省代码: | 暂无信息 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 电子 系统 执行 程序 方法 | ||
1.一种用于在提供有功能安全性的应用的电子系统中运行程序(P)的方法,其中所述电子系统包括单处理器或多处理器处理系统(10)和另一独立控制模块(15),所述方法包括:
执行将程序(P)分解为多个并行子程序(P1,…,Pn)的操作,其中所述程序包括安全性功能(SF)并且经由所述处理系统(10)来运行;
将各并行子程序(P1,…,Pn)的执行指配给所述处理系统的相应处理模块(11);以及
在所述安全性功能(SF)的框架中,周期性地按照所述处理系统(10)的正常操作期间所述程序(P)的循环频率(fcyc),在所述处理系统(10)中执行关联到所述子程序(P1,…,Pn)的每个并且关联到它们运行于其上的对应处理模块(11)的自测操作(Ast1,Asys,Achk),
所述方法的特征在于,所述自测操作(Ast1,Asys,Achk)包括:
诊断性自测操作(Ast1),其执行诊断性自测;
所测量系统值的自测的操作(Asys);以及
所述子程序(P1,…,Pn)的中间结果之间的比较的自测操作(Achk),
以及所述自测操作(Ast1,Asys,Achk)包括:
生成与所述自测操作(Ast1,Asys,Achk)对应的相应自测数据(Dst1,Dsys,Dchk),并且对所述自测数据(Dst1,Dsys,Dchk)执行检查操作(51,61);
经由消息(MC)的协议(PL)与所述另一独立控制模块(15)连续地交换所述自测数据(Dst1,Dsys,Dchk);
在所述另一独立控制模块(15)中执行所述检查操作(51,61)的至少部分;以及
以尊重给定失效概率目标(g12;g)这样一种方式执行将所述程序(P)分解为多个并行子程序(P1,…,Pn)的操作,以得到所述自测操作(Ast1,Asys,Achk)的每个的覆盖目标(kst1,ksys,kchk),其中所述自测操作的每个关联于相应子程序(P1,…,Pn)或处理模块(11)。
2.如权利要求1所述的方法,其特征在于,所述电子系统基于包括多个处理器的架构,并且将各并行子程序(P1,…,Pn)的执行指配给所述处理系统的相应处理模块(11)包括:将各并行子程序(P1,…,Pn)的执行指配给所述架构的处理器(C1,…,Cm)或者指配给关联到所述处理器(C1,…,Cm)中的一个处理器的虚拟机(V1,…,Vn)。
3.如权利要求1所述的方法,其特征在于,所述给定失效概率目标(g12;g)是所述诊断性自测操作(Ast1)所确定的覆盖值(kst1)、在所述处理系统(10)上测量的系统值的自测的操作(Asys)所确定的覆盖值(ksys)、以及所述子程序(P1,…,Pn)的中间结果之间的比较的操作(Achk)所确定的覆盖值(kchk)的函数。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于英特尔公司,未经英特尔公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/201580053999.9/1.html,转载请声明来源钻瓜专利网。
- 上一篇:跑鞋(984219119585)
- 下一篇:台灯(三节棍)