模型驱动的复杂反应式系统顶层设计与验证

为克服复杂系统传统文档驱动式设计方法的不足,实现复杂系统的全数字化设计,研究了用于数字化设计顶层环节的模型驱动式系统设计与验证方法。该方法强调在复杂系统设计的初期即对系统进行建模,建立系统的电子样机(可执行模型),并通过仿真消除其中的歧义和错误,验证设计满足用户的要求,避免将系统开发早期引入的错误带入后续开发过程中;以某型无人机飞控系统为实例,利用模型驱动开发平台设计其电子样机。设计实例表明该方法能显著缩短研发周期,提高研发质量,降低研发成本,对实现复杂系统全数字设计具有重要意义。