The tool chain of highly trusted software development and verification refers to the technical theory of applied software engineering. Through systematic, standardized and quantitative procedural methods, it supports the development process of highly trusted software configured in key equipment such as intelligent vehicles and civil aviation, and carries out life-cycle management such as demand analysis, system design, software development, testing and simulation verification. To provide a systematic and complete digital system and platform, so as to achieve the improvement of the corresponding software quality, cost control and maintenance optimization, to meet the market requirements for high safety and high reliability of such software.

S20330-SRS Shanghai Chuangjing Information Technology Co., LTD. (hereinafter referred to as “Chuangjing Technology”), as a provider of high-trust software development and verification tool chain products and solutions, has formed an independent, complete and advanced core technology system after more than 20 years of innovative technology research. The company’s products cover the tools needed for requirements analysis, design, development, testing, process management, simulation verification and other key nodes in the development of highly trusted software, and provide model-based systems engineering (MBSE) solutions.

It is understood that Chuangjing Technology has completely independent intellectual property rights of demand analysis tool RTCase and code coverage analysis tool RTInsight. The company’s independent research and development of iSystemVDVP virtual development and verification platform, OCVerifier target code coverage test tool, etc., applied to major projects in many countries.

S20330-SRS The relevant person in charge of Chuangjing Technology said that the company through continuous research and development and innovation, the core technology is used in production and operation, and has obtained better integration and application in the vertical application field of high-trust software development and verification tool chain. “In the field of intelligent vehicles, the company’s products have helped well-known automobile enterprises such as SAIC Motor Group and GAC Group to improve the development efficiency and product quality of automotive electronic systems.” In the field of civil aviation, the company’s products provide strong technical support for enterprises such as Commercial Aircraft Corporation of China.”

“These technological achievements not only break the core technology blockade and product market monopoly of foreign manufacturers, but also accelerate the development process of high-trust software tool chain products in China.” The relevant person in charge of Chuangjing technology said.