HOME | products | LDRA | Simulink_LDRA

Simulink モデル自動生成コードの検証支援

LDRA と MathWorks は、Simulink に LDRA ツールスイートを統合。

モデルから自動生成されるコードのインデペンデントな検証を支援。
ISO 26262 で推奨されるモデルとコードの一致性確認(Back-to-Backテスト)や、MISRA プログラミングスタンダードチェックなど各種静的解析、そして要件からテストに至る双方向のトレーサビリティを支援できる。
 
LinkIcon Simulink 統合動画デモ:Simulinkの設定画面からLDRAを選択してシミュレーション実行。結果のカバレッジ表示。コールグラフ・フローグラフから未実行パスを特定し、TBrun から追加の単体テストを実行。加えてコードからテストケースの自動生成・実行ができることも紹介。
 

 

LinkIcon Simulinkモデルベース開発と検証:スタンダード認証、ツール認定等のテクニックを、MathWorks 社 と LDRA 社の講師がデモを交えて紹介。ツール連携により、認証プロジェクトのリスクと費用を飛躍的に軽減できる

Fairchild Controls 社:自動生成コードの検証効率を改善


ボーイング社 767 の空中給油システムの開発、及びDO-178B の認証取得を目的にLDRAツールスイートの静的解析、動的解析機能を採用。 MathWorks社 Real-Time Workshop の自動生成コードの検証に活用して開発効率を1000%改善!
Fairchild Controls 社はエアバスなど含む欧州航空宇宙・防衛最大手のEADS社のグループ企業です。

”LDRAツールスイートは弊社の開発プロセスや手法にとって極めて重要。開発早期段階にエラーを検出し、開発コストを削減して生産性を向上させることができている”

 

”弊社では将来に向けてツールによって完全に支援される開発プロセスに取り組んできた。そして LDRAツールスイートの導入によりプロセスを自動化し、開発効率を1000%改善できた”  Dr Haik Biglari, Chief Design Engineer Fairchild Controls 社