ホーム > 製品・サービス情報 > モデル中核開発事業 > モデルベース開発リバースモデリング代行サービス

モデルベース開発 リバースモデリング代行サービス

モデルベース開発の基盤となるMATLAB/Simulinkモデル作成を代行
既存の組込みレガシーコードからMATLAB/Simulinkモデルをリバース作成
作成したモデルの妥当性を 単体テストツールで確認


モデルベース開発対応のための モデル整備作業をガイオが代行

基盤となるモデル作成をガイオがサポート!

自動車ソフト開発、機械制御システム開発においては、品質改善・開発効率化を目的として、MATLAB/Simulinkを使用した「モデルベース開発」が盛んに行われるようになりました。しかしながら、このモデルベース開発を進めるためには、ドキュメント化された仕様書やレガシーコードをMATLAB/Simulinkモデルとして資産化する必要があります。ガイオでは、このモデル整備作業を、モデルベース開発のサービスとして行っています。

単体テストを実行して 作成したモデルの妥当性を検証

組込み系ソフトの単体テストサービス、単体テストツール提供を通じて蓄積したノウハウを使用して、作成したMATLAB/Simulinkモデルから、オートコーダーを介して生成したコードに単体テスト検証を行うことにより、作成モデルの妥当性を確認する作業も行っています。ここには、単体テストツール「カバレッジマスターwinAMS」を使用しています。

 

リバースモデリング代行サービスの内容


MATLAB/Simulinkを用いたモデルベース開発の基盤となるモデルを レガシーコードからリバース作成

本サービスは、既存のレガシーコードなど、モデルベース開発適用前の組込みソフト資源に対して、モデルベース開発を行うために必要なMATLAB/Simulinkモデルの作成作業を代行するサービスです。

リバース作成したモデルの妥当性を単体テストツールを使用して検証

リバース作成したMATLAB/Simulinkモデルの妥当性を評価するために、モデルからオートコードジェネレータ(ACG)を利用して生成したソースコードと、元のレガシーコードの単体テスト結果を比較検証します。

モデリングサンプル

下の図は、C言語記述のレガシーコードをモデル化した例です。



モデルベース開発サポートのご相談お問い合わせは

ガイオ・テクノロジー営業部まで、お気軽に。

  お問い合わせ先

参考情報・リンク