With the rapid development of the global manufacturing industry, industrial software, as the “brain” and “nerve” of the manufacturing industry, plays an increasingly important role in promoting the upgrading and intelligent transformation of the manufacturing industry, and all kinds of highly trusted software development and verification tool chain products inject strong new vitality into the rise and upgrading of domestic industrial software, and also provide strong support for the transformation and upgrading of the manufacturing industry.

S72402-NANANA-NA-225 Domestic industrial software space is broad

Under the trend of digitization and information technology, the dependence of manufacturing industry on software is deepening. Software is not only the “soft parts” and “soft equipment” of machine equipment, but also the “brain” and “nerve” of the machine. From satellites and spacecraft to automobiles and ships, all kinds of key equipment can not be separated from high-security and high-reliability software systems. These software systems not only ensure the stable operation of the equipment, but also meet the increasingly stringent industry standards and market demands.

According to the 2024-2029 Global and China Industrial Design Software Industry Research and the 14th Five-Year Plan Analysis Report released by the China Business Industry Research Institute, China’s industrial software market will reach 240.7 billion yuan in 2022, an increase of 14.3%. China Business Industry Research Institute analysts predict that China’s industrial software market will reach 307.3 billion yuan in 2024.

With the rapid development of information technology, industrial software has become an indispensable key factor in the transformation and upgrading of manufacturing industry.

S72402-NANANA-NA-225 According to the research report released by ICBC Investment Bank, China, as an important base for the global manufacturing industry, the manufacturing output value accounts for 30% of the world, and has maintained the status of the world’s first manufacturing country for ten consecutive years. At the same time, the scale of China’s industrial software industry accounts for less than one-tenth of the global scale.

In order to encourage and support the development of industrial software, the state has issued a series of policies.

Highly trusted software engineering tools help industrial upgrading

Compared with ordinary software, industrial software has higher requirements for stability and reliability, which puts higher requirements on software development tools. Highly trusted software systems require sufficient proof or certification that the software system meets some key properties when providing services (called high trusted properties). When the software will cause intolerable loss if it violates these key properties, these key properties are called high trust properties.