TNI-Software 是一家著名的嵌入式系统软件设计验证工具提供商。该公司的产品覆盖了需求管理（Reqtify）、联合仿真 (cosimate) 、实时架构仿真 (RT-Builder) 、模型验证 (STB 、 SCB) ，代码验证 (improve-C) 等领域。

Reqtify

Reqtify是基于文件的需求管理解决方案（Simulink、Word 文件、UML模型、代码文件），可以与工程师主要的工作环境（Simulink, UML工具以及代码编辑器等）协同工作。Reqtify可对包含需求信息的模型、代码文件直接进行需求分析。

它的处理能力涵盖了以下方面：

• UML工具软件：Rose,Objecteering,Rhapsody
• 建模仿真工具：Simulink,Statemate,Scade,RTBuilder,System Architect
• 代码语言文件：C,C++,Ada,SDL,VHDL,Verilog,Matlab(.m)文件
• 配置管理软件：Clearcase,CVS,PVCS
• 硬件设计工具：VisualElite,VNCover等

Reqtify是基于数据库的需求管理工具（Cradle，DOORS, RTM,CORE……）很好的补充工具，同时又可直接胜任项目级的需求管理。在欧洲汽车和航空领域Reqtify非常知名。包括AIRBUS的A340和A380软件和航电系统、THALES、MBDA导弹软件开发、ALCATEL Space卫星地面站工程应用等都利用了这款工具。在美国，GE用它来在软件开发过程中做需求追踪。

在汽车，航空，和通信系统中，设计越来越复杂，而且涉及到的领域越来越广泛。越来越需要不同领域的专家熟练使用不同的开发和验证工具来协同工作。此时，系统设计工程师往往希望能够在一个集成 Simulink/Stateflow、 Statemate、Rhapsody、手工代码等开发工具的统一平台上进行不同抽象级别的系统仿真。Cosimate完成的就是这个工作。CosiMate是一个开放式总线环境，允许多个仿真软件相互通信，其中包括Simulink, Statemate, ObjectGeode, ModelSim, Ncsim, Saber, AMESim,SystemC,C/C++, VHDL等。并且即将支持Dynasim、Carsim、Easy5、Simplorer等仿真软件。

RT-Builder

RT-Builder是用于建模、仿真、验证动态实时结构（包括多总线 ，多处理器）的一套完整解决方案 。通过 RT-Builder，用户能够建模仿真以及验证实时的规范，并且在不具备硬件原型的条件下也能够深层次的开发实时架构原型。使用RT-Builder，用户可以虚拟全部的实时概念（实时操作系统，任务，总线，ECU, 调度，抢占，资源…… ） 以及 搭建各种分布式多处理器系统的架构模型（基于各种总线CAN,FlexRay,LIN……）。

用户还能够导入 Simulink/Stateflow设计模型和C代码（包括从模型生成的代码和已有代码）到RT-Builder里，从而进行功能性的行为仿真，以满足全局结构设计的需求。

RT-Builder已广泛应用于控制系统、嵌入式软件、实时系统、信号处理等专业领域。著名用户包括MBDA, Thales和空客等。

Saftety Checker Blockset

SCB是一个在Simulink/Stateflow中一个扩充模块库 。通过该工具可实现在不改变模型结构，不运行模型的前提下验证模型的可靠性。

Safety Test Builder

STB用来自动测试Simulink/Stateflow模型及其转换来的执行代码。标致、MBDA、德尔福等著名企业都是该模块的用户。