文档介绍：嵌入式系统设计方法论文：基于OOTCPN模型的嵌入式系统 设计方法研究
【中文摘要】嵌入式系统，作为计算机技术中的一项重要研究方 向，己经被广泛地应用到各个领域。随着嵌入式产品在不同领域的应 用,用户需求的不断增加，嵌入式系统功能越来越强大,设计难度也越 来越大，导致传统的设计方法难以满足复杂嵌入式系统的设计需求， 因此研究系统级的设计方法已成为嵌入式系统设计的主要研究方向。 本文通过对现有嵌入式系统建模方法的研究，分析其特点和不足，引 出形式化建模是嵌入式系统建模研究的主要方向。针对基本Petri网 在嵌入式系统建模中处理数据能力弱、没有考虑时间因素和没有层次 结构的问题，通过引入面向对象技术、时延网和有色网，扩展了基本 Petri网，给出了面向对象的时延有色Petri网(OOTCPN)模型的形式 化定义。与其他模型相比,本文模型在数据描述能力、实时性、层次 性等方面有了较大的提高，适合复杂的嵌入式系统建模。在模型验证 方面，通过对基本Petri网模型的验证技术研究，分别阐述了仿真分 析和模型检验方法的原理和特点,探讨了 Petri网模型的电路仿真分 析方法，给出了利用硬件描述语言描述OOTCPN模型的方法，并通过实 例说明。与传统的Petri网仿真分析软件相比，此方法适用范围史广, 可移植性强，使用灵活,•• •
【英文摘要】Embedded system , as an important research
direction of computer technology, has been widely applied to various fields .has been widely used in every field in modern time・ With the prevalent application of embedded product in every field , and with the increasing of user requriement, the function of embedded system has become more and more complicated, the complexity of embedded system design is increasing .The traditional design methods cannot meet the requirements of the complicated system design any more,there・・・
【关键词】嵌入式系统设计方法 建模方法OOTCPN模型验证 硬 件描述语言
【英文关键词】Embedded System Design Method Modeling Method OOTCPN Modeling Verification Hardware Description Language
【目录】基于OOTCPN模型的嵌入式系统设计方法研究 摘要
4~5 Abstract 5 1绪论 8~11 1. 1研究的目的和
意义8-9 1・2研究的背景及国内外现状9-10 1・3本文
研究的主耍内容及章节安排10-11 2嵌入式系统设计方法
11-21 2. 1嵌入式系统基本