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