HOME | products | LDRA | Simulink_LDRA

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

モデルから自動生成されるコードのインデペンデントな検証を支援。
モデルとコードの一致性検証や、MISRA やCERTのスタンダードチェックなど各種静的解析、そして要件からテストに至る双方向のトレーサビリティを支援する。
 

 

動画の内容:Simulinkの設定画面からLDRAを選択してシミュレーション実行。結果のカバレッジ表示。フローグラフから未実行パスを特定し、TBrun から追加の単体テストを実行。

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 社