一种基于协同建模的高可信代码生成方法

目前控制系统变得日趋庞大和复杂,原有的主要依靠“人本”的协同开发方式已越来越无法满足不同领域、不同专业之间相互协作开发的需求。通过协同建模,将控制系统的静态性质和动态行为统一到一个框架中,为后续的过程提供标准统一的设计模型,提供各个协同节点的模块依赖关系。本文以可信控制系统模型为输入,将重点介绍一种基于协同建模的高可信代码生成方法,以便开发人员的精力集中在软件开发前期的需求分析和设计,而不是后期的编码上,提高软件开发效率,也从根本上保证了构建过程的可信。