TrustInSoft 发布了其旗舰产品 TrustInSoft Analyzer (TISA) 的最新版本，该版本进行了重大改进，通过 AI 驱动的存根和驱动程序生成、简化的跨多个平台部署以及使用形式化方法改进的 MC/DC 覆盖率分析，提高了易用性。.
TrustInSoft Analyzer凭借其强大的形式化方法，提供了独一无二的保障。这种方法与人工智能在分析和测试中的应用完美互补。我们将人工智能的高效性与形式化方法的可测量性和精确性相结合，”TrustInSoft首席执行官Caroline Guillaume表示。“物联网、汽车和国防等行业的开发团队将受益于人工智能与形式化方法相结合，从而更高效地扩展C、C++和Rust代码验证。”.
2026 年 4 月版本更新内容：
AI 驱动的测试驱动程序和桩代码生成。
只需一键设置，即可利用 AI 即时生成上下文感知的测试驱动程序和桩代码。此功能将显著降低分析工作量，同时保持关键任务系统合规性所需的一致性和准确性。Rust
支持的图形界面。
通过将所有工作流程（从设置到根本原因调查和报告）集成到增强的图形界面中，实现可用于生产环境的 Rust 分析。
使用形式化方法进行 MC/DC 覆盖率分析。
通过基于形式化方法的输入泛化实现 MC/DC 覆盖率合规性，从而显著降低 ISO 26262 等标准的验证工作量。
研华科技宣布推出全新软件产品：GenAI Studio，该软件基于研华边缘人工智能SDK，旨在满足市场对高性价比本地化大型语言模型（LLM）解决方案日益增长的需求。此举旨在普及LLM的应用…….
下一代半导体和印刷电路板 (PCB) 设计将由两大并行需求定义：加速核心引擎和提高工程师效率。在引擎方面，业界正在整合机器学习和…….
ABB推出了一款新的应用程序，使客户和ABB服务团队能够全天候监控其UPS系统。ABB Ability™ SmartTracker应用程序适用于iOS和Android系统。.
ABB推出了一款新的应用程序，使客户和ABB服务团队能够全天候监控其UPS系统。ABB Ability™ SmartTracker应用程序适用于iOS和Android系统。.
研华科技宣布推出全新软件产品：GenAI Studio，该软件基于研华边缘人工智能SDK，旨在满足市场对高性价比本地化大型语言模型（LLM）解决方案日益增长的需求。此举旨在普及LLM的应用…….
ABB推出了一款新的应用程序，使客户和ABB服务团队能够全天候监控其UPS系统。ABB Ability™ SmartTracker应用程序适用于iOS和Android系统。.
研华科技宣布推出全新软件产品：GenAI Studio，该软件基于研华边缘人工智能SDK，旨在满足市场对高性价比本地化大型语言模型（LLM）解决方案日益增长的需求。此举旨在普及LLM的应用…….
罗克韦尔自动化发布了 AADvance Workbench 2.0，旨在帮助制造商优化过程安全应用，从而提高运行速度。AADvance Workbench 2.0 非常适合需要灵活架构、分布式安全和混合 SIL 等级的解决方案…….
AFEISA 的 LX-GPS 系统（最多包含三个照度探头，具有 GPS 位置捕获功能，可在 Windows 环境下记录照度测量值）有了新的更新。.
研华科技（Advantech）是一家提供嵌入式平台和集成服务的公司，宣布推出SUSIAccess 2.0的Linux版本。SUSIAccess 2.0是一款创新的远程设备管理软件，预装在所有研华嵌入式解决方案中，可实现远程监控…….
西班牙 - 马德里 - 版权所有 © Convertronic 专业西班牙电子杂志。.
