プロダクトライン開発のバリアント管理支援ツール、テスト自動化支援ツール を出展しました
モデルから自動生成されるコードのインデペンデントな検証を支援。
モデルとコードの一致性検証や、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 社