For a better experience on dSPACE.com, enable JavaScript in your browser. Thank you!

量産コード生成:dSPACEとAbsInt社の協力関係

  • AbsInt社がTargetLinkパートナーに
  • aiT、StackAnalyzer、Astréeの各ツールがTargetLinkと連携
  • より正確な分析結果を提供する自動分析設定
 
パーダーボルン、2014212AbsInt Angewandte Informatik GmbHは、dSPACE GmbHとの協力関係のもと、TargetLinkパートナープログラムのメンバーとなりました。dSPACEでは、AbsInt社と協力し、同社の解析ツールであるaiT、StackAnalyzer、Astréeを、量産コード生成ツールであるTargetLinkと連携させる作業を進めています。これにより、開発の早期の段階で、モデル定義の誤りに起因するタイミングエラー、スタックオーバーフロー、およびランタイムエラーをTargetLinkモデル内から直接解析し確実に検出できるようになります。解析の多くを自動的に行うように設定できるため、より正確な結果を得ることができます。
 
このツール連携によって、モデルベースのソフトウエア開発とインプリメンテーションレベルでの非機能的要件の検証を並行して行えます。また、モデル設計から量産コードの生成および認証までがシームレスに統合されるため、開発時間の短縮とソフトウエア品質の向上を同時に達成できます。

お問い合わせ