A leading domestic supplier of MBSE industrial software in key areas
Zhejiang Dijie Software Technology Co., Ltd. was established in Beijing in 2013, focusing on digital transformation in safety-critical fields, providing MBSE products and solutions in the military industry, following a neutral and open business philosophy, and providing MBSE and digital equipment for our defense-critical fields. solution. Our software products are all independently developed and have core intellectual property rights, involving the design, development and testing of high-end equipment. The company has a registered capital of 10 million and is headquartered in Shaoxing, Zhejiang Province, with branches in Beijing, Chengdu, Shanghai and other places.
The founding team comes from the System Software and Software Engineering Research Office of the Department of Computer Science, Tsinghua University, and the core technical team comes from Tsinghua University, Peking University, Beihang University, Aerospace Research Institute and other units. It is in the domestic field of embedded virtualization, formal proof and symbolic execution. leading position. Open source projects initiated by Dijie include SkyEye, L2C, Android_S2E, etc., all of which are well-known at home and abroad.
The company currently has three products and two major solutions.
The three products are: SysModeler, ModelCoder and SkyEye.
Two solutions: MBSE solution and digital equipment solution.
The MBSE solution covers the entire life cycle of model-based systems engineering (MBSE). It provides complete solutions from requirements, design, development to simulation testing, and aims to provide a complete tool combination and corresponding MBSE Methodology.
The digital equipment solution aims to provide all-digital real-time simulation digital equipment that can run a real and complete software system.