电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
由于嵌入式系统功能的复杂性和需求的多样性，使得在工程上进行嵌入式系统的设计成为难题建立一个良好的形式化系统模型，在系统设计的初级阶段对系统进行模拟和仿真，对系统的有效性、稳定性和可靠性进行分析，及时对系统设计进行相应的优化并且及时发现系统级的逻辑和时序错误，可以避免不必要的损失，也可以增强设计过程的规范性。应用Pet ri网对嵌入式系统进行高级综合建模是近年来发展的一个新技术。Petri网的概念最早是由西德的CA．Pet ri博士于1962年提出来的，70年代以后，Pet ri网理论在欧美一些国家得到了迅速的发展，并被广泛应用于计算机科学技术和其他许多学科领域但单纯的Petri网在表达嵌入式系统上有不足之处，因此人们根据嵌入式系统的实际应用提出了多种扩充的Pet ri网模型。扩展的时间Pet ri网EPTN能够描述时间信息，并可以清楚地表现出数据和控制的流向，缺点是将数据和控制分别用2个图表示，即控制用时间Petri网表示，数据用有向图表示，不利于对数据和控制流的综合分析！PR ESI-是专门为嵌入式系统提出的Petri网模型，它可以表示复杂的数据运算，准确地分析系统的时间特性，并支持对系统不同层次的抽象，缺点是弱化了对控制流的表达。双变迁Petri网f DTPN）用不同的变迁分别表示对数据和控制的处理，但它在描述数据操作时不能表示较复杂的运算，对时间约束的描述和分析也不充分盯。
本文针对嵌入式系统提出了一种改进的Pet ri网模型 EPRES f extended Petri net based rep res en to tion for emb ed ded svstem）．可以对系统的功能实现资源洳内存、带宽能量等消耗、时间约束等做出较充分的刻画。
扫码添加小助手
加入工程师交流群
- 嵌入式系统系列丛书-时间触发嵌入式系统设计模式 0次下载
- 嵌入式系统
- (网盘)ARM嵌入式Linux系统开发详解
- 嵌入式系统定义
- 嵌入式系统与嵌入式PLC
- 用于嵌入式系统中的无线通信方法
- 嵌入式系统与嵌入式PLC 29次下载
- 基于ARM嵌入式系统的Socket通信设计 26次下载
- 嵌入式系统是如何组成的
- 基于时间Petri网的并发系统建模分析方法 0次下载
- 模糊系统建模 0次下载
- 基于FPGA的嵌入式CPU的VHDL建模和设计 75次下载
- 基于UML的嵌入式硬件系统模型 38次下载
- 基于OOPN的嵌入式系统的建模研究与实现
- 基于GPRS网络的嵌入式系统的研究
- 嵌入式fpga是什么意思 2.8k次阅读
- 什么是嵌入式系统？嵌入式系统的具体应用 4k次阅读
- 什么是系统建模语言SysML？ 9.2k次阅读
- 嵌入式系统的全面解析 3.7k次阅读
- 如何实现嵌入式系统远程调试 6.7k次阅读
- UML软件分析与建模技术在嵌入式指纹门禁系统中的应用研究 2.3k次阅读
- 如何设计适用于嵌入式系统的加密IP核？ 4.3k次阅读
- 嵌入式系统的特点大汇总 6.5k次阅读
- 嵌入式系统有哪些部分组成_嵌入式系统的应用领域 3.5w次阅读
- 嵌入式行业发展状况_嵌入式行业人才需求_嵌入式系统就业前景分析 2.5w次阅读
- 嵌入式操作系统是什么_嵌入式操作系统有哪些 2.1w次阅读
- 基于STM32的嵌入式测控系统设计与实现 9.5k次阅读
- 嵌入式视觉系统的构建模块 2k次阅读
- 概述及汇总ARM的嵌入式操作系统 3.2k次阅读
- 典型的嵌入式系统设计 3.1k次阅读
上传资料赚积分下载排行
本周
- 1MDD品牌三极管MMBT3906数据手册
- 2.33 MB | 次下载 | 免费
- 2MDD品牌三极管S9012数据手册
- 2.62 MB | 次下载 | 免费
- 3联想flex2-14D/15D说明书
- 4.92 MB | 次下载 | 免费
- 4收音环绕扩音机 AVR-1507手册
- 2.50 MB | 次下载 | 免费
- 524Pin Type-C连接器设计报告
- 1.06 MB | 次下载 | 免费
- 6新一代网络可视化（NPB 2.0）
- 3.40 MB | 次下载 | 免费
- 7MS1000TA 超声波测量模拟前端芯片技术手册
- 0.60 MB | 次下载 | 免费
- 8MS1022高精度时间测量(TDC)电路数据手册
- 1.81 MB | 次下载 | 免费
本月
- 1爱华AIWA HS-J202维修手册
- 3.34 MB | 37次下载 | 免费
- 2PC5502负载均流控制电路数据手册
- 1.63 MB | 23次下载 | 免费
- 3NB-IoT芯片厂商的资料说明
- 0.31 MB | 22次下载 | 1 积分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供电电路图资料
- 0.63 MB | 6次下载 | 1 积分
- 5UWB653Pro USB口测距通信定位模块规格书
- 838.47 KB | 5次下载 | 免费
- 6技嘉H110主板IT8628E_BX IO电路图资料
- 2.61 MB | 4次下载 | 1 积分
- 7苏泊尔DCL6907(即CHK-S007)单芯片电磁炉原理图资料
- 0.04 MB | 4次下载 | 1 积分
- 8100W准谐振反激式恒流电源电路图资料
- 0.09 MB | 2次下载 | 1 积分
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191439次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183353次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81602次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73822次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论