组合计算模型实现系统设计与仿真

摘要：

在模块化的系统设计中,适合各个模块的最佳计算模型往往不尽相同,这些计算模型包括有穷状态自动机、Petri网、离散事件和事件关系图等.为了方便设计者和提高工作效率,有必要允许对模块采用不同的计算模型,再运用组合计算模型的理论将这些模块组合成完整的模型以用于仿真和系统的自动生成.作为应用实例,通过分层组合离散事件和事件关系图,可以设计易于扩展、修改和维护的动态系统;同样的原理也可以应用于其他计算模型,从而使它们在模块化设计中发挥各自的优点.

关键词：系统设计、系统仿真、计算模型、离散事件、事件关系图

所属期刊栏目：27

分类号：TP311.5(计算技术、计算机技术)

资助基金：美国自然科学基金;加州大学伯克利分校混合与嵌入式软件系统CHESS项目

在线出版日期：2010-07-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：2116-2118,2122