特許7561147IP Force 特許公報全文掲載

ホーム > 特許ランキング > アー・ファウ・エル・リスト・ゲゼルシャフト・ミト・ベシュレンクテル・ハフツング > 特許7561147

技術分野

検査コンピュータシステム上で実施される、技術ユニットの安全性を検査する方法、技術ユニットの少なくとも一つの妥当なコンフィグレーションを特定する方法、コンピュータプログラム及び検査コンピュータシステム

発明が解決しようとする課題[発明の詳細な説明]から抜粋

以上のことから、本発明の課題は、検査するテストケースの数を技術的に達成可能な程度に低減できる方法及び装置を提供することである。更に、安全性検査は、極めて自動的に実施できるようにすべきである。

課題を解決するための手段[発明の詳細な説明]から抜粋

これらの課題及び別の課題は、検査コンピュータシステムを用いて技術ユニットのコンフィグレーションの少なくとも一つの第一の妥当なモデル変化形態を特定する方法であって、この技術ユニットが、少なくとも一つのデータ伝送機器と、このデータ伝送機器を介してデータ通信できる多数のコンポーネントとを備え、この方法が、 ａ）検査コンピュータシステムの検査インタフェースと技術ユニットのデータ伝送機器との間の接・・・　続きを知財ポータルサイト IP Force にログインして見る

この特許の権利範囲[特許請求の範囲]

知財ポータルサイト IP Force にログインして確認する (無料)

この特許公報に記載されている図面[図面の簡単な説明]から抜粋

【図1】 技術ユニットと検査コンピュータシステムの模式図
【図2】 技術ユニットのコンフィグレーションのモデルの初期インスタンスの例のブロック図
【図3】 データフローが更に図示された前記のモデルの初期インスタンスのブロック図
【図4】 技術ユニットのコンフィグレーションの特性に関する追加情報が追加された、前記のモデルの詳細なインスタンスのブロック図
【図5】 技術ユニットの第一の妥当なモデル変化形態のブロック図
【図6】 第一の妥当なモデル変化形態に基づき作成された多数の代替モデル変化形態のブロック図
【図7】 モデル変化形態に既知の弱点に対する参照を付けた図６のブロック図

代表図 図1本件の代表的な図

１ 技術ユニット ２ 検査コンピュータシステム ３ データ伝送機器 ４ コンポーネント ５ モデル ６ 検査インタフェース １０ 接続ペイン １００ 初期インスタンス １０１ 詳細なインスタンス １０２ 第一の妥当なモデル変化形態 １０３ 代替モデル変化形態 １０４ 参照 ２０１ 識別レベル ２０２ コンポーネントレベル ２０３ 下位コンポーネントレベル ２０４ 相互干渉レベル １００ｘ モデルノード １１０ｘ 情報ブロック

全ての図面はログインすると無料で閲覧できます。ログイン・ユーザー登録

［広告欄］

ログインすれば広告は減ります

ログインすれば広告は減ります

Copyright © Science Impact Inc. All Rights Reserved.