METHOD AND DEVICE FOR CALCULATING DATA IN SAFETY CRITICAL SYSTEM

To detect an error of a redundant calculation at lower hardware cost in a data model calculation in a safety critical system.SOLUTION: The safety critical system has at least two arithmetic units 102, 104, and at least one arithmetic unit calculates a main data model according to at least one state...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: NICO BANNOW
Format: Patent
Sprache:eng ; jpn
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:To detect an error of a redundant calculation at lower hardware cost in a data model calculation in a safety critical system.SOLUTION: The safety critical system has at least two arithmetic units 102, 104, and at least one arithmetic unit calculates a main data model according to at least one state of the system. At least the other arithmetic unit calculates an approximate data model attached to the main data model according to at least one state of the system. The main data model includes at least one characteristic of the system. The approximate data model approximately includes at least the same characteristic of the system. A comparison unit 108 compares a calculation result of the main data model with a calculation result of the approximate data model, and determines information on difference from each other. If the difference exceeds a maximum allowable difference, an error is detected according to information about the difference.SELECTED DRAWING: Figure 1 【課題】セーフティクリティカルなシステムでのデータモデルの計算において、冗長な計算に対してより低いハードウェア・コストでエラーを検出する。【解決手段】少なくとも2つの演算ユニット102、104を有し、少なくとも1つの演算ユニットは、システムの少なくとも1つの状態に従って、主データモデルを計算する。少なくとも1つの他の演算ユニットは、システムの少なくとも1つの状態に従って、主データモデルに付属する近似データモデルを計算する。主データモデルは、システムの少なくとも1つの特性を含む。近似データモデルは、少なくともシステムの同一の特性を近似的に含む。比較ユニット108は、主データモデルの計算結果と、近似データモデルの計算の結果を比較し、互いの誤差の情報を決定する。誤差が最大許容誤差を上回る場合は、当該誤差についての情報に従ってエラーを検出する。【選択図】図1