加速运行分析促进软件开发
2022 年 11 月 15 日 - 具有实时性要求的安全关键型应用需要估算最坏情况下的程序运行时间。领先的工具专家劳特巴赫和 AbsInt 公司推出的新型解决方案使这种运行时间分析变得更加快速和简单。
在开发过程中，软件错误发现得越早，修复的效率就越高。在嵌入式系统的开发过程中，实时跟踪等方法是必不可少的。几十年来，劳特巴赫的 PowerTrace 模块一直是嵌入式行业实时跟踪的市场领导者，可提供有关程序流程、中断和任务切换的高度详细信息。
AbsInt 的工具 TimeWeaver 是检索和分析这些数据的基础，它使用实时跟踪测得的代码段执行时间来确定最坏情况执行时间 (WCET) 的最可靠估计值。
"AbsInt Angewandte Informatik GmbH 总经理 Christian Ferdinand 博士说："由于我们之间的良好合作，WCET 分析现在更适用于更复杂的处理器。 "Lauterbach GmbH 总经理 Norbert Weiss 解释说："通过利用我们的实时跟踪数据进行静态 WCET 分析，嵌入式软件开发人员现在可以更快地实现他们的目标。Lauterbach GmbH 总经理 Norbert Weiss 解释说："与 AbsInt 的联合解决方案极大地改进了安全关键型应用的开发，尤其是那些具有实时性要求的应用"。
在两家公司的密切合作下，通过压缩和创新优化，交换数据所需的内存现在已大幅减少，这意味着 TimeWeaver 可以更快地提供结果，同时所需的内存也更少。
PowerTrace 和 TimeWeaver 的组合支持当前所有的 CPU架构 ，甚至是复杂的异构 SoC，是业界速度最快的跟踪工具，适用于需要进行 WCET 运行时分析的所有嵌入式项目。
关于 AbsInt
AbsInt 为嵌入式系统提供最先进的开发工具，专注于安全关键软件和安全相关软件的验证、核查和认证。主要产品包括用于验证编码指南、时序和堆栈使用分析、检测 C/C++ 代码中关键编程错误的静态分析工具，以及经过正式验证的compiler CompCert。最近，CompCert 的开发荣获了著名的 ACM 软件系统奖： https://awards.acm.org/software-system. AbsInt 成立于 1998 年，是一家总部位于德国萨尔布吕肯的私营公司。我们的客户来自全球 40 多个国家和地区，涉及航空航天、汽车、医疗和能源等多个行业。 https://www.absint.com/success.htm.
欲了解更多信息，请访问 www.absint.com.
新闻联系人：Sylvie Tritz，AbsInt Angewandte Informatik GmbH： Sylvie Tritz, AbsInt Angewandte Informatik GmbH. 德国萨尔布吕肯科学园 1 号 66123
电话：+49 (681) 38 360 23+49 (681) 38 360 23 电子邮件： press@absint.com
关于劳特巴赫
劳特巴赫是嵌入式系统尖端开发工具的领先制造商，拥有 40 多年的丰富经验。它是一家历史悠久的国际化公司，为世界各地的客户提供服务，与所有半导体制造商建立了合作伙伴关系，并在稳步发展。在慕尼黑附近的霍恩基兴总部，工程团队开发并生产高度精通、专业化、易于使用的开发工具。劳特巴赫在英国、意大利、法国、突尼斯、美国东西海岸、日本和中国都设有分公司，在许多其他国家也有高素质的销售和支持工程师，使劳特巴赫的产品范围遍布全球。
在这个页面上，您可以下载我们的《劳特巴赫新闻》的印刷版和社会媒体版。如果您有任何关于出版物的问题，请联系Evi Ederer:press@lauterbach.com