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 |
推动创新进程。我们始终在技术开发的最前沿。
欢迎订阅我们简讯，了解我们的专业技术以及产品。希望我们的成功案例能够对您有所帮助。快速了解仿真和验证的最新信息。欢迎订阅/管理dSPACE简讯和dSPACE航空速报。