高速计数模块  IC200ALG240 GE通用电气 安全环保

高速计数模块  IC200ALG240 GE通用电气 安全环保

随着全球制造业的快速发展，工业软件作为制造业的“大脑”和“神经”，在推动制造业升级和智能化转型中发挥着越来越重要的作用，而各类高可信软件开发与验证工具链产品则为国产工业软件的崛起与升级注入旺盛新活力，也为制造业转型升级提供了有力支撑。

国产工业软件空间广阔

在数字化和信息化的趋势下，制造业对软件的依赖程度不断加深。软件不仅作为机器设备的“软零件”和“软装备”，更是机器的“大脑”和“神经”。从卫星、航天器到汽车、船舶，各类关键装备中都离不开高安全、高可靠性的软件系统。这些软件系统不仅要保证设备的稳定运行，还要满足日益严格的行业标准和市场需求。

中商产业研究院发布的《2024-2029全球及中国工业设计软件行业研究及“十四五”规划分析报告》显示，2022年我国工业软件市场规模达到2407亿元，同比增长14.3%。中商产业研究院分析师预测，2024年中国工业软件市场规模将达到3073亿元。

随着信息技术的快速发展，工业软件已成为制造业转型升级bukehuoque的关键因素。

根据工银投行发布的研报，我国作为全球制造业重要基地，制造业产值占全球三成，连续十年保持一制造大国地位。与此同时，我国工业软件产业规模占全球规模不足十分之一。

为了鼓励和支持工业软件的发展，国家出台了一系列政策。

高可信软件工程工具助力产业升级

相较于普通软件，工业软件对于稳定性、可靠性等要求更高，而这对于软件开发工具提出了更高的要求。高可信软件系统要求能充分地证明或认证该软件系统提供服务时满足一些关键性质（称为高可信性质）。当软件一旦违背这些关键性质会造成不可容忍的损失时，称这些关键性质为高可信性质。

而高可信软件开发和验证工具链是指应用软件工程的技术理论，通过系统性、规范化、可定量的过程化方法，对智能汽车、民用航空等关键装备中所配置的高可信软件的开发过程进行支持，进行需求分析、系统设计、软件开发、测试、仿真验证等全生命周期管理，提供系统化的完整数字化体系与平台，从而实现相应软件质量的提高、成本的控制和维护的优化，满足市场对这类软件高安全和高可靠性的要求。

上海创景信息科技有限公司（以下简称“创景科技”）作为高可信软件开发与验证工具链产品和解决方案提供商，经过二十余年的创新性技术攻关，形成了自主、完整、先进的核心技术体系。公司的产品覆盖高可信软件开发过程中需求分析及设计、开发、测试、过程管理、仿真验证等各个关键节点所需的工具，并提供基于模型的系统工程（MBSE）解决方案。

据了解，创景科技拥有完全自主知识产权的需求分析工具RTCase和代码覆盖率分析工具RTInsight。公司自主研发的iSystemVDVP虚拟开发与验证平台、OCVerifier目标码覆盖率测试工具等，应用于多个国家重大工程。

创景科技相关负责人表示，公司通过持续不断地研发创新，将核心技术用于生产经营中，在高可信软件开发与验证工具链的垂直应用领域获得了较好的融合与应用。“在智能汽车领域，公司的产品助力上汽集团、广汽集团等车企提升了汽车电子系统的开发效率和产品质量。在民用航空领域，公司的产品为中国商用飞机有限责任公司等企业提供了强有力的技术支持。”

“这些技术成果不仅打破了国外厂商的核心技术封锁和产品市场垄断，加速了我国高可信软件工具链产品的发展进程。”创景科技相关负责人说。

高速计数模块  IC200ALG240 GE通用电气 安全环保