モデルベース開発移行ソリューション 「サービスメニュー」
当社のモデルベース開発移行ソリューションでは、お客様がモデルベース開発に容易に移行できるよう、従来のモデルベース開発サービスメニューに、以下のメニューを追加しました。
レガシーコード分析
レガシーコード分析では、お客様のC言語ソースコード(レガシーコード)から、メトリック分析、構造分析、方式/方針分析を実施します。
メトリック分析
メトリック分析では、レガシーコードをソフトウェア品質特性の観点から分析し、品質の定量化を行います。成果物として、メトリック分析結果を提供します。
構造分析
構造分析では、レガシーコードにおける関数や変数といったソフトウェアの構成要素を解析し、構造の可視化を行います。成果物として、構造分析結果を提供します。
方式/方針分析
方式/方針分析では、メトリック分析・構造分析の結果をもとに、レガシーコードをモデルベース開発へ移行するための方式/方針を定義します。成果物として、方式検討書を提供します。
レガシーコード検証
レガシーコード検証では、お客様のC言語ソースコード(レガシーコード)から、レガシーコード => s-funnction、MILS検証、結果レポート作成を実施します。
レガシーコード => s-funnction
レガシーコード => s-functionでは、レガシーコードからSimulinkモデルに組み込んでシミュレーション可能にするための制御ブロックを作成します。成果物として、MILSモデルを提供します。
MILS検証
MILS検証では、MILSモデルをシミュレーションし、s-functionを組み込んだモデルの動作検証を行います。成果物として、設計検証結果/カバレッジレポートを提供します。
結果レポート作成
結果レポート作成では、MILS検証の結果とレガシープログラムを実行した結果とを比較し、移行したモデルの妥当性を検証します。成果物として、レガシー/モデル比較結果レポートを提供します。
サービスメニュー
お客様が行っていたレガシー開発から、モデルベース開発の課題解決に向けた、サービスメニューを拡充しましたので、ご興味のある方は、是非ご相談ください。
...モデルベース開発ソリューションメニュー
...モデルベース開発移行ソリューション追加メニュー
プロセス | お客様の提出物 | 作業内容 | 成果物 |
---|---|---|---|
レガシーコード分析 | レガシーコード (Cソース) |
メトリック分析 | メトリック分析結果 |
構造分析 | 構造分析結果 | ||
要求方式 | 要求一覧 | ||
方式/方針検討 | 方式検討書 | ||
要求分析 | 要求一覧 | ユースケース分析 | ユースケース図 |
シナリオ作成 | シナリオ | ||
ロバストネス分析 | ロバストネス分析図 | ||
タイミングチャート作成 | タイミングチャート | ||
システム設計 | 要求一覧 ユースケース図 シナリオ ロバストネス分析図 タイミングチャート |
設計モデル作成 | 設計モデル |
プラントモデル作成 | プラントモデル | ||
ハーネスモデル作成 | ハーネスモデル | ||
アサーションモデル作成 | アサーションモデル | ||
設計検証データ作成 | 設計検証データ | ||
MILS検証 | 設計検証結果/ カバレッジレポート |
||
レガシーコード検証 | レガシーコード | レガシーコード => s-function |
MILSモデル |
MILS検証 | 設計検証結果/ カバレッジレポート |
||
結果レポート作成 | レガシー => モデル 比較結果レポート |
||
ソフトウェア設計~ ソフトウェア検証 |
設計モデル | 実装モデル作成 | 実装モデル |
自動生成 | Cソース | ||
アサーションモデル作成 | アサーションモデル | ||
SILS検証 (BackToBack検査) |
検査結果/ カバレッジレポート |
||
機能検証 システム検証 |
Cソース ECU 設計検証データ ハーネスモデル アサーションモデル |
HILS構築 | HILS環境 |
設計検証データ | HILS検証 | 検証結果 (検証ログ) (タイミングチャート) |
|
妥当性検証 | 設計検証データ | 実証検証 | 検証結果 (検証ログ) (タイミングチャート) |