AbsInt Angewandte Informatik GmbH

AbsInt是dSPACE Product Partner。可用于分析运行时错误、堆栈溢出和定时错误

AbsInt 已成功开发工具，对事关安全的嵌入式软件进行验证、检验并认证。这些静态分析工具采用抽象的计算解译，保证结果可靠，对所有程序运行以及任何可能的输入场景均有效。通过与 dSPACE 携手合作，AbsInt 已开发出 TargetLink 与 AbsInt 工具 Astrée（运行时间错误分析）、StackAnalyzer（堆栈分析）以及 aiT WCET Analyzer（静态最坏执行时间分析）之间的工具集成。这就意味着运行时间错误、堆栈溢位以及计时错误可从 TargetLink 模型内进行检测，显著提高分析结果，最大化减少虚假警报。鉴定支持套件适用于 AbsInt 工具，可根据现有安全标准对工具进行鉴定。

合作伙伴项目的互补产品 简单描述 相关 dSPACE 产品
Astrée 运行时间错误分析 TargetLink
aiT WCET Analyzer 计时分析 TargetLink
StackAnalyzer 堆栈需求分析 TargetLink
TimingProfiler 计时分析 TargetLink

网址 http://www.absint.com/

通过 dSPACE时事通讯服务了解最新信息。

通过 dSPACE 时事通讯服务，我们将随时向您通报当前的使用案例、新解决方案和产品以及培训和活动。在此注册，免费订阅。

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.