TASKING是一家国际领先的嵌入式软件开发工具供应商，TASKING开发工具被汽车制造商和世界上最大的一级供应商广泛用于实现在安全关键领域的高性能领域的应用。汽车行业和相关行业的客户相信基于TASKING开发工具可以开发出最佳的应用程序，同时实现极高的可靠性、功能安全性和产品性能。TASKING公司成立于1977年，总部位于德国慕尼黑，1986年进入编译器工具领域，1990年开始为Infineon产品设计软件工具，TASKING于2014年加入AUTOSAR，在欧洲、美国、中国、印度、日本设有销售、支持团队以及运营团队。目前应用于英飞凌MCU的TASKING开发工具作为公司重要产品，开发流程依据ASPICE Capability Level 2标准，并于2019年获得TÜV Nord功能安全产品认证，获得ASIL-D等级认证证书。

Green Hills Software成立于1982年，是一家私营公司，e的平均年收入增长率接近30%，目前是世界上最大的独立RTOS公司。总部位于加利福尼亚州圣巴巴拉，欧洲总部位于英国。Green Hills Software的技术和服务已被50多个国家的知名公司选中，用于制造从MP3播放器到大型喷气式飞机的电子产品。其开放式架构集成开发解决方案解决了军事/航空电子、医疗、工业、汽车、网络、消费者和其他需要行业认证解决方案的市场的深度嵌入式、绝对安全和高可靠性应用。

BTC Embedded Systems于1999年在德国奥尔登堡成立。 我们从一个雄心勃勃的目标开始：将复杂而强大的数学验证和测试方法从学术象牙塔取出，并将它们用于现实生活中基于模型的软件开发项目。 我们仍然致力于这一目标，凭借遍布全球的业务和180多名员工，我们自豪地回顾了20年来在形式验证，模型检查和自动测试生成等领域的技术市场领导地位。 如今，我们的 ISO 26262 认证产品被世界各地的汽车制造商和供应商用于安全关键嵌入式软件的自动化测试和验证。

iSYSTEM提供一系列嵌入式软件和硬件工具解决方案，携手合作，帮助您确保应用程序代码符合相关功能安全标准，或提高嵌入式软件的质量。

Tessy是一个专门针对嵌入式软件的C/C++代码进行单元、集成测试的工具，它可以自动化地执行测试、评估测试结果并生成测试报告。Tessy的目标就是：通过自动化整个测试周期，完美支持针对C语言的单元测试/集成测试，同时，Tessy也同样关注测试组织和测试管理。 Tessy软件源自戴姆勒-奔驰公司的软件技术实验室，在戴姆勒-奔驰公司得到广泛的使用，1997年之后独立成为专业的软件测试工具公司Razorcat，由德国Hitex负责全球销售及技术支持服务。

倍睿软件（上海）有限公司（Parasoft）是美国的一家软件测试公司，总部位于美国洛杉矶。 Parasoft成立1987年，在此期间持续不断地对“软件缺陷为何被引入到应用程序中”这一课题进行深入研究，帮助商业机构高效交付无缺陷软件。作为备受业界关注并给予好评的 ADP （软件自动化缺陷预防）理论的创始者，在30多年的发展历程中，Parasoft已经成为全球领先的自动化软件错误预防工具及软件生命周期管理解决方案提供商。其产品横跨单元测试、静态分析、动态分析、API测试、功能测试、压力性能测试、信息安全测试等；以及自动化测试解决方案支持最多的主流开发技术，如C/C++、Java、WSDL、XML、.NET、SOA、Web等；关注于多种业务领域及项目开发，如金融、电信、医疗、军工、汽车、教育等行业

IAR是全球领先的嵌入式系统处理器编程软件提供商。IAR Systems是全球领先的嵌入式系统开发工具和服务的供应商。公司成立于1983年，提供的产品和服务涉及到嵌入式系统的设计、开发和测试的每一个阶段，包括：带有C/C++编译器和调试器的集成开发环境(IDE)、实时操作系统和中间件、开发套件、硬件仿真器以及状态机建模工具。IAR Embedded Security是一家专注于物联网的高级安全解决方案供应商。提供客户所需的解决方案，以在当今数字产品和未来创新的开发中创造必要的安全性和有保证的质量。 IAR的产品被世界上许多最大的公司和数千家中小型公司用于一系列行业，如汽车行业、工业自动化、医疗技术、消费电子和物联网（IoT）。