电子技术资料下载

热搜关键词：电路基础 ADC 数字信号处理封装库 PLC

下载中心>资源分类>电子电路>电路仿真>UML与Petri网在嵌入式系统设计中的研究

zip

UML与Petri网在嵌入式系统设计中的研究

1星
2013-09-22
257.25KB
需要1积分
0次下载

文档简介
猜您喜欢
用户评论0

标签： Petri网嵌入式系统 UML

随着嵌入式系统的不断发展，传统的嵌入式开发已经远远不能适应新的要求，需要借助IJ1 强大的系统设计能力来解决效率低下的问题，但是标准UML在多系统级任务并发，任务之间同步、系统仿真以及实时性方面没有提供足够的支持，很难直接应用到嵌入式系统的设计中。文章研究一种将时间约束Petri网和扩展UML相结合的方法，通过利用Petri描述异步性和并发性的能力来扩展UML 的构造型和流程图，通过将UML转化为Petri图，进而可以利用Petri强大的理论体系来验证IM 的正确性.

展开预览

猜您喜欢

评论

上传者

: lamaba; 查看他的其他资源

TI 文字链专区

汽车模拟

推荐内容

开源项目推荐更多

热门活动

热门器件

1. STPS130AFN
  描述：二极管肖特基 30 V 1A 表面贴装型 SMAflat 类别: 厂商名称: 系列:ECOPACK®2
2. SCTW35N65G2VAG
  描述：N沟道耗尽型MOSFET模块 650 V 45A（Tc） 240W（Tc） HiP247™ 类别: 厂商名称: 系列:Automotive, AEC-Q101
3. PDZVTFTR2.7B
  描述：隔离式稳压二极管, 额定齐纳电压2.7V, 贴片安装, 最大功率耗散1 W, SOD-128封装类别: 厂商名称: 系列:Automotive, AEC-Q101, PDZVTF
4. CXA1592
  描述：Encoder for CCD Color Camera
5. RSB6SM11150212NN
  描述：Barrier Strip Terminal Block, 20A, 1 Row(s), 1 Deck(s) Reach Compliance Code:unknow ECCN代码:EAR99 紧固方法:SCREW
6. 800-006-16M5-3S
  描述：Plug Connector Ordering Information
7. RCS1008471KZF
  描述：RADIAL CHOKE COIL
8. 7X-14.31818MDF-T
  描述：OSCILLATOR Part Numbering System
9. 240-381WZN15-35PSPCHC
  描述：MIL Series Connector, 15 Contact(s), Aluminum Alloy, Male, Solder Terminal, Receptacle Reach Compliance Code:compliant 其他特性:STANDARD: MIL-DTL-38999 后壳类型:SOLID
10. FPDR1C1254A0101
  描述：Special Switch, Off-on, 4A, 12VDC, Solder Lug Terminal, Panel Mount 厂商名称:APEM Reach Compliance Code:compliant 是否Rohs认证:符合

用户搜过

随便看看

调查：大家想要哪个方面的无线网络资源
[align=center][/align][size=4]下载中心想收集一些精品的无线网络方面的资源。不过现在还拿不准大家最需要哪类的资源。[/size][size=4]比如，哪个技术门类：5G，lora，蓝牙……[/size][size=4]什么资源内容：经典书籍，源码，应用案例……[/size][size=4]请大家给提点意见，小管请人去外面收集。收集回来整理成专题，再分享给大家！[/siz
教你用宇宙第一IDE [Visual Studio 2015]做嵌入式开发
[i=s] 本帖最后由 samos2011 于 2016-2-16 17:35 编辑 [/i]在嵌入式开发过程中,编写代码其实是要占用很大一部分时间的,但编码的体验,uVision确实不怎么样,在试用过各种各样的IDE后,唯有Visual Studio的IntelliSense令我爱不释手.编码体验号称宇宙第一一点不为过.可能论坛里很多人未必使用过Visual Studio(后面简称VS),对智能
diy 没示波器玩不转想买一个200M左右的示波器
公司的便宜有不太好占想买一个200M左右的示波器，大家给个建议自己干活没这玩意不行啊。
恩智浦获奖捷报!
[i=s] 本帖最后由 jameswangsynnex 于 2015-3-3 20:01 编辑 [/i]#恩智浦动态#恩智浦LPC11C00系列MCU荣获@中国电子报 “工业设计MCU 最佳(产品)解决方案”。恩智浦LPC11C00实现了LPC11
【AT-START-F403A测评】第5篇 F403A 复用和重映射
今天还有点无聊，陪玩娃上课回来，就无意间想看看这个重映射，最近正好在搞意法半导体的M0和M3的复用和重映射部分，正好看下雅特力的STM32上有很多I/O口，也有很多的内置外设I2C,ADC,ISP,USART等，为了节省引出管脚，这些内置外设基本上是与I/O口共用管脚的，也就是I/O管脚的复用功能。但是STM32还有一特别之处就是：很多复用内置的外设的I/O引脚可以通过重映射功能，从不同的I/O管
求晶振怎么样清洗最好
VS2005静态调用调试出现错误在WINCE上的调试谁帮我看下
若干WinCE6+PXA303问题请教或兼职（上海）
毕昇杯电子设计大赛
CCS6.1.3 依据模板创建的工程编译无法通过

热门下载

热门文章

厂商技术中心

TI 技术论坛

TI 在线培训

Qorvo 射频技术研习社

EEWorld订阅号

EEWorld服务号

汽车开发圈

About Us 关于我们客户服务联系方式器件索引网站地图最新更新手机版版权声明

EEWorld电子技术资料下载——分享有价值的资料

北京市海淀区中关村大街18号B座15层1530室电话:(010)82350740 邮编：100190

电子工程世界版权所有京B2-20211791 京ICP备10001474号-1 电信业务审批[2006]字第258号函

京公网安备 11010802033920号 Copyright © 2005-2024 EEWORLD.com.cn, Inc. All rights reserved

×