TNI-Software 是一家著名的嵌入式系統(tǒng)軟件設(shè)計(jì)驗(yàn)證工具提供商。該公司的產(chǎn)品覆蓋了需求管理（Reqtify）、聯(lián)合仿真 (cosimate) 、實(shí)時(shí)架構(gòu)仿真 (RT-Builder) 、模型驗(yàn)證 (STB 、 SCB) ，代碼驗(yàn)證 (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è)計(jì)工具：VisualElite,VNCover等

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

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

RT-Builder

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

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

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

Saftety Checker Blockset

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

Safety Test Builder

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