会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 54. 发明申请
    • HIGH AVAILABILITY AND ENERGY-EFFICIENT WATCHDOG TIMER
    • 高可用性和高能效的看门狗定时器
    • WO2017007605A1
    • 2017-01-12
    • PCT/US2016/038866
    • 2016-06-23
    • MICROSOFT TECHNOLOGY LICENSING, LLC
    • WANG, BinZHU, Robert YuWU, QipengZHANG, DejunZHAO, PengxiangCHIN, Ying N.
    • G06F11/07G06F1/32
    • G06F11/0757G06F1/24G06F1/3203G06F11/0736
    • Examples for an intelligent watchdog timer for a computing device are described herein. The watchdog timer operates a watchdog counter that repetitively counts a watchdog count interval from an initial value to a final value. The watchdog counter is continually reset if the device is functioning properly. If the watchdog timer is allowed to reach a final count value, a processor reset is initiated. Several components operate to detect the current mode of operation of the processor or an operating system, and predict, in part based on user context, when different power states may occur. The components also forecast when the watchdog timer is scheduled to reach the final count value. Based on the forecasts of when the watchdog timer will reach the final count value and the predictions of future power states of the processor or operating system, the watchdog counter is selectively disabled or reset.
    • 这里描述了用于计算设备的智能看门狗定时器的示例。 看门狗定时器操作看门狗计数器,将看门狗计数间隔从初始值重复计数到最终值。 如果设备运行正常,看门狗计数器将不断复位。 如果允许看门狗定时器达到最终计数值,则启动处理器复位。 几个组件用于检测处理器或操作系统的当前操作模式,并且部分地基于用户上下文来预测当发生不同的功率状态时。 组件还可以预测看门狗定时器何时达到最终计数值。 根据对看门狗定时器何时达到最终计数值以及处理器或操作系统未来电源状态预测的预测,看门狗计数器被选择性地禁用或复位。
    • 56. 发明申请
    • PROCÉDÉ DE DÉTERMINATION AUTOMATIQUE DE CAUSES DE DYSFONCTIONNEMENT D'UN SYSTÈME COMPOSÉ D'UNE PLURALITÉ DE COMPOSANTS MATÉRIELS OU LOGICIELS
    • 用于自动确定由多个硬件或软件组件构成的系统故障的原因的方法
    • WO2016016587A1
    • 2016-02-04
    • PCT/FR2015/052124
    • 2015-07-31
    • INRIA INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
    • GÖSSLER, Gregor
    • G06F11/36
    • G06F11/0736G06F11/0706G06F11/079G06F11/3608
    • L'invention concerne un procédé de détermination automatique de causalité nécessaire ou suffisante de dysfonctionnement d'un système composé d'une pluralité de composants matériels ou logiciels. Le procédé comporte, à partir de l'obtention (22) d'une trace d'exécution comportant une séquence d'évènements observés pendant l'exécution du système, l'obtention d'un sous-ensemble de composants testé comprenant au moins un composant dont la trace d'exécution présente (24) au moins une non-conformité avec la spécification de bon fonctionnement dudit composant, et d'un sous-ensemble de composants traité en fonction dudit sous-ensemble de composants testé; pour un sous- ensemble de composants traité, un calcul, pour chacun des composants du système, d'un préfixe de trace d'exécution non affecté par des évènements non-conformes à la spécification observés pour les composants du sous-ensemble de composants traité, la détermination d'un modèle d'exécution contrefactuel du sous-ensemble traité, permettant de générer l'ensemble des comportements possibles, commençant par les préfixes non affectés, en l'absence de dysfonctionnement des composants du sous-ensemble de composants traité et la détermination (28, 30) de la causaliténécessaire ou suffisante des composants du sous-ensemble de composants testé pour le dysfonctionnement du système en fonction de la vérification du respect de ladite propriété globale du système par ledit modèle contrefactuel du sous-ensemble de composants traité.
    • 本发明涉及一种用于自动确定由多个硬件或软件组件组成的系统的故障的必要或足够的原因的方法。 该方法包括从获取(22)包括在系统执行期间观察到的事件序列的执行跟踪获得(22)获得包括至少一个组件的测试的组件子集,其中执行跟踪具有(24)至少一个 不符合所述组件的正确操作的规范,以及根据所述测试的组件子集处理的组件的子集; 对于组件的经处理子集,对于系统的每个组件的计算,不受不符合观察到的处理的组件子集的组件的规范的事件影响的执行跟踪的前缀,该确定 所述处理子集的反事实执行模型使得可以在所述处理的子组件的组件的故障不存在的情况下,生成从所述未受影响的前缀开始的所有可能的行为,并且所述确定(28,30) 根据验证所述组件的所述反事实模型符合所述系统的所述全局性质,所述组件子组件的组件的必要或足够的原因被测试了所述系统的故障。
    • 57. 发明申请
    • VERFAHREN ZUM ERMITTELN EINER SYSTEMZUVERLÄSSIGKEIT EINER LOGISCHEN SCHALTUNG
    • 一种用于确定逻辑电路的系统可靠性
    • WO2016012496A1
    • 2016-01-28
    • PCT/EP2015/066749
    • 2015-07-22
    • SIEMENS AG ÖSTERREICH
    • CECH, ChristianFISCHER, BernhardHINTERSTOISSER, ThomasMATSCHNIG, Martin
    • G06F17/50G01R31/317G06F11/26
    • G06F17/5036G06F11/0736G06F11/076G06F11/079G06F11/26G06F17/5022G06F2217/76G06F2217/78G06F2217/80
    • Die Erfindung betrifft ein Verfahren einer Systemzuverlässigkeit einer logischen Schaltung (S). Die logische Schaltung (S) ist dabei aus einzelnen Komponenten (K1, K2) aufgebaut, wobei für jede Komponente (K1, K2) ein funktionales Komponentenmodell für ein Design und eine Simulation eines Schaltungsmodells der logischen Schaltung (S) erstellt wird. Das jeweilige funktionale Komponentenmodell wird dann um ein zugehöriges Leistungsmodell (PM1, PM2), um ein auf dem Leistungsmodell (PM1, PM2) basierendes Temperaturmodell (TM1, TM2) und um ein auf dem Temperaturmodell (TM1, TM2) basierendes Zuverlässigkeitsmodell (RM1, RM2) für die jeweilige Komponente (K1, K2) erweitert (1). Mit Hilfe der erweiterten Komponentenmodelle wird dann das Schaltungsmodell der logischen Schaltung (S) aufgebaut (2) und anhand einer Simulation der logischen Schaltung (S) mit Hilfe des aufgebauten Schaltungsmodells für einen vorgegebenen Anwendungsfall (AF) komponentenspezifisch ein funktionales, ein leistungsabhängiges und ein temperaturabhängiges Verhalten (FV, PV, TV) sowie eine temperaturabhängige Ausfallsrate (RV) für die jeweiligen Komponente (K1, K2) abgeleitet (3). Auf Basis dieser abgeleiteten Daten können dann für den vorgegebenen Anwendungsfall (AF) zusätzlich zum funktionalen Verhalten, auch ein Leistungs- und Temperaturverhalten (STM) sowie eine Gesamtausfallsrate (SRM) in Abhängigkeit von Temperatur und Simulationszeit für die logische Schaltung (S) sehr einfach und dynamisch ermittelt werden (4).
    • 本发明涉及的方法的逻辑电路(S)的系统的可靠性。 逻辑电路(S)是由单独的组分(K1,K2)构成,其中,对于每个成分(K1,K2)被创建用于设计和逻辑电路(S)的一个电路模型的模拟功能部件模型。 各功能组件模型然后到相关联的性能模型(PM1,PM2),一个基于所述性能模型(PM1,PM2)系温度模型(TM1,TM2)和所述温度模型(TM1,TM2)的可靠性模型(RM1,RM2 )(对于组分K1,K2)延伸(1)。 采用先进的组件模型的逻辑电路(S)的电路模型,然后设置(2)和逻辑电路(S)的模拟的通过对于给定应用所构建的电路模型的装置的基础上,(AF)成分特定的功能,功率依赖性和温度依赖性 衍生的行为(FV,PV,TV),以及依赖于温度的故障率(RV),用于相应的部件(K1,K2)(3)。 在此基础上得到的数据然后可以在除了用于给定的应用(AF)功能行为,功率和温度行为(STM),以及一个总故障率(SRM)由于温度和模拟时间逻辑电路(S)的功能是很简单的,并且 动态地确定(4)。
    • 59. 发明申请
    • BATTERIE, BATTERIESTEUERUNG, SOWIE VERFAHREN ZUR GESICHERTEN DIGITALEN ÜBERTRAGUNG VON STROM-MESSWERTEN
    • 电池电池控制器,AND METHOD FOR功率测量,安全数字卡转移
    • WO2015058970A1
    • 2015-04-30
    • PCT/EP2014/071670
    • 2014-10-09
    • ROBERT BOSCH GMBH
    • BERGMANN, SvenBUTZMANN, Stefan
    • H04Q9/00H04L25/49G08C25/00
    • G06F1/263G06F11/0736G06F11/0751G06F11/079G06F13/4282G08C25/00H04L12/40H04L25/4915H04L2012/40215H04L2012/40234H04L2012/40273H04Q9/00H04Q2209/30
    • Die vorliegende Erfindung betrifft ein Verfahren zur gesicherten digitalen Übertragung von Strom-Messwerten sowie eine Batterie (1) und eine Batteriesteuerung (10), die zu einer Durchführung des Verfahrens geeignet sind. Es erfolgt ein Erfassen (S1, S2) einer Amplitude eines Batteriestromes (I B ) in einer Batterie (1) durch einen ersten und einen zweiten Sensor (2, 3). Es folgt ein Erzeugen (S3, S4) einer ersten und einer zweiten Bitfolge, welche jeweils die erfasste Amplitude beschreiben. Es wird eine gespiegelte zweite Bitfolge (21) durch ein Umkehren (S5) einer Reihenfolge der durch die zweite Bitfolge (20) gegebenen Bits generiert. Es folgt ein zeitgleiches Übertragen (S6) der ersten Bitfolge über einen ersten Datenbus (5) und der gespiegelten zweiten Bitfolge (21) über einen zweiten Datenbus (6) an eine Batteriesteuerung (10). Nach dem zeitgleichen Übertragen (S6) wird eine zweite Bitfolge (20) durch ein Umkehren (S7) einer Reihenfolge der durch die gespiegelte zweite Bitfolge (21) gegebenen Bits generiert. Abschließend erfolgt ein Erkennen (S8) eines möglichen Fehlers in der ersten Bitfolge oder der zweiten Bitfolge (20) durch einen Vergleich der ersten Bitfolge (20) mit der zweiten Bitfolge (21). Somit werden insbesondere Übertragungsfehler in einem Übertragungspfad zwischen den Sensoren der Batterie und der Batteriesteuerung erkannt, die durch einen gemeinsamen Störeinfluss verursacht werden. Zudem können auch Fehler erkannt werden, die durch einen Störeinfluss verursacht werden, welcher nur einen der Sensoren oder einen Teil des Übertragungspfades betrifft.
    • 本发明涉及一种用于数字电流测量值的安全传输,以及一个电池(1)和电池控制器(10)适于该方法的实施方案的方法。 有由第一和第二传感器是电池电流(IB)的在电池(1)的振幅的检测(S1,S2)(2,3)。 有如下的发电中的第一(S3,S4)和第二位序列,其中的每一个描述了所检测到的幅度。 其产生通过反转(S5)通过给定的镜像第二比特序列(21)的第二个(20)比特的比特序列的顺序。 有如下同时发送(S6)的第一数据总线(5)和所述第二镜像比特序列(21)在所述第一比特序列经由第二数据总线(6)的电池控制器(10)。 同时发送(S6)的第二比特串(20)之后,通过反转(S7)由第二反射镜(21)的比特序列的顺序产生的给定的位。 最后,检测(S8)被用于在所述第一比特串的可能的错误或由所述第一串(20)的比较的第二比特序列(20)到所述第二位序列(21)中进行。 因此,特别是在检测到在所述电池的传感器和电池控制器,其通过共同的干扰影响引起之间的传输路径的传输错误。 此外,错误可以被鉴定出通过干涉效应,这仅影响传感器中的一个或传输路径的一部分所致。