特許
J-GLOBAL ID：201303023813752172
ハイブリッドシステムの検証方法、検証装置、及び検証コンピュータプログラム、並びに、ハイブリッドシステムのモデル変換方法、変換装置、及び変換コンピュータプログラム
発明者：
,
出願人/特許権者：
代理人 (1件)：
特許業務法人サンクレスト国際特許事務所
公報種別：公開公報
出願番号（国際出願番号）：特願2011-135201
公開番号（公開出願番号）：特開2013-003897
出願日： 2011年06月17日
公開日（公表日）： 2013年01月07日
要約：
【課題】ハイブリッドシステムの検証を、ソフトウェア検証の手法で行えるようにする。【解決手段】 連続値と離散値とが相互に影響を与えながら動作するハイブリッドシステムの検証方法であって、前記ハイブリッドシステムの動作を、プログラミング言語によってコーディングしたモデルを作成する作成ステップと、モデルのコードを、形式的検証を行うプログラム検証器45によって検証することで、ハイブリッドシステムの検証を行う検証ステップと、を含んでいる。プログラミング言語は、無限小を記述可能なプログラミング言語である。モデルは、ハイブリッドシステムにおける連続値の変化が、前記無限小を用いてコーディングされている。【選択図】図1
請求項（抜粋）：
連続値と離散値とが相互に影響を与えながら動作するハイブリッドシステムの検証方法であって、
前記ハイブリッドシステムの動作を、プログラミング言語によってコーディングしたモデルを作成する作成ステップと、
前記モデルのコードを、形式的検証を行うプログラム検証器によって検証することで、前記ハイブリッドシステムの検証を行う検証ステップと、
を含み、
前記プログラミング言語は、無限小を記述可能なプログラミング言語であり、
前記モデルは、前記ハイブリッドシステムにおける前記連続値の変化が、前記無限小を用いてコーディングされている
ハイブリッドシステムの検証方法。
IPC (1件)：
FI (3件)：
G06F17/50 654A
, G06F17/50 664Z
, G06F17/50 652A
5B046AA08
, 5B046BA01
, 5B046BA02
, 5B046DA06
, 5B046JA01
