IARSystems发布的visualState是基于UML状态机的建模工具,允许开发人员在状态机的层次上开发和调试,然后直接生成可用的C代码,尽量减少人工编码引进错误的可能。
对于复杂的逻辑,如果不使用层次状态机来剖析它的复杂性,而试图靠大脑if…else…直接编码,错误是难免的。
嵌入式系统很多用在涉及人身安全的领域,出现错误后果相当严重。
目前,visualState已经用在各种设备的开发中,包括取款机、红外夜视仪、阿帕奇直升机的部件等。
IARSystems还和SCIOPTA达成了合作协议,将IAR的工具和SCIOPTARTOS结合起来,共同聚焦于安全苛求的应用,提供通过国际电工委员会IEC61508标准认证的一站式的解决方案。
创业公司Axilica发布了EDA工具FalconML,帮助工程师从UML到SystemC,然后到FPGA或ASIC实现。
SoC(芯片上系统)的复杂度越来越高,基于C++、加上硬件扩展库的SystemC(http://www.systemc.org)成为新一代的设计语言。
2005年12月,SystemC通过IEEE标准协会的审查,取得IEEE1666标准,更值得我们投入精力去研究它。
《基于状态机的嵌入式系统开发》(21世纪高等学校嵌入式系统专业规划教材)内容简介基于状态机的嵌入式系统开发是当前流行、前景广阔的嵌入式系统开发方法。
本书是基于状态机的嵌入式系统开发的入门指导书,兼顾理论性与实践性,介绍了嵌入式系统及状态机的基础知识,同时加入了生动的实际案例程序。
  本书内容分为3篇。
第1篇为引入篇,介绍状态机建模平台与入门实验;
第2篇为理论与实践篇,主要介绍了UML状态机理论基础、visualSTATE状态机和丁具链、visualSTATE状态机建模案例以及系统整合;
第3篇为创新没汁篇,具体讲述厂将visualSTATE牛成的代码集成到STM32的具体例广ATM取款机设计,并在最后展示了实际中——款车灯系统应用visualSTATE快速建模的过程。
  本书由浅入深,循序渐进,适合刚接触基于状态机的嵌入式系统开发的初学者学习,也可作为大中专院校嵌入式相关专业本科生、研究生的教材,同时还可以作为从事嵌入式系统应用开发工程师的参考书。
2023/7/4 2:10:04 87.27MB visualSTATE 状态机 嵌入式
1
ONVIF官方手册,官网访问有点慢,所以下载下来分享给大家了。
也为自己赚点积分!压缩包目录内容:ONVIF_Profile_A_Specification_v1-0.pdf----门禁接入相关ONVIF_Profile_G_Specification_v1-0.pdf----视频存储相关ONVIF_Profile_Q_Specification_v1-0.pdf----设备发现与配置相关ONVIF_Profile_-S_Specification_v1-1-1.pdf---云台控制、音视频传输ONVIF_WG-APG-Application_Programmers_Guide-1.pdf--编程指导ONVIF-Core-Specification-v1706.pdf---onvif核心手册,讲了onvif架构相关ONVIF-Interface-Guide-Specification.pdfVersion_Handling-1.pdfwsdl目录下面是定义接口的wsdl文件。
2023/7/3 21:24:39 3.63MB onvif
1
【软件包合集】keilV5V4c51MDK420-423953-959512-526各版本软件包下载地址https://blog.csdn.net/qq_34901073/article/details/82887681如果下载慢可以下载这个我上传到网盘的,下载不限速网盘里也有其它东西,如果自己不会用可以看这个视频里的指导http://www.bilibili.com/video/av26404568
2023/7/3 11:34:07 350B 软件包 keil C51  mdk
1
总共有13个实验,从面向过程到面向对象,是C++入门的较好代码资源,比较基础,易懂,基本知识点已全面涵盖,希望对你有所帮助!
2023/7/2 15:34:58 2.21MB C++ 入门 源代码
1
S9kS9SE维修指导
2023/7/2 4:45:55 3.34MB 蚂蚁S9 蚂蚁矿机 蚂蚁S9系列
1
戈宝军版电机3-10章答案戈宝军版电机1-10章答案(20190303162104)
2023/7/2 1:21:52 18.05MB dianji
1
每日锻炼DailyWorkouts包含快速有效的每日例行锻炼方式,通过详细步骤指导您在自己家中舒适地进行最适合您的锻炼,男女均适用。
这些经过验证的有效锻炼方式由我们的认证私人教练详细演示,能帮助您锻炼所有的主要肌肉。
每日只需几分钟时间,即可到达调理身体,强健体魄的效果。
,锻炼程序的界面简单明了,包含视频和计时器,让您轻松照做并理解每一种锻炼方式。
这些选择您的锻炼程序并照做即可!
2023/7/1 10:48:28 73.52MB Daily Workouts Premium
1
便修复某些发现的Bug或提高性能。
其中大多数的应用或产品都不使用专用的调试接口,而是使用UART、USB、IIC等通信接口。
这种情况下,就需要一个串行BootLoader通过其中一个通信接口升级固件,而不需要调试器或特定的程序工具。
本应用说明将指导您使用IIC接口在KinetisE系列MCU上设计BootLoader。
2023/6/29 19:19:22 514KB BootLoader设计 Kinetis 飞思卡尔 MCU
1
本书全面介绍Eclipse建模架构EMF,并指导开发人员学习EMF。
2023/6/29 14:03:05 82.21MB EMF Eclipse Modeling Framework
1
【作 者】王晓东编著【丛书名】普通高等教育“十一五”国家级规划教材【形态项】396【出版项】清华大学出版社,2009.09【ISBN号】978-7-302-20393-3/TP3【原书定价】34.80【参考文献格式】王晓东编著.数据结构STL框架.清华大学出版社,2009.09.本书以ACM和IEEE/CSComputingCurricula2005课程体系以及教育部计算机科学与技术教学指导委员会发布的“高等学校计算机科学与技术本科专业规范”中制定的关于数据结构和算法设计与分析的知识结构和体系为依据,以基本数据结构和抽象数据类型为知识单元而编写。
本书一个明显的特色是在STL(StandardTemplateLibrary)框架下描述数据结构的设计思想和实现方法,使读者循序渐进地理解数据抽象,面向对象设计方法和泛型算法设计三位一体的面向高层次的现代化软件设计风格。
全书共分16章,涵盖CC2005课程体系中有关算法与数据结构、知识结构和体系的重要内容,包括算法与数据结构引论、向量、双端队列、表、栈和队列、排序与选择、树、二叉搜索树、平衡搜索树、集合、映射、堆与优先队列、散列、并查集、图与相关算法。
2023/6/29 4:07:18 24.41MB 数据结构 STL 框架 王晓东
1
共 1000 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡