AbsInt Angewandte Informatik GmbH

AbsInt社は、ランタイムエラー、スタックオーバーフロー、およびタイミングエラー分析に関するdSPACE製品パートナーです。

AbsInt社は、セーフティクリティカルな組込みソフトウェアの妥当性確認および検証用ツールを開発しています。これらの静的な解析ツールは、計算処理の抽象的解釈を使用して、すべてのプログラム実行およびあらゆる入力シナリオで有効な信頼性の高い結果を保証します。AbsInt社は、dSPACEと協力してTargetLinkとAbsInt社製ツールのAstrée(ランタイムエラー解析)、StackAnalyzer(スタック解析)、およびaiT WCET Analyzer(ワーストケース実行時間解析)とのツール統合を開発しています。これにより、ランタイムエラーやスタックオーバーフロー、タイミングエラーが TargetLinkモデル内から検出でき、解析結果の精度を大幅に向上させ、誤った警告を最小に抑えます。AbsInt社製ツールでは、最新の安全規格に準拠したツール認定ができる認定支援キットが利用可能です。

パートナープログラムの補完製品 簡単な説明 関連するdSPACE製品
Astrée 実行時エラー解析 TargetLink
aiT WCET Analyzer タイミング分析 TargetLink
StackAnalyzer スタック要求分析 TargetLink
TimingProfiler タイミング分析 TargetLink

Webサイト: http://www.absint.com/

最新の技術開発動向をつかんで、イノベーションを加速。

メールマガジンの購読希望・変更/配信停止手続き

Enable form call

At this point, an input form from Click Dimensions is integrated. This enables us to process your newsletter subscription. The form is currently hidden due to your privacy settings for our website.

External input form

By activating the input form, you consent to personal data being transmitted to Click Dimensions within the EU, in the USA, Canada or Australia. More on this in our privacy policy.