TNI-Software 是一家著名的嵌入式系統(tǒng)軟件設(shè)計驗證工具提供商。該公司的產(chǎn)品覆蓋了需求管理（Reqtify）、聯(lián)合仿真 (cosimate) 、實時架構(gòu)仿真 (RT-Builder) 、模型驗證 (STB 、 SCB) ，代碼驗證 (improve-C) 等領(lǐng)域。

Reqtify

Reqtify是基于文件的需求管理解決方案（Simulink、Word 文件、UML模型、代碼文件），可以與工程師主要的工作環(huán)境（Simulink, UML工具以及代碼編輯器等）協(xié)同工作。Reqtify可對包含需求信息的模型、代碼文件直接進(jìn)行需求分析。

它的處理能力涵蓋了以下方面：

• UML工具軟件：Rose,Objecteering,Rhapsody
• 建模仿真工具：Simulink,Statemate,Scade,RTBuilder,System Architect
• 代碼語言文件：C,C++,Ada,SDL,VHDL,Verilog,Matlab(.m)文件
• 配置管理軟件：Clearcase,CVS,PVCS
• 硬件設(shè)計工具：VisualElite,VNCover等

Reqtify是基于數(shù)據(jù)庫的需求管理工具（Cradle，DOORS, RTM,CORE……）很好的補(bǔ)充工具，同時又可直接勝任項目級的需求管理。在歐洲汽車和航空領(lǐng)域Reqtify非常知名。包括AIRBUS的A340和A380軟件和航電系統(tǒng)、THALES、MBDA導(dǎo)彈軟件開發(fā)、ALCATEL Space衛(wèi)星地面站工程應(yīng)用等都利用了這款工具。在美國，GE用它來在軟件開發(fā)過程中做需求追蹤。

在汽車，航空，和通信系統(tǒng)中，設(shè)計越來越復(fù)雜，而且涉及到的領(lǐng)域越來越廣泛。越來越需要不同領(lǐng)域的專家熟練使用不同的開發(fā)和驗證工具來協(xié)同工作。此時，系統(tǒng)設(shè)計工程師往往希望能夠在一個集成 Simulink/Stateflow、 Statemate、Rhapsody、手工代碼等開發(fā)工具的統(tǒng)一平臺上進(jìn)行不同抽象級別的系統(tǒng)仿真。Cosimate完成的就是這個工作。CosiMate是一個開放式總線環(huán)境，允許多個仿真軟件相互通信，其中包括Simulink, Statemate, ObjectGeode, ModelSim, Ncsim, Saber, AMESim,SystemC,C/C++, VHDL等。并且即將支持Dynasim、Carsim、Easy5、Simplorer等仿真軟件。

RT-Builder

RT-Builder是用于建模、仿真、驗證動態(tài)實時結(jié)構(gòu)（包括多總線 ，多處理器）的一套完整解決方案 。通過 RT-Builder，用戶能夠建模仿真以及驗證實時的規(guī)范，并且在不具備硬件原型的條件下也能夠深層次的開發(fā)實時架構(gòu)原型。使用RT-Builder，用戶可以虛擬全部的實時概念（實時操作系統(tǒng)，任務(wù)，總線，ECU, 調(diào)度，搶占，資源…… ） 以及 搭建各種分布式多處理器系統(tǒng)的架構(gòu)模型（基于各種總線CAN,FlexRay,LIN……）。

用戶還能夠?qū)?Simulink/Stateflow設(shè)計模型和C代碼（包括從模型生成的代碼和已有代碼）到RT-Builder里，從而進(jìn)行功能性的行為仿真，以滿足全局結(jié)構(gòu)設(shè)計的需求。

RT-Builder已廣泛應(yīng)用于控制系統(tǒng)、嵌入式軟件、實時系統(tǒng)、信號處理等專業(yè)領(lǐng)域。著名用戶包括MBDA, Thales和空客等。

Saftety Checker Blockset

SCB是一個在Simulink/Stateflow中一個擴(kuò)充模塊庫 。通過該工具可實現(xiàn)在不改變模型結(jié)構(gòu)，不運行模型的前提下驗證模型的可靠性。

Safety Test Builder

STB用來自動測試Simulink/Stateflow模型及其轉(zhuǎn)換來的執(zhí)行代碼。標(biāo)致、MBDA、德爾福等著名企業(yè)都是該模塊的用戶。