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