-
公开(公告)号:CN108292252A
公开(公告)日:2018-07-17
申请号:CN201680070322.0
申请日:2016-12-29
申请人: 英特尔公司
发明人: E·乌尔德-阿迈德-瓦尔 , S·赛尔 , K·A·杜什 , C·R·扬特
CPC分类号: G06F11/079 , G06F9/3001 , G06F9/30036 , G06F9/30189 , G06F9/30196 , G06F9/3861 , G06F9/3889 , G06F9/455 , G06F11/0745 , G06F11/0751 , G06F11/0772 , G06F11/1608 , G06F11/1629 , G06F11/1641 , G06F15/8007
摘要: 描述了用于容错和检错的系统、方法和装置。例如,描述了一种装置,该装置包括:用于复制指令的输入源的电路;算术逻辑单元(ALU)电路,用于使用单指令多数据(SIMD)硬件、利用经复制的输入源来执行所述指令,以产生紧缩数据结果;以及比较电路,与所述ALU电路耦合,所述比较电路用于:评估所述紧缩数据结果,并且将单个数据结果输出到所述指令的目的地中。
-
公开(公告)号:CN105555638B
公开(公告)日:2017-07-11
申请号:CN201480051903.0
申请日:2014-09-04
申请人: 西门子公司
发明人: 延斯·布拉班德
IPC分类号: B61L27/00 , G05B9/00 , G05B19/00 , G06F11/07 , G06F11/16 , G06F21/57 , G06F21/74 , H04L1/22 , H04L29/08 , H04L29/06
CPC分类号: G06F11/368 , B61L15/0063 , B61L27/00 , B61L27/0055 , B61L27/0061 , G06F8/65 , G06F11/07 , G06F11/16 , G06F11/1641 , G06F21/57 , G06F21/74 , H04L1/22 , H04L63/12
摘要: 本发明涉及一种用于运行安全关键的系统的方法,所述系统具有至少一个第一数据装置(1)和至少一个参考数据装置(4),所述第一数据装置具有已许可的安全相关的软件(2),所述参考数据装置具有相同的已许可的安全相关的软件(2)。在所述方法中,在对系统进行类型检查之后给至少一个第一数据装置(1)配设至少一个非安全相关的附加软件(8,9,10)并且禁止至少一个参考数据装置(4)的软件修改。在输出安全技术方面的数据信息(D)之前,借助于比较装置(7)检查至少一个第一数据装置(1)的和至少一个参考数据装置(4)的输出信息(A1,Ar)的关于安全相关的软件(2)的一致性,以及在一致的情况下输出安全技术方面的数据信息(D)。
-
公开(公告)号:CN106340207A
公开(公告)日:2017-01-18
申请号:CN201610529202.4
申请日:2016-07-06
申请人: 空中客车运营简化股份公司
发明人: 让-克洛德·米尔
IPC分类号: G08G5/00
CPC分类号: B64D45/00 , G05D1/0077 , G06F11/1641 , G08G5/0047
摘要: 本公开内容涉及用于飞行器的飞行管理组件(1),用于监视该组件的方法和包括该组件的飞行器。所述飞行管理组件(1)包括两个导航系统(2A,2B),每个导航系统都配备有飞行管理系统(3A,3B),所述飞行管理系统(3A,3B)是独立的,所述飞行管理系统(3A,3B)中的每个至少实现针对飞行器的横摇指令的计算,所述飞行管理组件(1)还包括数据生成单元(5A,5B)以及监视单元(4A,4B),所述数据生成单元(5A,5B)优选地构成导航计算机(6A,6B)的一部分以用于计算横摇指令,所述监视单元(4A,4B)用于实现对于由两个飞行管理系统(3A,3B)以及由数据生成单元(5A,5B)所计算的横摇指令的监视,以便能够检测和识别出故障的飞行管理系统。
-
公开(公告)号:CN103676926B
公开(公告)日:2016-12-28
申请号:CN201310380355.3
申请日:2013-08-28
申请人: 通用汽车环球科技运作有限责任公司
发明人: M.A.尤苏夫
IPC分类号: G05B23/02
CPC分类号: G06F11/2242 , G06F11/1641 , G06F11/2038
摘要: 本发明涉及具有随机且多次变化响应测试的安全系统和方法。用于车辆的诊断系统包括第一处理器模块和第二处理器模块。第一处理器模块包括第一微处理器和存储器。第二处理器模块包括第二微处理器和存储器。第二处理器模块:针对第一质询-响应测试向第一处理器模块选择性地传送第一质询;针对第二质询-响应测试向第一处理器模块选择性地传送第二质询;针对第三质询-响应测试向第一处理器模块选择性地传送第三质询;针对第四质询-响应测试向第一处理器模块选择性地传送第四质询;以及基于第一处理器模块对第一、第二、第三和第四质询的响应来选择性地诊断故障。第一、第二、第三和第四质询-响应测试是各自不同的质询-响应测试类型。
-
公开(公告)号:CN103257647B
公开(公告)日:2015-09-02
申请号:CN201310043788.X
申请日:2013-02-04
申请人: 株式会社日立制作所
IPC分类号: G05B23/02
CPC分类号: G06F11/1679 , G06F11/1641
摘要: 在利用现有的完全同步的2个CPU以及对照从该2个CPU输出的输出数据的一致/不一致的失效安全的对照电路来探测CPU故障的要求较高安全性的计算机控制系统中,在从2个CPU输出的输出数据的同步发生偏离的情况下,对照电路不能正确地对照数据。本发明所提供的数据对照装置具有:基于从多个数据源(A、B)送出的数据(1a、1b)来生成同步信号(3)的同步信号生成电路(10);基于同步信号(3)来生成同步调整信号(5)的同步偏离探测电路(20);基于同步调整信号(5)来调整对照定时并对照数据(1a、1b)的同步调整对照电路(30),数据对照装置对照从2个数据源(A、B)送出的存在没能取得同步的可能性的数据(1a、1b)。
-
公开(公告)号:CN102402465B
公开(公告)日:2015-06-17
申请号:CN201110203150.9
申请日:2011-07-20
申请人: 英飞凌科技股份有限公司
IPC分类号: G06F11/00
CPC分类号: G06F11/1641 , G06F11/1679 , G06F17/505 , G06F2217/14
摘要: 本发明涉及通过逆处理的实时错误检测。公开了处理器、微处理器以及逻辑块系统和方法、错误检测系统和方法以及集成电路。在一个实施例中,一种基于逻辑的计算系统包括:第一处理芯;第二处理芯,根据第一处理芯来生成并且包括第一处理芯的反相逻辑等效物,使得第二处理芯的输出为第一处理芯的输出的互补;以及比较器逻辑,耦合成接收第一和第二处理芯的输出作为输入并且如果第二处理芯的输出不是第一处理器的输出的互补则提供错误输出。
-
公开(公告)号:CN104508635A
公开(公告)日:2015-04-08
申请号:CN201380040100.0
申请日:2013-07-04
申请人: 西门子公司
发明人: U.埃克尔曼-文特
CPC分类号: G06F11/1641 , G06F2201/815
摘要: 本发明涉及一种具有微处理器系统(30)和比较组件(40)的装置(10),微处理器系统(30)这样编程,使得进行冗余数据处理,其中将相同的应用程序(NP)执行至少两次,并且比较组件将至少两次程序执行的结果彼此进行比较。根据本发明设置为,微处理器系统(30)这样编程,使得在该微处理器系统上,至少两个仿真器(EM1,EM2)以软件方式模拟不同的微处理器(70,110),至少两个模拟的微处理器(70,110)中的每一个微处理器单独地执行相同的应用程序(NP),以及利用比较组件(40)对至少两个模拟的微处理器(70,110)的结果进行比较。
-
公开(公告)号:CN102959520B
公开(公告)日:2015-03-25
申请号:CN201280000436.X
申请日:2012-05-30
申请人: 日本精工株式会社
CPC分类号: G06F11/0757 , G05B9/03 , G05B19/0428 , G06F11/0721 , G06F11/0739 , G06F11/0751 , G06F11/079 , G06F11/0793 , G06F11/1641 , G06F11/3013 , G06F11/3024 , G06F11/3055 , G06F11/3466
摘要: 本发明提供能够确切地诊断微型计算机异常的详细情况的车载电子控制装置。在微型计算机(MCU(2))的内部设置有通过监视硬件部(21)的主功能(22)的输入输出来检测故障的监视功能(23)和通过监视软件部(24)的主功能(25)的运算结果来检测异常的监视功能(26)。利用不同的构造来安装监视对象的主功能和故障及异常的监视功能。此外,在微型计算机(MCU(2))的外部设置有监视微型计算机(MCU(2))的异常的故障处理电路(5)。
-
公开(公告)号:CN104412528A
公开(公告)日:2015-03-11
申请号:CN201380030497.5
申请日:2013-04-09
申请人: FTS电脑技术有限公司
发明人: 斯蒂芬·波莱德纳
CPC分类号: H04L67/1095 , G06F11/1641 , G06F11/1687 , G06F11/1695 , H04J3/0667 , H04J3/0673 , H04L45/44 , H04L49/35 , H04L49/552
摘要: 本发明涉及在由若干个节点计算机组成的分布式计算机系统中可靠地交换同步讯息的方法。在所述的方法中支援符合IEEE标准1588的透传时钟的管理,并且交换单元由四个分开的FCU组成。
-
公开(公告)号:CN101714108B
公开(公告)日:2014-05-07
申请号:CN200910177655.5
申请日:2009-09-30
申请人: 富士通株式会社
发明人: 阿形真司
IPC分类号: G06F11/16
CPC分类号: G06F11/165 , G06F11/1641 , G06F11/1679
摘要: 本发明提供同步控制设备、信息处理设备、以及同步管理方法。该同步控制设备包括:计数器,进行计数和输出得到的计数信息;超时时间保存装置,保存预定的超时时间和输出该超时时间;比较器,比较从计数器输出的计数信息和从超时时间保存装置输出的超时时间;同步控制器,通过比较第一处理器的输出和第二处理器的输出来监视第一处理器和第二处理器之间的同步,和当检测到第一处理器的输出和第二处理器的输出不匹配时开始计数;其中在比较器检测到计数信息和超时时间匹配的情况下,所述同步控制器在所述第一处理器和所述第二处理器之间选择性地停止发生了同步延迟的处理器,之后仅仅复位其中未发生同步延迟的处理器。
-
-
-
-
-
-
-
-
-