東芝情報システム株式会社

モデルベース開発移行ソリューション 「サービスメニュー」

当社のモデルベース開発移行ソリューションでは、お客様がモデルベース開発に容易に移行できるよう、従来のモデルベース開発サービスメニューに、以下のメニューを追加しました。

レガシーコード分析
「メトリック分析」「構造分析」「方式/方針分析」
レガシーコード検証
「レガシーコード => s-funnction」「MILS検証」「結果レポート作成」

レガシーコード分析

レガシーコード分析では、お客様の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検証 検証結果
(検証ログ)
(タイミングチャート)
妥当性検証 設計検証データ 実証検証 検証結果
(検証ログ)
(タイミングチャート)

お気軽にお問い合わせください。当社の製品・サービスは企業・団体・法人様向けに販売しております。

電話番号044-246-8320

受付時間:9:00~17:45
但し、土曜・日曜・祝日および当社休業日を除く