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

产品代码生成:dSPACE 与 AbsInt 携手合作

  • AbsInt 目前是 TargetLink 合作伙伴
  • aiT、StackAnalyzer 和 Astrée 工具与 TargetLink 相耦合
  • 自动实现分析配置,分析结果更精确
 
帕德博恩,2014 年 2 月 12 日:AbsInt Angewandte Informatik GmbH 目前成为 dSPACE GmbH 的合作伙伴,并且是 TargetLink 合作伙伴计划的成员。双方正致力于将 AbsInt 的分析工具 − aiT、StackAnalyzer 和 Astrée − 与产品代码生成器 dSPACE TargetLink 耦合在一起。由于模型规范错误而导致的计时错误、堆栈溢位及运行时间错误现在可以直接在 TargetLink 模型内部进行分析,并能在早期开发阶段可靠地检测出来。很大程度上可以配置为自动分析,以提供更精确的结果。
 

工具的耦合能在实施级别将基于模型的软件开发与非功能性要求验证结合起来。这会提供一种无缝集成式开发,包括从模型的设计到产品代码的生成以及认证,从而缩短了开发时间,同时也提升了软件质量。

Contact Information