TNI軟件公司 是一家服務于航天航空、公共交通、能源電力、汽車制造和工業自動化領域的全球領先的軟件設計和校驗工具提供商。 公司背景 TNI軟件公司 隸屬于TNI­；；-Valiosys集團。集團是由3個公司合并而成。1、Valiosys：軟、硬件形式化校驗領域的專家；2、TNI：實時嵌入式軟件設計工具的主要提供者；3、TransEDA：半導體EDA覆蓋分析和校驗解決方案的業界領先者。 今天，TNI-Valiosys集團的產品遍布全球。集團在北美、歐洲、中國和日本設有辦事處，在中國（包括臺灣地區）、新加坡、韓國、澳大利亞、德國和意大利擁有分銷網絡。 請點擊 這里 查找你所在地區的業務代表。 產品與技術 TNI軟件公司先進的產品和技術來源于和TIMA、INRIA、CNRS、CNET等歐美頂尖實驗室長期合作的成果。同時公司還與CEA和空中客車等公司緊密合作，開發出多個旨在幫助提高軟件設計效率和質量的產品。 ControlBuild產品是工業自控軟件領域中第一個全流程設計軟件，在汽車、交通、制造、能源等行業幫助自控系統集成商、OEM和設計人員按時、高質量并符合預算地完成自控工程。