Pat

J-GLOBAL ID：200903088313319253

ソフトウエア開発支援のシミュレーション装置

Inventor： 小田 利彦
Applicant, Patent owner： 株式会社リコー
Gazette classification：公開公報
Application number (International application number)：1996145018
Publication number (International publication number)：1997305389
Application date： May. 15, 1996
Publication date： Nov. 28, 1997
Summary：

【要約】【課題】 シミュレーションモデルと開発プログラムがリンクされた開発環境を作る。【解決手段】 開発対象プログラム1とシミュレーションモデル2を同時に動作をさせてシステムの挙動を確認し、プログラム上のシステムの動作を決定する各種のパラメータのより正確な値を得る。モデル2は、プログラム1からの指令によって制御される機械の挙動を計算機上で模擬するもので、デバイスとよぶ構成要素から構成されている。矛盾検出部4は、シミュレーションエンジン3がモデルの更新を終了すると直ちに起動されて、全てのデバイスの状態がシステムの仕様を満たしているかどうかを判定し、満たしていないとそのデバイスをユーザに知らせる。プログラムの実行は連続的な手続きの実行であり、シミュレーションモデルの実行は非連続で状態遷移型の実行であり、ブリッジ部5は、これらの実行形態の違いを埋め、互いに情報の通信が行えるようにする。

Claim (excerpt)：

プログラムからの制御に基づき制御対象の物理的対象の挙動をシミュレーションするソフトウエア開発支援のシミュレーション装置において、シミュレーションモデルは、個々の物理的対象を表現するデバイスと呼ぶ要素から構成され、デバイスには、デバイスが持つ特性や性質の情報(属性と呼ぶ)、デバイスの取りうる状態とその状態遷移に関する情報、さらに、各状態毎に、その状態が存在を判定する論理的条件(成立条件と呼ぶ)、その状態内で成立する属性の関数的記述(状態関数と呼ぶ)が定義されていることを特徴とするソフトウエア開発支援のシミュレーション装置。

IPC (3)：

G06F 9/06 530 ,  G06F 9/44 530 ,  G06F 11/28 340

FI (3)：

G06F 9/06 530 T ,  G06F 9/44 530 Z ,  G06F 11/28 340 C