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

Model-driven High-level Design and Verification for Complex Reactive System

作　　者：刘兴华[1] 曹云峰[1] 沈春林[1] 

机构地区：[1]南京航空航天大学自动化学院,南京210016

出　　处：《系统仿真学报》2009年第14期4284-4287,共4页Journal of System Simulation

基　　金：国家发改委资助项目

摘　　要：为克服复杂系统传统文档驱动式设计方法的不足,实现复杂系统的全数字化设计,研究了用于数字化设计顶层环节的模型驱动式系统设计与验证方法。该方法强调在复杂系统设计的初期即对系统进行建模,建立系统的电子样机(可执行模型),并通过仿真消除其中的歧义和错误,验证设计满足用户的要求,避免将系统开发早期引入的错误带入后续开发过程中;以某型无人机飞控系统为实例,利用模型驱动开发平台设计其电子样机。设计实例表明该方法能显著缩短研发周期,提高研发质量,降低研发成本,对实现复杂系统全数字设计具有重要意义。For overcoming the shortcomings of traditional document-driven methods used for the development of complex system and realizing the full digital design of complex system, the model-driven design and verification method, was proposed, which was used in the top phase of digital design of complex system. In this method building the executable model of the system in the early stage of development process is recommended and then the model is simulated to ensure there are no misunderstandings and errors in the model and its meets the system requirements. An example of UAV flight control system was designed using Statemate, an integrated development environment supporting the model driven method, and it show the advantages of this method such as shortening the R＆D period, reducing R＆D costs and enhancing the product qualities significantly. This method is important for the realization of full digital design.

关 键 词：复杂反应系统 模型驱动 顶层设计与验证 电子样机 

分 类 号：TP391.1[自动化与计算机技术—计算机应用技术]