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
云计算在全球各行各业得到越来越广泛的应用,但是存放于云上数据的安全性仍然是用户担忧的核心问题之一。
为此,阿里云对用户关心的云上数据安全问题进行了深入剖析
2023/6/30 0:06:18 1.82MB 数据安全
1
这本《GIS软件SharpMap源码详解及应用》由陈真、何津、余瑞编著,对目前基于C#语言开发的GIS开源项目——SharpMap进行详细剖析、解释,以便GIS专业学生及GIS的初学者能学习和掌握GIS底层开发技术。
全书分为3部分共计11章。
第1部分讲解SharpMap源码,主要内容包括地图、地图控件、图层、绘制、样式、数据、几何对象等;
第2部分介绍基于SharpMap的应用开发,主要内容包括两个SharpMap下载包中附带的Windows应用程序;
第3部分介绍SharpMap系统扩展,主要内容包括数据源对象扩展及图层对象扩展
2023/6/30 0:56:16 11.63MB GIS SharpMap
1
本书是被誉为“C#圣经”的经典巨著,因语言生动流畅、剖析深入、涵盖全面而广受推崇,畅销不衰,曾经获得Referenceware编程图书大奖,并入选Jolt大奖提名。
书中探讨了C#语言和.NET平台的各种特性,包括重载运算符、指针、泛型等高级功能和CIL、远程处理、WindowsForms、ASP.NET、ADO.NET等技术,不少概念都通过IL代码透视其背后的本质,使你知其然,更知其所以然。
新版更透彻阐述了C#2010和.NET4新功能,包括动态语言运行时(DLR)、任务并行库(TPL,包括PLINQ)、ADO.NET实体框架(包括LINQtoEF)、扩展的WPFAPI,以及改进的COM互操作
2023/5/31 20:38:30 110.98MB C# .Net
1
深入剖析SDP若何实现零信托的策略、价钱、实施。
1
适用于人类可读日期的Python剖析器•••••首要特色反对于多少乎齐全现有的日期格式:相对于日期,相对于日期("twoweeksago"或者"tomorrow"),功夫戳等。
反对于。
语言自动检测经由可自定义的行为。
反对于。
反对于带时区缩写或者UTC偏移量的日期("August14,2015EST","21July201310:15pm+0500"...)较长的文本。
若何使用使用dateparser剖析日期的最直接方式是使用dateparser.parse()函数,该函数包装了模块的大大都成果。
>>>importdateparser>>>dateparser.parse('Fri,12Dec201410:55:50')datetime.datetime(2014,12,12,10,
2023/5/15 3:09:57 700KB Python
1
基于matlab开拓,有详尽备注,以及案例图,其中案例为王锡凡主编的《现代电力体系阐发》
2023/5/15 2:30:24 278KB matlab 潮流计算 PQ分解法
1
图像中角点(特色点)提取与匹配算法,本文所付与的角点检测算法是Harris角点检测算法,该算法的底子原理是取以目的像素点为中间的一个小窗口,盘算窗口沿任何倾向挪动后的灰度变更,并用剖析方式表白。
2023/5/14 12:21:32 3.33MB 角点 特征点 匹配算法
1
这是一个资源文件剖析货物的源码,是转载的
2023/5/14 10:33:33 1.62MB ELF PE 编译 exe
1
珍稀资料,拼命上传,不容错过,1998~2007共10份试题,附详尽剖析.吐血手工画图,推选
2023/5/14 8:52:36 11.46MB 电路 考研 浙大
1
共 418 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡