【手続補正書】
【提出日】平成29年1月31日(2017.1.31)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
被制御システムの制御ソフトウェアをテストする方法であって、
前記被制御システムは、１以上の電子制御ユニット、１以上のアクチュエータ、および１以上のセンサを備え、各前記センサは、前記１以上の電子制御ユニットのうち少なくとも１つに対して個々のセンサ信号を入力するように構成され、各前記アクチュエータは、前記電子制御ユニットのうち少なくとも１つから入力される個々の制御信号に応答して動作するように構成され、各前記電子制御ユニットは、制御ソフトウェアコードデータに基づき個々の実行可能制御プログラムを実行し、入力センサ信号に基づき前記１以上のアクチュエータに対して１以上の制御信号を出力するように構成され、
前記方法は、
前記１以上の電子制御ユニットそれぞれに対して制御ソフトウェアコードデータを提供するステップ、
前記被制御システムに対してシミュレーションコードデータを提供するステップ、
前記提供するシミュレーションコードデータおよび前記１以上の電子制御ユニットそれぞれに対して提供する制御ソフトウェアコードデータに基づきシステムモデルを生成するステップ、
前記生成するシステムモデルに基づき実行可能プログラムを生成するステップ、
前記実行可能プログラムに基づきソフトウェア検証プロセスを実施するステップ、
を有することを特徴とする方法。
【請求項２】
前記実行可能プログラムに基づき前記ソフトウェア検証プロセスを実施するステップは、前記システムモデルに基づき記号的実行を実施するステップを有する
ことを特徴とする請求項１記載の方法。
【請求項３】
前記生成したシステムモデルに基づき前記実行可能プログラムを生成するステップは、前記システムモデルの１以上のパラメータを記号的実行のシンボルへ転送するステップを有する
ことを特徴とする請求項２記載の方法。
【請求項４】
前記方法はさらに、システム入力情報データを提供するステップを有し、
前記システム入力情報データは、記号的実行のシンボルへ転送される前記システムモデルの前記１以上のパラメータを示す
ことを特徴とする請求項３記載の方法。
【請求項５】
前記システムモデルは、前記提供されるシステム入力情報データに基づき、パラメータをシンボルへ転送する機能を定義する、シンボルモジュールコードデータを備える
ことを特徴とする請求項４記載の方法。
【請求項６】
前記方法はさらに、個々の制御エラー状況に対応する１以上の検証要件条件を示す検証要件情報データを提供するステップを有する
ことを特徴とする請求項１から５のいずれか１項記載の方法。
【請求項７】
前記ソフトウェア検証プロセスを実施するステップは、
前記実行可能プログラムの１以上のパス条件にしたがって前記実行可能プログラムの実行ツリーを繰り返すステップ、
各繰り返しにおいて前記１以上の検証要件条件のうち少なくとも１つが満たされているか否かをチェックするステップ、
前記１以上の検証要件条件のうち少なくとも１つが満たされていると判定する場合は前記制御エラー状況を検出したことをユーザへ通知するステップ、
を有することを特徴とする請求項６記載の方法。
【請求項８】
前記方法はさらに、前記検出した制御エラー状況に対応付けられた特定のパス条件を出力するステップを有する
ことを特徴とする請求項６記載の方法。
【請求項９】
前記方法はさらに、前記提供する制御ソフトウェアコードデータと前記提供するシミュレーションコードデータの関連する入力パラメータと出力パラメータの関係を示すコラボレーション情報データを提供するステップを有する
ことを特徴とする請求項１から８のいずれか１項記載の方法。
【請求項１０】
前記システムモデルは、前記提供するコラボレーション情報データに基づき、対応付けられた入力パラメータに対して出力パラメータをコピーする１以上の機能を示す、コラボレーションモジュールコードデータを有する
ことを特徴とする請求項９記載の方法。
【請求項１１】
前記コラボレーションモジュールコードデータは、
前記１以上の電子制御ユニットの前記制御ソフトウェアコードデータの出力パラメータを、前記１以上の電子制御ユニットの前記制御ソフトウェアコードデータの対応する入力パラメータに対してコピーする、第１機能、
前記１以上の電子制御ユニットの前記制御ソフトウェアコードデータの出力パラメータを、前記シミュレーションコードデータの対応する入力パラメータに対してコピーする、第２機能、
および／または、
前記シミュレーションコードデータの出力パラメータを、前記１以上の電子制御ユニットの前記制御ソフトウェアコードデータの対応する入力パラメータに対してコピーする、第３機能、
を提供することを特徴とする請求項１０記載の方法。
【請求項１２】
前記システムモデルは、前記１以上の電子制御ユニットの前記制御ソフトウェアコードデータの１以上の機能の実行と、前記被制御システムの前記シミュレーションコードデータとの間の同期を示す、同期モジュールコードデータを有する
ことを特徴とする請求項１から１１のいずれか１項記載の方法。
【請求項１３】
前記同期モジュールコードデータは、前記１以上の電子制御ユニットおよび前記シミュレーションコードデータの前記制御ソフトウェアコードデータの実行可能機能の実行順序と実行タイミングを示す、実行可能機能を記述しており、特に前記制御ソフトウェアコードデータの機能を、前記シミュレーションコードデータの機能とは異なる頻度で実行できるようにする  
ことを特徴とする請求項１２記載の方法。
【請求項１４】
被制御システムの制御ソフトウェアをテストする検証システムであって、
前記被制御システムは、１以上の電子制御ユニット、１以上のアクチュエータ、および１以上のセンサを備え、各前記センサは、前記１以上の電子制御ユニットのうち少なくとも１つに対して個々のセンサ信号を入力するように構成され、各前記アクチュエータは、前記電子制御ユニットのうち少なくとも１つから入力される個々の制御信号に応答して動作するように構成され、各前記電子制御ユニットは、制御ソフトウェアコードデータに基づき個々の実行可能制御プログラムを実行し、入力センサ信号に基づき前記１以上のアクチュエータに対して１以上の制御信号を出力するように構成され、
前記検証システムは、
前記１以上の電子制御ユニットそれぞれの制御ソフトウェアコードデータを提供し、前記被制御システムのシミュレーションコードデータを提供するように構成された、データ提供ユニット、
前記提供するシミュレーションコードデータおよび前記１以上の電子制御ユニットそれぞれに対して提供される制御ソフトウェアコードデータに基づきシステムモデルを生成するように構成されたシステムモデル構築器、
前記生成したシステムモデルに基づき実行可能プログラムを生成するように構成されたコンパイラ、
前記実行可能プログラムに基づきソフトウェア検証プロセスを実施するように構成された検証ユニット、
を備えることを特徴とするシステム。
【請求項１５】
コンピュータ読取可能媒体上に格納し、コンピュータデバイスが実行することができる、コンピュータプログラム手段を備え、
前記コンピュータプログラム手段は、請求項１から１３のいずれか１項記載の方法のステップを前記コンピュータデバイスに実施させる、実行可能命令を有する
ことを特徴とするコンピュータプログラム。