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/
最新の技術開発動向をつかんで、イノベーションを加速。
メールマガジンの購読希望・変更/配信停止手続き