SIL安全认证，国标队IEC61508标准的翻译

设备、电子及可编程控制系统的国际通用标准，2010英文原版

ISO26262《道路车辆功能安全》国际标准是针对总重不超过3.5吨八座乘用车，以安全相关电子电气系统的特点所制定的功能安全标准，基于IEC61508《安全相关电气/电子/可编程电子系统功能安全》制定

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快速建模的过程。
　　本书由浅入深，循序渐进，适合刚接触基于状态机的嵌入式系统开发的初学者学习，也可作为大中专院校嵌入式相关专业本科生、研究生的教材，同时还可以作为从事嵌入式系统应用开发工程师的参考书。

IEC61508-2010英文版.rar

在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。 另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。 为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。