A Leading Domestic Supplier of MBSE Industrial Software in Key Areas

Established in Beijing in 2013, Zhejiang Digiproto Software Technology Co., Ltd. focuses on digital transformation in safety-critical areas, follows the neutral and open business philosophy, and provides products and solutions in China's safety-critical areas with MBSE and digital equipment. All of our software products are independently developed, with core intellectual property rights, involving high-end equipment design, research and development, testing and other links. With the 11.033333 million yuan registered capital, Digitopro headquarters in Shaoxing, Zhejiang, with subsidiaries in Beijing, Shanghai, Chengdu and Xian.

The founding team is from the System Software and Software Engineering Laboratory of the Computer Department of Tsinghua University, and the core technical team is from Tsinghua University, Peking University, Beihang University, aerospace Research Institute and other units. It is in a leading position in the fields of embedded virtualization, formal proof and symbol execution in China. The open source projects initiated by Digitopro are SkyEye, L2C, Android_S2E and so on, enjoying high popularity at home and abroad.

The company currently has three products and two major solutions.


Three products: SysModeler, ModelCoder and SkyEye.

Two solutions: MBSE solution and digital equipment solution.

MBSE solution covers the entire life cycle of model-based Systems Engineering (MBSE), from requirements, design, development to simulation testing, providing a complete solution to offer a complete tool combination and corresponding MBSE methodology.

Digital equipment solution is designed to provide full digital real-time simulation of digital equipment that can run real and complete software systems.