TNI软件公司 是一家服务于航天航空、公共交通、能源电力、汽车制造和工业自动化领域的全球领先的软件设计和校验工具提供商。
公司背景
TNI软件公司 隶属于TNI-Valiosys集团。集团是由3个公司合并而成。1、Valiosys：软、硬件形式化校验领域的专家；2、TNI：实时嵌入式软件设计工具的主要提供者；3、TransEDA：半导体EDA覆盖分析和校验解决方案的业界领先者。
今天，TNI-Valiosys集团的产品遍布全球。集团在北美、欧洲、中国和日本设有办事处，在中国（包括台湾地区）、新加坡、韩国、澳大利亚、德国和意大利拥有分销网络。
产品与技术
TNI软件公司先进的产品和技术来源于和TIMA、INRIA、CNRS、CNET等欧美顶尖实验室长期合作的成果。同时公司还与CEA和空中客车等公司紧密合作，开发出多个旨在帮助提高软件设计效率和质量的产品。
ControlBuild产品是工业自控软件领域中第一个全流程设计软件，在汽车、交通、制造、能源等行业帮助自控系统集成商、OEM和设计人员按时、高质量并符合预算地完成自控工程。