利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

79 条记录 (耗时 0.022 秒)

    ZUGANGSSTEUERUNG ZU EINEM GEMEINSAM EXKLUSIV NUTZBAREN ÜBERTRAGUNGSMEDIUM
    1.
    发明公开
    ZUGANGSSTEUERUNG ZU EINEM GEMEINSAM EXKLUSIV NUTZBAREN ÜBERTRAGUNGSMEDIUM 有权
    ÜANG UM UNG UM UM UM UM UM UM UM UM UM UM UM UM UM UM UM UM UM UM

    公开(公告)号：EP2758886A1

    公开(公告)日：2014-07-30

    申请号：EP12762279.3

    申请日：2012-09-20

    申请人： EADS Deutschland GmbH

    发明人： PAULITSCH, Michael ,  NOWOTSCH, Jan

    IPC分类号： G06F13/14 ,  G06F9/52

    CPC分类号： G06F13/24 ,  G06F9/26 ,  G06F9/5011 ,  G06F11/18 ,  G06F13/00 ,  G06F13/364 ,  G06F2209/504 ,  Y02D10/22

    摘要： The invention relates to a computing system (100) and to a method. The computing system has a plurality of components (110) that are designed to exclusively jointly use a resource (120), an activity monitoring unit (130) that detects a quantity of activities of a component on the resource, and an interruption unit (140) that is designed to interrupt the access of the components for use of the resource if the quantity of activities of the component reaches an activity limit, such that an assignment strategy can assign the exclusively jointly used resource to a different component.

    摘要翻译： 指定了计算系统和方法。 计算系统具有被配置为独占地使用资源的多个组件，记录资源上的组件的活动次数的活动监视单元和被配置为中断对组件的访问的中断单元 当组件的活动数量达到活动阈值时的资源，使得分配策略可以将专用联合使用的资源分配给另一个组件。

    VERFAHREN UND VORRICHTUNG ZUR MODUSUMSCHALTUNG UND ZUM SIGNALVERGLEICH BEI EINEM RECHNERSYSTEM MIT WENIGSTENS ZWEI VERARBEITUNGSEINHEITEN
    3.
    发明公开
    VERFAHREN UND VORRICHTUNG ZUR MODUSUMSCHALTUNG UND ZUM SIGNALVERGLEICH BEI EINEM RECHNERSYSTEM MIT WENIGSTENS ZWEI VERARBEITUNGSEINHEITEN 有权

    公开(公告)号：EP1812860A1

    公开(公告)日：2007-08-01

    申请号：EP05804493.4

    申请日：2005-10-25

    申请人： ROBERT BOSCH GMBH

    发明人： MUELLER, Bernd ,  ANGERBAUER, Ralf ,  COLLANI, Yorck ,  GMEHLICH, Rainer ,  BOEHL, Eberhard

    IPC分类号： G06F11/16

    CPC分类号： G06F11/1641 ,  G06F9/30181 ,  G06F9/30189 ,  G06F9/3851 ,  G06F9/3869 ,  G06F9/3885 ,  G06F11/1695 ,  G06F11/18 ,  G06F2201/845

    摘要： A method and a device are provided for performing switching and data comparison in a computer system having at least two processing units which each process data at a specified clock pulse, in which a switchover arrangement is provided and switching takes place between at least two operating modes, and a comparison unit is provided. A first operating mode corresponding to a compare mode is provided, and a second operating mode corresponding to a performance mode is provided. A synchronization arrangement is provided which assigns to the specifiable data a clock pulse information as a function of a processing unit, and at least the comparison unit takes into consideration this clock pulse information in the corresponding data.

    摘要翻译： 提供了一种方法和设备，用于在具有至少两个处理单元的计算机系统中执行切换和数据比较，所述至少两个处理单元各自以指定的时钟脉冲处理数据，其中提供切换装置并且在至少两个操作模式 ，并提供比较单元。 提供对应于比较模式的第一操作模式，并且提供与性能模式对应的第二操作模式。 提供一种同步装置，该装置根据处理单元向可指定数据分配时钟脉冲信息，并且至少比较单元考虑相应数据中的该时钟脉冲信息。

    Procédé de détection des erreurs d'exécution d'un logiciel
    6.
    发明公开
    Procédé de détection des erreurs d'exécution d'un logiciel 失效
    埃及方案中的维尔法恩·乌尔肯恩·冯·奥斯富伦斯法勒

    公开(公告)号：EP0606803A1

    公开(公告)日：1994-07-20

    申请号：EP93403179.0

    申请日：1993-12-27

    申请人： GEC ALSTHOM TRANSPORT SA

    发明人： Bres, Guillaume ,  Simon, Francois

    IPC分类号： G06F11/08 ,  G06F11/28

    CPC分类号： G06F11/1479 ,  G06F11/1008 ,  G06F11/1497 ,  G06F11/18 ,  G06F11/28 ,  G06F2201/83

    摘要： Procédé de détection des erreurs d'exécution d'un logiciel dont plusieurs répliques identiques sont exécutées en parallèle ou séquentiellement, ce logiciel comprenant notamment des instructions constituées d'opérations mettant en jeu un opérateur simple agissant sur des opérandes simples.
    Chaque instruction d'opération est remplacée par plusieurs instructions permettant d'effectuer :

    le codage des opérandes constitués de données d'entrée du logiciel, au moyen d'une injection de codage spécifique ; chaque injection de codage est distincte des injections de codage associées aux autres instructions d'opération au sein des autres répliques,
    la transformation de l'opérateur simple de cette instruction, les transformations correspondant à des opérateurs identiques au sein des différentes répliques étant deux à deux distinctes,
    le transcodage du résultat obtenu par application de l'opérateur transformé aux opérandes codés, pour obtenir un résultat sous la forme d'un opérande codé au moyen du codage spécifique de l'instruction d'opération destinée à utiliser ce résultat, le transcodage étant effectué au moyen d'une transformation distincte des transformations de transcodage associées aux autres instructions d'opération au sein des autres répliques.

    Le procédé comprend enfin une opération de décodage du résultat final de chaque réplique au moyen de l'inverse d'une injection de décodage spécifique et distincte des injections de décodage des autres répliques. On indique qu'une erreur d'exécution s'est produite si, pour certaines répliques, le résultat final ne peut être décodé au moyen de l'injection inverse correspondante, et si, parmi les résultats finaux décodés des autres répliques, il n'en existe pas un qui est obtenu par un nombre minimum prédéterminé des autres répliques.

    摘要翻译： 用于检测程序中的执行错误的方法，其并行或顺序地执行其几个相同的副本，该程序特别包括由涉及简单操作数的简单操作符的操作组成的指令。 每个操作指令由几个指令替代，使得可以执行： - 通过特定编码注入对由程序的输入数据组成的操作数进行编码; 每个编码注入不同于与其他副本中的其他操作指令相关联的编码注入， - 该指令的简单运算符的变换，对应于各个副本中的相同运算符的变换是成对不同的， - 结果的转码 通过将经变换的算子应用于编码操作数获得，以获得通过对使用该结果的操作指令的特定编码进行编码的操作数的形式的结果，代码转换是通过转换不同的方式执行的 来自与其他副本中的其他操作指令相关联的代码转换。 该方法最后包括用于通过与其他副本的解码注入不同的特定解码注入的逆来解码每个副本的最终结果的操作。 如果对于某些副本，如果不能通过相应的反向注入解码最终结果，并且如果在其他副本的解码的最终结果中不存在由预定的最小值获得的结果，则执行错误被标记 其他副本的数量。

    Procédé de détection des erreurs d'exécution d'un logiciel
    7.
    发明公开
    Procédé de détection des erreurs d'exécution d'un logiciel 失效
    埃菲尔方程式中的法尔文·厄尔法森·冯·奥斯富伦斯法恩（Verfahren zum Erfassen vonAusführungsfehlern）

    公开(公告)号：EP0606802A1

    公开(公告)日：1994-07-20

    申请号：EP93403174.1

    申请日：1993-12-27

    申请人： GEC ALSTHOM TRANSPORT SA

    发明人： Bres, Guillaume ,  Simon, François

    IPC分类号： G06F11/28

    CPC分类号： G06F11/1479 ,  G06F11/08 ,  G06F11/1497 ,  G06F11/18 ,  G06F11/28 ,  G06F2201/83

    摘要： La présente invention concerne un procédé de détection des erreurs d'exécution d'un logiciel comprenant des instructions reliées entre elles par des branchements et constituées :

    soit d'opérations mettant en jeu un opérateur agissant sur des opérandes,
    soit de tests conditionnels servant à déterminer l'instruction suivante à exécuter,
    soit d'indications de destination donnant directement l'instruction suivante à exécuter,

    les parcours autorisés de ce logiciel étant appelés chemins licites et chaque exécution du logiciel étant appelée chemin exécuté,
    le procédé consistant à :

    déterminer lors de la compilation, une donnée, dite signature, de référence pour chaque chemin licite, par combinaison d'identifiants élémentaires prédéterminés associés à chaque instruction,
    calculer, lors de chaque exécution, une variable appelée signature courante, affectée au chemin exécuté correspondant, par combinaison d'identifiants élémentaires d'exécution associés à chaque instructions,
    vérifier si la signature courante appartient à l'ensemble des signatures de référence,
    signaler une erreur d'exécution si la signature courante n'appartient pas à l'ensemble des signatures de référence, la détermination des signatures de références et le calcul des signatures courantes étant effectués en additionnant les représentations binaires des identifiants élémentaires,

    chacune de ces représentations binaires étant modifiée avant d'être sommée de sorte qu'elle dépend du numéro d'ordre de l'instruction correspondante respectivement dans le chemin licite considéré et dans la suite des instructions exécutées.

    摘要翻译： 本发明涉及一种用于检测程序中的执行错误的方法，包括通过分支互连的指令，并且包括： - 涉及操作者的操作的任一操作， - 或用于确定要执行的下一条指令的条件测试 - 或目的地指示直接给出要执行的下一条指令，通过该程序的授权路线被称为合法路径，并且程序的每次执行被称为执行路径，该方法包括： - 在编译期间确定参考数据，称为 通过组合与每个指令相关联的预定基本标识符，在每个执行过程中，通过组合与每个指令相关联的基本执行标识符来计算被分配给相应的执行路径的当前签名的变量， - 检查 目前的签名是否属于一组裁判 如果当前签名不属于参考签名集合，则参考签名的确定和当前签名的计算正在通过将每个基本标识符的二进制表示相加来执行， 这些二进制表示在被相加之前被修改，使得它分别依赖于相关法律路径中的相应指令的序列号以及其余的执行指令。

    Verfahren und Vorrichtung zum Erkennen und Identifizieren von Fehlern an Sensoren
    8.
    发明公开
    Verfahren und Vorrichtung zum Erkennen und Identifizieren von Fehlern an Sensoren 失效
    Verfahren und Vorrichtung zum Erkennen und Identifizieren von Fehlern a Sensoren。

    公开(公告)号：EP0416370A2

    公开(公告)日：1991-03-13

    申请号：EP90116029.1

    申请日：1990-08-22

    申请人： Bodenseewerk Gerätetechnik GmbH

    发明人： Krogmann, Uwe

    IPC分类号： G06F11/00 ,  G06F11/10 ,  G06F11/16 ,  G01R31/00

    CPC分类号： G06F11/188 ,  G01C25/00 ,  G05B9/03 ,  G06F11/10 ,  G06F11/18 ,  G06F11/183

    摘要： Ein Verfahren zum Erkennen und Identifizieren von Fehlern an Sensoren für Zustandsgrößen, die mit von den Sensoren unmittelbar gelieferten Meßgrößen durch eine Meßgleichung
    m = H x + ω
    verknüpft sind, wobei m ein Vektor der Meßgrößen, x ein Vektor der Zustandsgrößen und H die Meßmatrix ist und wobei die Ordnung von m größer ist als die Ordnung von x , enthält die Verfahrensschritte:

    (a) Bestimmung von Validierungsvektoren v i als Spaltenvektoren einer Matrix
    P = [ v ₁ v ₂... v n ]
    (b) Bestimmung eines Paritätsvektors v als Element eines Paritätsraumes, der das orthogonale Komplement des Signalraumes ist als Linearkombination der Validierungsvektoren mit den zugehörigen Elementen m i des Meßvektors m :

    (c) Bildung einer Detektionsfunktion
    DF = v v >
    als skalares Produkt des Pariätsvektors mit sich selbst, und Prüfung, ob diese Detektionsfunktion größer oder kleiner als ein vorgegebener Grenzwert ist, wobei das Überschreiten dieses Grenzwertes das Vorhandensein eines Fehlers signalisiert,
    (d) bei Vorhandensein eines Fehlers Berechnung von Lokalisierungsfunktionen aus den Komponenten des Paritätsvektors und Bestimmung der maximalen Lokalisierungsfunktion, aus welcher der fehlerbehaftete Sensor ableitbar ist,
    (e) Rekonfiguration der Sensorsignale unter Berücksichtigung des so ermittelten Fehlerstatus.

    摘要翻译： 一种用于通过测量方程m = Hx +ω而检测和识别由传感器直接提供的测量变量的状态变量的传感器中的误差的方法，其中m是测量变量的向量，x是 状态变量的向量和H是测量矩阵，并且m的顺序大于x的顺序，包含以下方法步骤：a）确定验证向量vi作为矩阵的列向量P = [v1v2 ... vn] b）将奇偶校验向量v确定为奇偶校验空间的元素，该奇偶校验空间的作为信号空间的正交互补，作为验证向量与测量向量m的相关元素m的线性组合：c）形成 检测函数DF = 作为奇偶校验向量本身的标量乘积，并检查该检测函数是否大于或小于预定极限值，该限制值的违反表示存在 错误，d）存在错误时，从奇偶校验向量的分量计算定位函数以及确定可以从中导出故障传感器的最大定位功能e）重新配置传感器信号，同时考虑到 错误状态如此确定。

    Symmetrization for redundant channels
    9.
    发明公开
    Symmetrization for redundant channels 失效
    Kanäle的Symmetriebildungfürredundante

    公开(公告)号：EP0263773A2

    公开(公告)日：1988-04-13

    申请号：EP87630199.5

    申请日：1987-10-01

    申请人： UNITED TECHNOLOGIES CORPORATION

    发明人： Tulpule, Bhalchandra Ramchandra ,  Collins, Robert E.

    IPC分类号： G06F11/16 ,  G05B9/03

    CPC分类号： G06F11/181 ,  G06F11/18 ,  G06F11/182

    摘要： A plurality of redundant channels in a system each contain a global image of all the configuration data bases in each of the channels in the system. Each global image is updated periodically from each of the other channels via cross channel data links. The global images of the local configuration data bases in each channel are separately symmetrized using a voting process to generate a system signal configuration data base which is not written into by any other routine and is available for indicating the status of the system within each channel. Equalization may be imposed on a suspect signal and a number of "chances" for that signal to "heal" itself are provided before excluding it from future votes. Reconfiguration is accomplished upon detecting a channel which is deemed invalid. A reset function is provided which permits an externally generated reset signal to permit a previously excluded channel to be reincluded within the system. The updating of global images and/or the symmetrization process may be accomplished at substantially the same time within a synchronized time frame common to all channels.

    摘要翻译： 系统中的多个冗余信道每个包含系统中每个信道中的所有配置数据库的全局映像。 每个全局图像都通过交叉通道数据链接从每个其他通道周期性地更新。 每个通道中的本地配置数据库的全局映像使用投票过程分别对称，以生成未被任何其他例程写入的系统信号配置数据库，并且可用于指示每个通道内系统的状态。 可以对嫌疑人的信号进行均衡化，并且在将其从未来的投票中排除之前提供该信号“愈合”本身的一些“机会”。 重新配置是在检测到被视为无效的信道时完成的。 提供复位功能，其允许外部产生的复位信号允许在系统内重新包含先前排除的通道。 全局图像和/或对称过程的更新可以在所有信道共同的同步时间帧内的基本相同的时间完成。