TR-Electronic公司位于德国特罗辛根，主营业务为研发与制造工业自动化领域的传感器和执行器。其产品包括旋转编码器、线性编码器、智能紧凑型驱动器，以及控制和测量模块等。公司的自动化解决方案固件需要依靠架构模型，这些模型同时为各个业务部门的进步和新项目研发提供支持。目前，TR-Electronic将通过Axivion Suite引入新的静态代码分析功能，确保一致地执行定制要求，并满足严苛的安全标准。
“Axivion Suite是我们固件开发中质量保证的又一个关键组成部分，尤其是在满足工业环境日益严格的安全和安保需求方面。”
TR-Electronic 的测量和控制解决方案广泛应用于众多领域，包括金属和木材加工、印刷和包装行业，以及事件工程和风力涡轮机等。公司为高品质的标准产品和定制解决方案开发的固件，都要求具备精心设计的系统架构。这样，TR-Electronic 能确保各种固件版本易于管理，并长期保障其安全稳定的发展。
要严格遵循软件架构师制定的架构模型，唯一的方法就是采用一致的、基于工具的架构分析方法。为此，开发团队必须将分析软件工具无缝地融入开发过程。除了检查代码是否遵循固件现有的架构模型外，分析工具还需要向架构师提供关于设计的反馈，以帮助他们对模型进行进一步优化。
另一个对分析工具的要求涉及安全性和安全分析。随着 TR-Electronic 的传感器和执行器越来越多地被应用于工业4.0环境及用于监测关键设备安全功能，技术安全标准日益严格，以保护联网生产设备免受恶意软件和未授权访问的威胁。因此，所选工具还需要能执行安全性和安全分析，预防系统性安全隐患，包括自动检查程序是否符合CERT®等相关编程指南。另外，新套件还需要尽可能顺利地替代之前用于检查MISRA C:2012编码规范的静态代码分析工具。
Axivion Suite完全符合此需求，因为Axivion Suite可以精确的分析和轻松融入TR-Electronic现有工具链和开发流程。将现有的静态代码分析工具迁移到Axivion Suite的过程非常快速、顺利，Axivion专业服务团队的定制过程也同样如此。
该工具套件将用于分析用C编程语言开发的代码。集成的MISRA检查器将覆盖编程标准MISRA C:2012中所有可自动检查的MISRA规则以及安全方面的内容。作为架构验证的一部分，现有的Enterprise Architect UML模型将被自动导入并检查代码是否符合规范。Axivion Suite将融入TR-Electronic测试构建工具链，对于软件来说，其中至关重要的是符合CERT®编程规范。
TR-Electronic此前部署了一些测试工具，用于自动检查固件的外部质量，例如功能适用性、效率等。随着Axivion Suite的引入，现在还拥有了一款高效的工具，用于自动检测软件的内部质量。
此工具套件将在每次构建后负责自动检查固件代码和架构。分析能够可靠地检查指标阈值的遵循情况，以及公司特定的和通用的编程规则（如MISRA和CERT®），并指出违反既定软件架构的情况。架构验证确保始终符合接口要求，以便支持各个模块的封装。
在持续的代码开发过程中，尤其是在出现架构违例的情况下，迅速的反馈周期很快对编程质量产生了正面效果。这得益于定期且有意义的反馈，不仅可以促使编码及时进行修正，还可以帮助开发者更快地学习和掌握技能。
总体而言，TR-Electronic大幅减少了在验证软件架构和代码方面所需的人力成本。同时，Axivion Suite通过确保固件开发的安全性，完善了开发团队现有的工具链。
TR-Electronic专注于为自动化技术产业开发、制造和销售传感器及执行器。旋转编码器业务部门的产品采用光学或磁学扫描，用于检测旋转轴的角度运动。磁致伸缩线性编码器可以在不接触的情况下测量线性运动的位移，例如在液压缸内的应用。运动业务部门的智能紧凑驱动器可作为执行器或过程驱动。定制的控制和测量模块融入了专业的压力和冲压技术，进一步完善了整个产品组合。组件业务部门提供自动化组件。自动化业务部门所提供的发展服务将升级压力线性能，并利用智能计量解决方案提高能源利用效率，实现远程监控水供网络和智能加热自动化。
TR-Electronic的主要客户为机械和设备制造行业，在德国有悠久传统。公司总部位于德国特罗辛根，在欧洲、美国、加拿大、巴西和亚洲的子公司和技术销售伙伴为其提供专业建议和项目规划，确保全球范围内的客户可以使用TR产品系列。
Axivion公司总部位于德国斯图加特，是一家为静态代码分析和防止软件侵蚀提供创新软件解决方案的供应商。Axivion的核心产品是Axivion Suite，这是一款用于提高用C、C++和C＃编程语言实现的软件系统的软件质量和可维护性的工具套件。除了静态代码分析之外，该工具套件还包括用于架构验证和代码克-隆管理的创新软件工具。此外，该工具套件还能发现软件侵蚀因素，如周期检测、死代码和编码违规。
Axivion的MISRA检查器支持100%的所有可自动测试的MISRA规则，符合MISRA C:2004，MISRA C:2012和MISRA C++:2008等标准。此外，该工具还支持AUTOSAR C++ 14样式指南以及CERT®安全编程规范标准。
Axivion的专业服务团队致力于为客户提供实用方法、培训方案和咨询，以确保工具得到高效且有效地推广与应用。
Axivion的客户涵盖了在各行业从事创新技术软件开发的公司，如工业自动化、汽车、铁路、电子、信息与通信、航空电子、医疗、机械工程，以及测量、控制和调节技术等领域。
自2022年8月起，Axivion公司已加入Qt Group旗下。
*图片版权所有：TR-Electronic GmbH（位于斯图加特）
深圳市优飞迪科技有限公司成立于2010年，是一家专注于产品开发平台解决方案与物联网技术开发的国家级高新技术企业。
十多年来，优飞迪科技在数字孪生、工业软件尤其仿真技术、物联网技术开发等领域积累了丰富的经验，并在这些领域拥有数十项独立自主的知识产权。同时，优飞迪科技也与国际和国内的主要头部工业软件厂商建立了战略合作关系，能够为客户提供完整的产品开发平台解决方案。
优飞迪科技技术团队实力雄厚，主要成员均来自于国内外顶尖学府、并在相关领域有丰富的工作经验，能为客户提供“全心U+端到端服务”。
