科研之友
微信
新浪微博
Facebook
分享链接
摘要
构建系统描述模型是设计可重构计算系统的重要环节。现有的系统建模方法主要分为形式化方法和非形式化方法两种,其中,非形式化模型缺乏严格的数学定义,给模型的分析和验证带来困难。采用形式化方法建立的系统模型无歧义,更适合分析和验证。Petri网作为一种常用的形式化建模方法,有严格的数学定义和建模理论,但是,基本Petri网在对可重构计算系统建模时存在数据流描述能力不足的问题。为此,对基本Petri网进行扩展,提出了一种数据流Petri网。首先给出了数据流Petri网的结构定义和动态行为规则,并定义了模型的图形符号表示方法。然后,分析了模型对可重构计算配置任务和计算任务的描述方法,在考虑硬件资源约束条件下,讨论了可重构计算系统的数据流Petri网建模技术。最后,通过一个典型的乘加运算器模型分析,表明该方法易于实现,所建模型结构简洁,便于分析验证系统功能。
- 单位
